Burenkov Vladimir Sergeyevich

Publications in Math-Net.Ru

1. Formal verification of a mandatory integrity control model for the KasperskyOS operating system
   
   Proceedings of ISP RAS, 32:6 (2020),  31–48
2. A mandatory integrity control model for the KasperskyOS operating system
   
   Proceedings of ISP RAS, 32:1 (2020),  27–56
3. A technique for parameterized verification of cache coherence protocols
   
   Proceedings of ISP RAS, 29:4 (2017),  231–246
4. Checking parameterized Promela models of cache coherence protocols
   
   Proceedings of ISP RAS, 28:4 (2016),  57–76
5. On the implementation of a formal method for verification of scalable cache coherent systems
   
   Proceedings of ISP RAS, 27:3 (2015),  183–196