Denis Efremov

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 9

Top Topics

Operating System

Model Predictive Control

Top Venues

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, Martin Klauco, Tomás Hanis
Driving Envelope: On Vehicle Stability Through Tire Capacities. IV (2022)
Denis Efremov, Ilya V. Shchepetkov
Runtime Verification of Linux Kernel Security Module. CoRR (2020)
Denis Efremov, Tomás Hanis, Martin Klauco
Haptic Driver Guidance for Lateral Driving Envelope Protection Using Model Predictive Control. IV (2020)
Denis Efremov, Martin Klauco, Tomás Hanis, Martin Hromcík
Driving Envelope Definition and Envelope Protection Using Model Predictive Control. ACC (2020)
Denis Efremov, Ilya V. Shchepetkov
Runtime Verification of Linux Kernel Security Module. FM Workshops (2) (2019)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. CoRR (2018)
Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov
Lemma Functions for Frama-C: C Programs as Proofs. CoRR (2018)
Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov
Deductive Verification of Unmodified Linux Kernel Library Functions. ISoLA (2) (2018)
Denis Efremov, Nikolay V. Pakulin
Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems. SECRYPT (2012)