Буренков Владимир Сергеевич

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

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