Eugene Kornykhin

According to our database, Eugene Kornykhin authored at least 2 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023

2011

Reconfigurable Model-Based Test Program Generator for Microprocessors.

Alexander Kamkin, Eugene Kornykhin, Dmitry Vorobyev

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011