|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
В. С. Буренков, “Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS”, Труды ИСП РАН, 32:6 (2020), 31–48  |
1
|
| 2. |
В. С. Буренков, Д. А. Кулагин, “Модель мандатного контроля целостности в операционной системе KasperskyOS”, Труды ИСП РАН, 32:1 (2020), 27–56 |
1
|
|
2017 |
| 3. |
V. S. Burenkov, “A technique for parameterized verification of cache coherence protocols”, Труды ИСП РАН, 29:4 (2017), 231–246  |
|
2016 |
| 4. |
V. S. Burenkov, A. S. Kamkin, “Checking parameterized Promela models of cache coherence protocols”, Труды ИСП РАН, 28:4 (2016), 57–76 |
1
|
|
2015 |
| 5. |
Vladimir Burenkov, “On the implementation of a formal method for verification of scalable cache coherent systems”, Труды ИСП РАН, 27:3 (2015), 183–196 |
|
