Evgeny Novikov

According to our database, Evgeny Novikov authored at least 11 papers between 2011 and 2023.

Collaborative distances:

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

2023

Klever: Verification Framework for Critical Industrial C Programs.

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov

CoRR, 2023

2018

Verification of Operating System Monolithic Kernels Without Extensions.

Evgeny Novikov, Ilja S. Zakharov

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

2017

Towards Automated Static Verification of GNU C Programs.

Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2017

2015

Configurable toolset for static verification of operating systems kernel modules.

Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

2014

Precision Reuse in CPAchecker.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Modeling Environment for Static Verification of Linux Kernel Modules.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2014

2013

Reusing Precisions for Efficient Regression Verification

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

CoRR, 2013

Precision reuse for efficient regression verification.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Visual Modeling of Dynamical Systems by Instrumental Facilities.

Yury Shornikov, Evgeny Novikov, Dmitry Dostovalov, Maria Myssak

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2012

Using linux device drivers for static verification tools benchmarking.

Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved

Program. Comput. Softw., 2012

2011

Towards an Open Framework for C Verification Tools Benchmarking.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh

Proceedings of the Perspectives of Systems Informatics, 2011