|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
И. И. Кулагин, В. А. Падарян, В. А. Кошкин, “О методах извлечения алгоритмов из бинарного кода”, Труды ИСП РАН, 36:3 (2024), 139–160  |
|
2021 |
| 2. |
А. А. Евгин, М. А. Соловьев, В. А. Падарян, “Модель и декларативный язык спецификации бинарных форматов данных”, Труды ИСП РАН, 33:6 (2021), 27–50 |
| 3. |
И. В. Шарков, В. А. Падарян, П. В. Хенкин, “Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов”, Труды ИСП РАН, 33:4 (2021), 211–226 |
1
|
|
2020 |
| 4. |
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Практическая абстрактная интерпретация бинарного кода”, Труды ИСП РАН, 32:6 (2020), 101–110 |
1
|
|
2019 |
| 5. |
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода”, Труды ИСП РАН, 31:6 (2019), 65–88 |
1
|
| 6. |
А. Б. Бугеря, В. Ю. Ефимов, И. И. Кулагин, В. А. Падарян, М. А. Соловьев, А. Ю. Тихонов, “Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода”, Труды ИСП РАН, 31:6 (2019), 33–64 |
2
|
| 7. |
Д. С. Колтунов, В. Ю. Ефимов, В. А. Падарян, “Автоматизированное тестирование фронтенда транслятора TCG для Qemu”, Труды ИСП РАН, 31:5 (2019), 7–24 |
1
|
|
2018 |
| 8. |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко, “О новом поколении промежуточных представлений, применяемых для анализа бинарного кода”, Труды ИСП РАН, 30:6 (2018), 39–68  |
5
|
|
2017 |
| 9. |
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян, “Автоматизация разработки моделей устройств и вычислительных машин для QEMU”, Труды ИСП РАН, 29:6 (2017), 77–104 |
4
|
| 10. |
В. А. Падарян, “О представлении результатов обратной инженерии бинарного кода”, Труды ИСП РАН, 29:3 (2017), 31–42 |
2
|
|
2016 |
| 11. |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов, “Подходы к представлению результатов анализа сетевого трафика”, Труды ИСП РАН, 28:6 (2016), 103–110 |
1
|
| 12. |
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев, “О некоторых ограничениях полносистемного анализа помеченных данных”, Труды ИСП РАН, 28:6 (2016), 11–26 |
1
|
| 13. |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов, “Оценка критичности программных дефектов в условиях работы современных защитных механизмов”, Труды ИСП РАН, 28:5 (2016), 73–92 |
7
|
|
2015 |
| 14. |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов, “Метод поиска уязвимости форматной строки”, Труды ИСП РАН, 27:4 (2015), 23–38 |
3
|
| 15. |
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов, “Модель представления данных при проведении глубокого анализа сетевого трафика”, Труды ИСП РАН, 27:4 (2015), 5–22 |
2
|
| 16. |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов, “Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ”, Труды ИСП РАН, 27:2 (2015), 105–126 |
2
|
| 17. |
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян, “Об особенностях детерминированного воспроизведения при минимальном наборе устройств”, Труды ИСП РАН, 27:2 (2015), 65–92 |
1
|
|
2007 |
| 18. |
А. И. Аветисян, С. С. Гайсарян, В. П. Иванников, В. А. Падарян, “Прогнозирование производительности MPI-программ на основе моделей”, Автомат. и телемех., 2007, № 5, 8–17  ; A. I. Avetisyan, S. S. Gaysaryan, V. P. Ivannikov, V. A. Padaryan, “Productivity prediction of MPI programs based on models”, Autom. Remote Control, 68:5 (2007), 750–759  |
4
|
|
2001 |
| 19. |
А. И. Аветисян, И. В. Арапов, С. С. Гайсарян, В. А. Падарян, “Параллельное программирование с распределением по данным в системе ParJava”, Выч. мет. программирование, 2:2 (2001), 70–87 |
|
Обратная связь: