Reconfigurable Model-Based Test Program Generator for Microprocessors. - Alexander Kamkin; Eugene Kornykhin; Dmitry Vorobyev (ICST Workshops, 2011)

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., 2023)