ИСТИНА

Вартанов Сергей Павлович

Соавторы: Burtsev V.E., Dudin S.V., Fortov V.E., Kantsyrev A.V., Kutz D., Mikhailov A.M., Rudnev A., Sharkov B.Y., Shestov L.M., Ternovoi V.Y., Turtikov V., Yuriev D.S., Zhernokletov M.V. показать полностью..., Аветисян А.И., Белеванцев А.А., Горемыкин А.В., Дудина И.А., Завьялов Н.В., Иванников В.П., Круглов Л.В., Лавров В.В., Малышев Н.Е., Минцев В.Б., Николаев Д.Н., Смирнов Г.С., Таценко М.И., Уткин А.В., Шилкин Н.С., Якушев В.В.

11 статей, 2 доклада на конференциях, 1 тезисы доклада, 1 НИР, 1 свидетельство о регистрации прав на ПО

Количество цитирований статей в журналах по данным Web of Science: 3, Scopus: 3

IstinaResearcherID (IRID): 26387699

Деятельность

• Статьи в журналах

  • • 2021 Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace
    • Бородин А.Е., Горемыкин А.В., Вартанов С.П., Белеванцев А.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 33, № 1, с. 7-32 DOI
  • 
    • 2019 SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
    • Malyshev Nikita, Dudina Irina, Kutz Daniil, Novikov Alexander, Vartanov Sergey
    • в журнале IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS), с. 9-15 DOI
  • 
    • 2018 An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
    • Gerasimov A.Yu, Kruglov L.V., Ermakov M.K., Vartanov S.P.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 44, № 6, с. 467-475 DOI
  • • 2015 Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java
    • Ермаков М.К., Вартанов С.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 23-38
  • • 2015 Поиск состояний гонки в программах на языке Java при помощи динамического анализа
    • Ермаков М.К., Вартанов С.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 2, с. 39-52
  • • 2015 Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM
    • Вартанов С.П., Ермаков М.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 1, с. 5-24
  • • 2015 Применение статической инструментации байт-кода языка Java для динамического анализа программ
    • Вартанов С.П., Ермаков М.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 1, с. 25-38
  • • 2014 Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных
    • Вартанов С.П., Герасимов А.Ю.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 375-394
  • • 2013 Автоматический поиск ошибок синхронизации в приложениях на платформе Android
    • Иванников В.П., Вартанов С.П., Ермаков М.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 191-206 DOI
  • • 2012 Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов
    • Вартанов С.П., Сидоров Д.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 281-292

• Статьи в сборниках

  • • 2012 Shockwave and detonation studies at ITEP-TWAC proton radiography facility
    • Kolesnikov Sergey, Dudin Sergey, Lavrov Vladimir, Nikolaev Dmitry, Mintsev Victor, Shilkin Nikolay, Ternovoi Vladimir, Utkin Alexander, Yakushev Vladislav, Yuriev Denis, Fortov Vladimir, Golubev Alexander, Kantsyrev Alexey, Shestov Lev, Smirnov Gennady, Turtikov Vladimir, Sharkov Boris, Burtsev Vasily, Zavialov Nikolay, Kartanov Sergey, Mikhailov Anatoly, Rudnev Alexey, Tatsenko Mikhail, Zhernokletov Mikhail
    • в сборнике AIP Conference Proceedings, место издания AIP, том 1426, с. 390-393 DOI

• Доклады на конференциях

  • • 2019 Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование (Устный)
    • Авторы: Никита Малышев, Ирина Дудина, Даниил Куц, Александр Новиков, Сергей Вартанов
    • Открытая конференция ИСП РАН им. В.П.Иванникова, Главное здание Российской академии наук, Москва, Россия, 5-6 декабря 2019
  • • 2017 Динамическое символьное исполнение Java-программ (Устный)
    • Авторы: Вартанов С.П., Аветисян А.И.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017

• Тезисы докладов

  • • 2017 Динамическое символьное исполнение Java-программ
    • Аветисян А.И., Вартанов С.П.
    • в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 39-40

• НИРы

  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Свидетельства о регистрации прав на программное обеспечение

  • • 2022 Статический анализатор Svace (SOFT)
    • Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
    • #2022618173, 5 мая