Ilya V. Shchepetkov

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 6

Top Topics

Operating System

Clone Detection

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

FM Workshops (2)

Publications

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. 49 (7) (2023)
Denis Efremov, Ilya V. Shchepetkov
Runtime Verification of Linux Kernel Security Module. CoRR (2020)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. 46 (7) (2020)
Denis Efremov, Ilya V. Shchepetkov
Runtime Verification of Linux Kernel Security Module. FM Workshops (2) (2019)
Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
Comparison of specification decomposition methods in Event-B. Program. Comput. Softw. 42 (4) (2016)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference (2015)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Formal Verification of OS Security Model with Alloy and Event-B. ABZ (2014)