Ilya V. Shchepetkov

According to our database, Ilya V. Shchepetkov authored at least 6 papers between 2014 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

2020

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Program. Comput. Softw., 2020

2019

Runtime Verification of Linux Kernel Security Module.

Denis Efremov, Ilya V. Shchepetkov

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2016

Comparison of specification decomposition methods in Event-B.

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., 2016

2015

Using Refinement in Formal Development of OS Security Model.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Perspectives of System Informatics, 2015

2014

Formal Verification of OS Security Model with Alloy and Event-B.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014