|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
А. Е. Бородин, А. В. Горемыкин, С. П. Вартанов, А. А. Белеванцев, “Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace”, Труды ИСП РАН, 33:1 (2021), 7–32  |
3
|
|
2020 |
| 2. |
С. С. Саргсян, В. Г. Варданян, Д. А. Акопян, А. М. Агабалян, М. С. Меграбян, Ш. Ф. Курмангалеев, А. Ю. Герасимов, М. К. Ермаков, С. П. Вартанов, “Платформа автоматического фаззинга программного интерфейса приложений”, Труды ИСП РАН, 32:2 (2020), 161–173 |
|
2017 |
| 3. |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов, “Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения”, Труды ИСП РАН, 29:5 (2017), 111–134  |
2
|
| 4. |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков, “Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения”, Труды ИСП РАН, 29:1 (2017), 149–166 |
2
|
| 5. |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов, “Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах”, Труды ИСП РАН, 29:1 (2017), 135–148 |
|
2015 |
| 6. |
М. К. Ермаков, С. П. Вартанов, “Поиск состояний гонки в программах на языке Java при помощи динамического анализа”, Труды ИСП РАН, 27:2 (2015), 39–52 |
| 7. |
М. К. Ермаков, С. П. Вартанов, “Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java”, Труды ИСП РАН, 27:2 (2015), 23–38 |
1
|
| 8. |
С. П. Вартанов, М. К. Ермаков, “Применение статической инструментации байт-кода языка Java для динамического анализа программ”, Труды ИСП РАН, 27:1 (2015), 25–38 |
2
|
| 9. |
М. К. Ермаков, С. П. Вартанов, “Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM”, Труды ИСП РАН, 27:1 (2015), 5–24 |
2
|
|
Обратная связь: