Федотов Андрей Николаевич

Публикации в базе данных Math-Net.Ru

1. Python fuzzing for trustworthy machine learning frameworks
   
   Зап. научн. сем. ПОМИ, 530 (2023),  38–50
2. Доверенный искусственный интеллект: вызовы и перспективные решения
   
   Докл. РАН. Матем., информ., проц. упр., 508 (2022),  13–18
3. Поиск ошибок в бинарном коде методами динамической символьной интерпретации
   
   Труды ИСП РАН, 34:2 (2022),  25–42
4. CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках
   
   Труды ИСП РАН, 32:4 (2020),  89–96
5. Построение предикатов безопасности для некоторых типов программных дефектов
   
   Труды ИСП РАН, 29:6 (2017),  151–162
6. Оценка критичности программных дефектов в условиях работы современных защитных механизмов
   
   Труды ИСП РАН, 28:5 (2016),  73–92
7. Метод оценки эксплуатируемости программных дефектов
   
   Труды ИСП РАН, 28:4 (2016),  137–148
8. Метод поиска уязвимости форматной строки
   
   Труды ИСП РАН, 27:4 (2015),  23–38
9. Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ
   
   Труды ИСП РАН, 27:2 (2015),  105–126