|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
В. О. Афанасьев, А. Е. Бородин, А. А. Белеванцев, “Статический анализ для языка Scala”, Труды ИСП РАН, 36:3 (2024), 9–20  |
|
2023 |
| 2. |
В. О. Афанасьев, А. Е. Бородин, К. И. Вихлянцев, А. А. Белеванцев, “Статический анализ на основе обобщённого абстрактного синтаксического дерева”, Труды ИСП РАН, 35:6 (2023), 103–120 |
| 3. |
Р. А. Бучацкий, Я. А. Чуркин, К. А. Чибисов, М. В. Пантилимонов, Е. В. Долгодворов, А. В. Вязовцев, А. Г. Волохов, В. В. Трунов, Г. О. Миракян, К. Н. Китаев, А. А. Белеванцев, “Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang”, Труды ИСП РАН, 35:5 (2023), 169–192 |
|
2022 |
| 4. |
Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев, “Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++”, Труды ИСП РАН, 34:6 (2022), 51–66 |
| 5. |
У. В. Тяжкороб, В. Н. Игнатьев, А. А. Белеванцев, “Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа”, Труды ИСП РАН, 34:6 (2022), 41–50 |
|
2021 |
| 6. |
В. О. Афанасьев, С. А. Поляков, А. Е. Бородин, А. А. Белеванцев, “Kotlin с точки зрения разработчика статического анализатора”, Труды ИСП РАН, 33:6 (2021), 67–82 |
1
|
| 7. |
А. Е. Бородин, А. В. Горемыкин, С. П. Вартанов, А. А. Белеванцев, “Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace”, Труды ИСП РАН, 33:1 (2021), 7–32 |
3
|
|
2017 |
| 8. |
М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев, “Сравнительный анализ двух подходов к статическому анализу помеченных данных”, Труды ИСП РАН, 29:3 (2017), 99–116  |
2
|
| 9. |
А. П. Меркулов, С. А. Поляков, А. А. Белеванцев, “Анализ программ на языке Java в инструменте Svace”, Труды ИСП РАН, 29:3 (2017), 57–74 |
7
|
|
2015 |
| 10. |
А. Е. Бородин, А. А. Белеванцев, “Статический анализатор Svace как коллекция анализаторов разных уровней сложности”, Труды ИСП РАН, 27:6 (2015), 111–134 |
17
|
| 11. |
А. А. Белеванцев, Е. А. Велесевич, “Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ”, Труды ИСП РАН, 27:2 (2015), 53–64 |
2
|
| 12. |
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян, “Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ”, Труды ИСП РАН, 27:1 (2015), 39–50 |
3
|
|
Обратная связь: