Denis Efremov

According to our database, Denis Efremov authored at least 9 papers between 2012 and 2024.

Collaborative distances:

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

2024

Vehicle and Wheels Stability Defined Using Driving Envelope Protection Algorithm.

Denis Efremov, Tomás Hanis, Martin Klauco

IEEE Trans. Intell. Transp. Syst., September, 2024

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

2022

Driving Envelope: On Vehicle Stability Through Tire Capacities.

Denis Efremov, Martin Klauco, Tomás Hanis

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

2020

Haptic Driver Guidance for Lateral Driving Envelope Protection Using Model Predictive Control.

Denis Efremov, Tomás Hanis, Martin Klauco

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Driving Envelope Definition and Envelope Protection Using Model Predictive Control.

Denis Efremov, Martin Klauco, Tomás Hanis, Martin Hromcík

Proceedings of the 2020 American Control Conference, 2020

2019

Runtime Verification of Linux Kernel Security Module.

Denis Efremov, Ilya V. Shchepetkov

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

2018

Lemma Functions for Frama-C: C Programs as Proofs.

Grigoriy Volkov, Mikhail U. Mandrykin, Denis Efremov

CoRR, 2018

Deductive Verification of Unmodified Linux Kernel Library Functions.

Denis Efremov, Mikhail U. Mandrykin, Alexey V. Khoroshilov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2012

Sevigator: Network Confinement of Malware Applications and Untrusted Operating Systems.

Denis Efremov, Nikolay V. Pakulin

Proceedings of the SECRYPT 2012, 2012