|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
E. M. Orlova, A. A. Vasilyev, O. M. Petrov, “Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers”, Труды ИСП РАН, 37:5 (2025), 67–80  |
|
2019 |
| 2. |
А. А. Васильев, В. С. Мутилин, “Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями”, Труды ИСП РАН, 31:6 (2019), 7–20 |
|
2018 |
| 3. |
A. A. Vasilyev, “Static verification for memory safety of Linux kernel drivers”, Труды ИСП РАН, 30:6 (2018), 143–160 |
2
|
|
