ИСТИНА

Защищенные диссертации сортировать по фамилии диссертанта сортировать по году защиты

• • 2021 Методы и программные средства определения значений стационарных демографических атрибутов пользователей социальных сетей
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Гомзин А.Г.
  • Научный руководитель: Турдаков Д.Ю., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2021 Методы и программные средства для выявления заимствований в текстах на армянском языке
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Гукасян Цолак Гукасович
  • Научный руководитель: Турдаков Д.Ю., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Российско-Армянский университет
  • Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего образования ”Казанский (Приволжский) федеральный университет”
  • Оппоненты: Лукашевич Наталья Валентиновна, Чехович Юрий Викторович
• • 2019 Методы и программные средства моделирования и генерации сложных сетей с сохранением графовых свойств
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Дробышевский М. Д.
  • Научный руководитель: Турдаков Д.Ю., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институте системного программирования им. В. П. Иванникова РАН.
  • Ведущая организация: Федеральный исследовательский центр "Информатика и управление" Российской академии наук (ФИЦ ИУ РАН)
  • Оппоненты: Добров Б.В., Райгородский А.М.
• • 2019 Обнаружение скомпрометированных коммутаторов в программно-конфигурируемых сетях
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Петров И.С.
  • Научный руководитель: Смелянский Р.Л., д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • Ведущая организация: ЯрГУ имени П.Г. Демидова
  • Оппоненты: Ломазова И.А., Селиванов С.А.
• • 2019 Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Дудина И.А., к.ф.-м.н.
  • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН и кафедра системного программирования факультета вычислительной математики и кибернетики Федерального государственного бюджетного образовательного учреждения высшего образования «Московский государственный университет имени М.В. Ломоносова»
  • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
  • Оппоненты: Галатенко В.А., Волконский В.Ю.
• • 2018 АЛГОРИТМЫ ПОСТРОЕНИЯ АДАПТИВНОГО ЯЗЫКОВОГО ЧЕЛОВЕКО-МАШИННОГО ИНТЕРФЕЙСА ДЛЯ ПРОГРАММНЫХ СИСТЕМ
  • Кандидатская диссертация по специальности 01.00.00 - ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ (физ.-мат. науки)
  • Автор: Нгуен Нгок Зиеп
  • Научный руководитель: Жданов А.А.
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Оппоненты: Рыжов А.П.
• • 2018 Алгоритмы символьных вычислений в системах компьютерной алгебры для линейных дифференциальных систем с выделенными неизвестными
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: А.А. Панфёров, МГУ имени М.В. Ломоносова
  • Научный руководитель: Абрамов С.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
  • Ведущая организация: Федеральное государственное автономное образовательное учреждение высшего образования «Российский университет дружбы народов»
  • Оппоненты: Ильин Вячеслав Анатольевич, Гонцов Ренат Равилевич
• • 2018 Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Батузов К.А., МГУ имени М.В. Ломоносова
  • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2018 Поиск ошибок выхода за границы буфера в бинарном коде программ
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Каушан Вадим Владимирович
  • Научный руководитель: Падарян В.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
• • 2017 Разработка метода оценки эксплуатируемости программных дефектов
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Федотов А.Н.
  • Научный руководитель: Падарян В.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Институт системного программирования им. В.П. Иванникова РАН
• • 2017 Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: А.Д. Татарников
  • Научный руководитель: Камкин А.С., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
  • Ведущая организация: АО "МЦСТ"
  • Оппоненты: Лацис А.С., Чибисов П.А.
• • 2017 Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С#
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Кошелев Владимир Константинович
  • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2017 Методы верификации программ на основе композиции задач достижимости
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Мордань Виталий Олегович
  • Научный руководитель: Петренко Александр Константинович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова, Институт системного программирования РАН
  • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской Академии Наук
  • Оппоненты: Соколов Валерий Анатольевич, Волконский Владимир Юрьевич
• • 2017 Методы и средства углубленного анализа сетевого трафика
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Маркин Ю.В.
  • Научный руководитель: Падарян В.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2016 Методы повышения эффективности итеративного динамического анализа программ
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Ермаков М.К.
  • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Ведущая организация: ВЦ имени А.А. Дородницына РАН
• • 2016 Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Мандрыкин Михаил Усамович
  • Научный руководитель: Петренко Александр Константинович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Федеральное государственное бюджетное образовательное учреждение высшего образования Московский государственный университет имени М. В. Ломоносова и Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук
  • Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет»
  • Оппоненты: Галатенко Владимир Антонович, Климов Юрий Андреевич
• • 2016 Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Бородин А.Е.
  • Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2015 Разработка системного программного обеспечения для развертывания предметно-ориентированных Web-лабораторий
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
  • Автор: Самоваров Олег Ильгисович
  • Научный руководитель: Аветисян Арутюн Ишханович, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2015 Исследование структуры сообщества пользователей в графах онлайновых социальных сетей
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Коршунов Антон Викторович
  • Научный руководитель: Кузнецов Сергей Дмитриевич, д.т.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2015 Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Игнатьев Валерий Николаевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Белеванцев Андрей Андреевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2015 Методы и программные средства извлечения терминов из коллекций текстовых документов предметной области
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Астраханцев Н.А., к.ф.-м.н.
  • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2013 Автоматизация переноса Cи/Cи++-приложений на новые платформы
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Курмангалеев Ш.Ф.
  • Научный руководитель: Аветисян Арутюн Ишханович, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: ИСП РАН
  • Ведущая организация: ИПМ имени М.В. Келдыша
  • Оппоненты: Галатенко Владимир Антонович, Волконский Владимир Юрьевич
• • 2013 Восстановление алгоритма по набору бинарных трасс
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Соловьев Михаил Александрович, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Аветисян А.И., д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2012 Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
  • Докторская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Аветисян Арутюн Ишханович, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
  • Научный консультант: Иванников Виктор Петрович, д.ф.-м.н., акад. РАН
  • Защищена в совете Д 002.087.01 при ИСП РАН
  • Организация, в которой выполнялась работа: Институт системного программирования РАН
  • Ведущая организация: Вычислительный центр им.А.А.Дородницына РАН
• • 2007 Исследование и разработка метода автоматической классификации поведения пользователей Интернет
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Щербина Андрей Андреевич
  • Научный руководитель: Кузнецов Сергей Дмитриевич, д.т.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН
• • 2006 Методы управления транзакциями в XML-ориентированных СУБД
  • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
  • Автор: Плешачков Петр Олегович
  • Научный руководитель: Кузнецов Сергей Дмитриевич, д.т.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 002.087.01 при ИСП РАН