Kornykhin Evgenii Valer'evich

Publications in Math-Net.Ru

1. Methods of runtime verification of industrial information security tools based on formal access control models.
   
   Proceedings of ISP RAS, 37:3 (2025),  277–290
2. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
3. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
4. Python-based constraint language for architecture models
   
   Proceedings of ISP RAS, 27:5 (2015),  143–156
5. Test data generation for core-level verification of FIFO cache memory
   
   Num. Meth. Prog., 10:2 (2009),  107–116