|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
D. V. Efremov, V. V. Kopach, V. V. Kulyamin, E. V. Kornykhin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Runtime verification of operating systems based on abstract models”, Proceedings of ISP RAS, 33:6 (2021), 15–26 |
1
|
|
2020 |
2. |
A. K. Petrenko, D. V. Efremov, E. V. Kornykhin, V. V. Kuliamin, A. V. Khoroshilov, I. V. Shchepetkov, “Monitoring and testing based on multi-level program specifications”, Proceedings of ISP RAS, 32:6 (2020), 7–18 |
1
|
|
2015 |
3. |
E. Kornykhin, A. Khoroshilov, “Python-based constraint language for architecture models”, Proceedings of ISP RAS, 27:5 (2015), 143–156 |
1
|
|
2009 |
4. |
E. V. Kornykhin, “Test data generation for core-level verification of FIFO cache memory”, Num. Meth. Prog., 10:2 (2009), 107–116 |
|