|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
A. K. Petrenko, P. N. Devyanin, D. V. Efremov, A. A. Karnov, E. V. Kornykhin, V. V. Kulyamin, A. V. Khoroshilov, “Methods of runtime verification of industrial information security tools based on formal access control models.”, Proceedings of ISP RAS, 37:3 (2025), 277–290  |
|
2024 |
| 2. |
A. A. Karnov, “Uncertainty problem in high-level model-based trace analysis as part of runtime verification”, Proceedings of ISP RAS, 36:4 (2024), 169–182 |
|
2022 |
| 3. |
I. B. Burdonov, A. A. Karnov, “Matrix regularity analysis”, Proceedings of ISP RAS, 34:1 (2022), 101–122 |
|
2017 |
| 4. |
A. A. Karnov, S. V. Zelenov, “Stochastic methods for analysis of complex hardware-software systems”, Proceedings of ISP RAS, 29:4 (2017), 191–202  |
1
|
|
| Organisations |
|
|
