Karnov Aleksey Aleksandrovich

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. Uncertainty problem in high-level model-based trace analysis as part of runtime verification
   
   Proceedings of ISP RAS, 36:4 (2024),  169–182
3. Matrix regularity analysis
   
   Proceedings of ISP RAS, 34:1 (2022),  101–122
4. Stochastic methods for analysis of complex hardware-software systems
   
   Proceedings of ISP RAS, 29:4 (2017),  191–202