|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
I. Yegorov, E. Kobrin, D. Parygina, A. Vishnyakov, A. Fedotov, “Python fuzzing for trustworthy machine learning frameworks”, Зап. научн. сем. ПОМИ, 530 (2023), 38–50  |
|
2022 |
| 2. |
Д. Ю. Турдаков, А. И. Аветисян, К. В. Архипенко, А. В. Анциферова, Д. С. Ватолин, С. С. Волков, А. В. Гасников, Д. А. Девяткин, М. Д. Дробышевский, А. П. Коваленко, М. И. Кривоносов, Н. В. Лукашевич, В. А. Малых, С. И. Николенко, И. В. Оселедец, А. И. Перминов, И. В. Соченков, М. М. Тихомиров, А. Н. Федотов, М. Ю. Хачай, “Доверенный искусственный интеллект: вызовы и перспективные решения”, Докл. РАН. Матем., информ., проц. упр., 508 (2022), 13–18  ; D. Yu. Turdakov, A. I. Avetisyan, K. V. Arkhipenko, A. V. Antsiferova, D. S. Vatolin, S. S. Volkov, A. V. Gasnikov, D. A. Devyatkin, M. D. Drobyshevskiy, A. P. Kovalenko, M. I. Krivonosov, N. V. Lukashevich, V. A. Malykh, S. I. Nikolenko, I. V. Oseledets, A. I. Perminov, I. V. Sochenkov, M. M. Tihomirov, A. N. Fedotov, M. Yu. Khachay, “Trusted artificial intelligence: challenges and promising solutions”, Dokl. Math., 106:suppl. 1 (2022), S9–S13 |
1
|
| 3. |
А. В. Вишняков, И. А. Кобрин, А. Н. Федотов, “Поиск ошибок в бинарном коде методами динамической символьной интерпретации”, Труды ИСП РАН, 34:2 (2022), 25–42 |
1
|
|
2020 |
| 4. |
А. Н. Федотов, Ш. Ф. Курмангалеев, “CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках”, Труды ИСП РАН, 32:4 (2020), 89–96 |
1
|
|
2017 |
| 5. |
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев, “Построение предикатов безопасности для некоторых типов программных дефектов”, Труды ИСП РАН, 29:6 (2017), 151–162 |
2
|
|
2016 |
| 6. |
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов, “Оценка критичности программных дефектов в условиях работы современных защитных механизмов”, Труды ИСП РАН, 28:5 (2016), 73–92 |
7
|
| 7. |
А. Н. Федотов, “Метод оценки эксплуатируемости программных дефектов”, Труды ИСП РАН, 28:4 (2016), 137–148 |
3
|
|
2015 |
| 8. |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов, “Метод поиска уязвимости форматной строки”, Труды ИСП РАН, 27:4 (2015), 23–38 |
3
|
| 9. |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов, “Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ”, Труды ИСП РАН, 27:2 (2015), 105–126 |
2
|
|
Обратная связь: