|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
В. В. Качанов, М. К. Ермаков, Г. А. Панкратенко, А. В. Спиридонов, А. С. Волков, С. И. Марков, “Технический долг в жизненном цикле разработки ПО: запахи кода”, Труды ИСП РАН, 33:6 (2021), 95–110  |
1
|
|
2020 |
| 2. |
С. С. Саргсян, В. Г. Варданян, Д. А. Акопян, А. М. Агабалян, М. С. Меграбян, Ш. Ф. Курмангалеев, А. Ю. Герасимов, М. К. Ермаков, С. П. Вартанов, “Платформа автоматического фаззинга программного интерфейса приложений”, Труды ИСП РАН, 32:2 (2020), 161–173 |
|
2018 |
| 3. |
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov, “Combining dynamic symbolic execution, code static analysis and fuzzing”, Труды ИСП РАН, 30:6 (2018), 25–38  |
5
|
|
2017 |
| 4. |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов, “Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения”, Труды ИСП РАН, 29:5 (2017), 111–134 |
2
|
| 5. |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков, “Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения”, Труды ИСП РАН, 29:1 (2017), 149–166 |
1
|
| 6. |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов, “Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах”, Труды ИСП РАН, 29:1 (2017), 135–148 |
| 7. |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков, “Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя”, Труды ИСП РАН, 29:1 (2017), 119–134 |
|
2016 |
| 8. |
М. К. Ермаков, “Проведение динамического анализа исполняемого кода формата ARM ELF на основе статического бинарного инструментирования”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236), 108–117 |
|
2015 |
| 9. |
М. К. Ермаков, С. П. Вартанов, “Поиск состояний гонки в программах на языке Java при помощи динамического анализа”, Труды ИСП РАН, 27:2 (2015), 39–52 |
| 10. |
М. К. Ермаков, С. П. Вартанов, “Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java”, Труды ИСП РАН, 27:2 (2015), 23–38 |
1
|
| 11. |
С. П. Вартанов, М. К. Ермаков, “Применение статической инструментации байт-кода языка Java для динамического анализа программ”, Труды ИСП РАН, 27:1 (2015), 25–38 |
2
|
| 12. |
М. К. Ермаков, С. П. Вартанов, “Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM”, Труды ИСП РАН, 27:1 (2015), 5–24 |
2
|
|
Обратная связь: