brand

Защита диссертации - Арутюнян Мариам Сероповна


Новости

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет
17 Февраля, 2025 Конкурс на замещение должности

Арутюнян Мариам Сероповна

Статический анализ исходного и исполняемого кода на основе поиска клонов кода

Диссертация принята к защите

Искомая степень: Кандидат технических наук.

Специальность: 2.3.5 – Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей.

Дата размещения: 12 февраля 2025.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 17 апреля 2025.

Официальный оппонент: Кознов Дмитрий Владимирович, доктор технических наук (05.13.11).

Место работы, должность: Федеральное государственное бюджетное образовательное учреждение высшего образования «Санкт-Петербургский государственный университет», профессор.

Основные публикации за последние 5 лет:

  1. CALCULATING SIMILARITY OF JAVADOC COMMENTS Koznov D.V., Ledeneva E.Yu., Luciv D.V., Braslavski P.I. Programming and Computer Software. 2024. Т. 50. № 1. С. 85-89.
  2. ОБОБЩЕННЫЙ АЛГОРИТМ СУММИРОВАНИЯ ПЕРЕЧИСЛИТЕЛЕЙ В ЗАДАЧАХ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ В КОНТЕКСТЕ УПРАВЛЕНИЯ МАСТЕР-ДАННЫМИ Кузнецов С.В., Кознов Д.В. Дифференциальные уравнения и процессы управления. 2024. № 1. С. 70-77.
  3. DEBUGGER FOR DECLARATIVE DSL FOR TELECOMMUNICATION Skazhenik T.M., Koznov D.V. Proceedings of the Institute for System Programming of the RAS. 2023. Т. 35. № 3. С. 205-214.
  4. SYMCRETE” MEMORY MODEL WITH LAZY INITIALIZATION AND OBJECTS OF SYMBOLIC SIZES IN KLEE Morozov S.A., Misonizhnik A.V., Mordvinov D.A., Koznov D.V., Ivanov D.A. Proceedings of the Institute for System Programming of the RAS. 2023. Т. 35. № 3. С. 91-108.
  5. АВТОМАТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ СХОДСТВА JAVADOC-КОММЕНТАРИЕВ Кознов Д.В., Леденева Е.Ю., Луцив Д.В., Браславский П.И. Труды Института системного программирования РАН. 2023. Т. 35. № 4. С. 177-186.
  6. TRACESIM: AN ALIGNMENT METHOD FOR COMPUTING STACK TRACE SIMILARITY Rodrigues I.M., Aloise D., Khvorov A., Vasiliev R., Povarov N., Koznov D., Chernishev G., Luciv D., Fernandes E.R. Empirical Software Engineering. 2022. Т. 27. № 2.
  7. ОНТОЛОГИЧЕСКИ УПРАВЛЯЕМЫЕ СРЕДСТВА АВТОМАТИЗАЦИИ РАЗРАБОТКИ ПРИЛОЖЕНИЙ ВИЗУАЛЬНОЙ АНАЛИТИКИ Чуприна С.И., Рябинин К.В., Кознов Д.В., Маткин К.А. Программирование. 2022. № 3. С. 70-77.
  8. ФОРМАЛИЗАЦИЯ ЯЗЫКОВ ЧАСТИЧНО УПОРЯДОЧЕННЫХ МУЛЬТИМНОЖЕСТВ В СИСТЕМЕ COQ ДЛЯ СПЕЦИФИКАЦИИ СЛАБЫХ МОДЕЛЕЙ ПАМЯТИ Моисеенко Е.А., Гладштейн В.П., Подкопаев А.В., Кознов Д.В. Научно-технический вестник информационных технологий, механики и оптики. 2022. Т. 22. № 3. С. 517-527.
  9. МОДЕЛИ ПАМЯТИ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ: ОБЗОР И ТЕНДЕНЦИИ Моисеенко Е.А., Подкопаев А.В., Кознов Д.В. Программирование. 2021. № 6. С. 30-50.
  10. UNIDATA: ОТКРЫТАЯ КОМПОНЕНТНАЯ ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ MDM-РЕШЕНИЙ Кузнецов С.В., Цырюльников А.В., Кознов Д.В. Труды Института системного программирования РАН. 2021. Т. 33. № 6. С. 149-160.
  11. УПРАВЛЕНИЕ МАСТЕР-ДАННЫМИ В РАМКАХ ИТЕРАТИВНОГО ПОДХОДА Кузнецов C.B., Кознов Д.B. Онтология проектирования. 2021. Т. 11. № 2 (40). С. 170-184.
  12. STATIC CHECKING CONSISTENCY OF TEMPORAL REQUIREMENTS FOR CONTROL SOFTWARE Garanina N., Koznov D. Communications in Computer and Information Science. 2021. Т. 1481. С. 189-203.
  13. VISUAL LANGUAGE FOR DEVICE MANAGEMENT IN TELECOMMUNICATION PRODUCT LINE Semenov E., Kai S., Gen C., Luciv D., Koznov D. Communications in Computer and Information Science. 2021. Т. 1481. С. 204-216.
  14. AN ONTOLOGY-BASED APPROACH TO SUPPORT FORMAL VERIFICATION OF CONCURRENT SYSTEMS. Garanina N., Anureev I., Sidorova E., Zyubin V., Koznov D., Gorlatch. Lecture Notes in Computer Science. 2020. Т. 12232 LNCS. С. 114-130.

Отзыв оппонента: Скачать

Официальный оппонент: Павленко Евгений Юрьевич, кандидат технических наук (05.13.19).

Место работы, должность: Федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский политехнический университет Петра Великого», доцент Высшей школы кибербезопасности.

Основные публикации за последние 5 лет:

  1. Kalinin M.O., Pavlenko E.Y., Gavva G., Pakhomov M.A. Maintaining Cyber Resilience in the Reconfigurable Networks with Immunization and Improved Network Game Methods. Sensors. 2024. 24(22). DOI: 10.3390/s24227116
  2. АНАЛИЗ МЕТОДОВ ЗАКРЕПЛЕНИЯ ВРЕДОНОСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА УРОВНЕ КОЛЕЦ БЕЗОПАСНОСТИ ПРОЦЕССОРОВ Х86_64. Гололобов Н.В., Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № 4 (62). С. 9-21.
  3. БЕЗОПАСНОСТЬ САМООРГАНИЗУЮЩИХСЯ КИБЕРФИЗИЧЕСКИХ СИСТЕМ. Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № 1 (58). С. 36-49.
  4. ГРАФОВАЯ САМОРЕГУЛЯЦИЯ РАЗЛИЧНЫХ ВИДОВ СЕТЕЙ С АДАПТИВНОЙ ТОПОЛОГИЕЙ. Павленко Е.Ю., Пахомов М.А. Проблемы информационной безопасности. Компьютерные системы. 2024. № 1 (58). С. 70-79.
  5. ИНТЕЛЛЕКТУАЛЬНЫЙ СИНТЕЗ КИБЕРУСТОЙЧИВЫХ СЕТЕВЫХ СТРУКТУР: МЕТОДЫ, ЭКСПЕРИМЕНТЫ И АРХИТЕКТУРНАЯ ИМПЛЕМЕНТАЦИЯ. Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № S2 (60). С. 76-91.
  6. КРИТЕРИИ СИНТЕЗА КИБЕРУСТОЙЧИВЫХ СЕТЕВЫХ СТРУКТУР. Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № S2 (60). С. 92-103.
  7. АНАЛИЗ И ПРОГНОЗИРОВАНИЕ СОСТОЯНИЙ ПРОМЫШЛЕННЫХ СЕТЕЙ С АДАПТИВНОЙ ТОПОЛОГИЕЙ НА ОСНОВЕ СЕТЕВЫХ МОТИВОВ. Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № 3 (61). С. 94-108.
  8. ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ АВТОМОБИЛЬНЫХ САМООРГАНИЗУЮЩИХСЯ СЕТЕЙ ПУТЕМ РАННЕГО ОБНАРУЖЕНИЯ ВРЕДОНОСНЫХ УЗЛОВ. Пахомов М.А., Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2024. № 2 (59). С. 95-103.
  9. Pavlenko E.Y., Pakhomov M.A. Graph-Based Self-Regulation for Different Types of Networks with Adaptive Topology. Automatic Control and Computer Sciences. 2023
  10. Pavlenko E.Y. Analysis and Forecasting of States of Industrial Networks with Adaptive Topology Based on Network Motifs. Automatic Control and Computer Sciences. 2023
  11. Lavrova D.S., Bogina V.M., Zegzhda D.P., Pavlenko E.Y. Probabilistic Approach to Estimate the Cyber Resistance of Mobile Networks Based on Their Connectivity. Automatic Control and Computer Sciences. 2023
  12. ВЕРОЯТНОСТНЫЙ ПОДХОД К ОЦЕНКЕ КИБЕРУСТОЙЧИВОСТИ МОБИЛЬНЫХ СЕТЕЙ НА ОСНОВЕ ИХ СВЯЗНОСТИ. Богина В.М., Лаврова Д.С., Зегжда Д.П., Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2023. № 2 (54). С. 123-139.
  13. АНАЛИЗ МЕТОДОВ ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ БЕСПРОВОДНЫХ САМООРГАНИЗУЮЩИХСЯ СЕТЕЙ. Пахомов М.А., Павленко Е.Ю., Соболев Н.В. Проблемы информационной безопасности. Компьютерные системы. 2023. № S2 (55). С. 13-24.
  14. АНАЛИЗ СИСТЕМ ОБМЕНА ДАННЫМИ ОБ УГРОЗАХ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ. Павленко Е.Ю., Полосухин Н.В. Проблемы информационной безопасности. Компьютерные системы. 2023. № 4 (57). С. 19-30.
  15. КЛАССИФИКАЦИЯ МЕТОДОВ ПРОТИВОДЕЙСТВИЯ АТАКЕ ТИПА ОТРАВЛЕНИЯ ДАННЫХ ПРИ ОБУЧЕНИИ НЕЙРОННОЙ СЕТИ. Гололобов Н.В., Павленко Е.Ю. Проблемы информационной безопасности. Компьютерные системы. 2023. № S2 (55). С. 86-94.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский государственный университет им.М.В.Ломоносова».

Контактные данные: 119991, Российская Федерация, Москва, Ленинские горы, д.1, +7(495)939-1000, info@rector.msu.ru, www.msu.ru

Основные публикации за последние 5 лет:

  1. Artemova E. et al. RuNNE-2022 shared task: recognizing nested named entities. arXiv preprint arXiv:2205.11159. – 2022.
  2. Loukachevitch N., Dobrov B. RuThes Thesaurus for Natural Language Processing. The Palgrave Handbook of Digital Russia Studies. – 2021. – С. 319-334.
  3. Tikhomirov M. M., Loukachevitch N. V., Parkhomenko E. A. Combined approach to hypernym detection for thesaurus enrichment. Computational Linguistics and Intellectual Technologies. – 2020. – С. 736-746.
  4. Bolshina A. S., Loukachevitch N. V. Generating training data for word sense disambiguation in Russian. – 2020.
  5. Nikishina I. et al. RUSSE'2020: Findings of the First Taxonomy Enrichment Task for the Russian language. arXiv preprint arXiv:2005.11176. – 2020.
  6. Tikhomirov M. et al. Using bert and augmentation in named entity recognition for cybersecurity domain. Natural Language Processing and Information Systems: 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24–26, 2020, Proceedings 25. – Springer International Publishing, 2020. – С. 16-24.
  7. Nikishina I. et al. Studying taxonomy enrichment on diachronic wordnet versions. arXiv preprint arXiv:2011.11536. – 2020.
  8. Golubev A., Loukachevitch N. Improving results on Russian sentiment datasets. Conference on artificial intelligence and natural language. – Cham : Springer International Publishing, 2020. – С. 109-121.
  9. Loukachevitch N., Gerasimova A. Linking Russian wordnet ruwordnet to wordnet. Proceedings of the 10th Global Wordnet Conference. – 2019. – С. 64-71.
  10. Tikhomirov M., Loukachevitch N., Dobrov B. Assessing theme adherence in student thesis. Computational Linguistics and Intellectual Technologies. Papers from the Annual International Conference “Dialogue. – 2019. – С. 649-661.
  11. Loukachevitch N. Corpus-based Check-up for Thesaurus. Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics. – 2019. – С. 5773-5779.
  12. Rusnachenko N., Loukachevitch N., Tutubalina E. Distant supervision for sentiment attitude extraction. Proceedings of the International Conference on Recent Advances inNatural Language Processing (RANLP 2019). – 2019. – С. 1022-1030.

Отзыв ведущей организации: Скачать