|
|
|
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 |
|
Contact us: