Evgeny Novikov

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 3

Top Topics

Dynamical Systems

Top Venues

Ershov Memorial Conference

Publications

Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov
Klever: Verification Framework for Critical Industrial C Programs. CoRR (2023)
Evgeny Novikov, Ilja S. Zakharov
Verification of Operating System Monolithic Kernels Without Extensions. ISoLA (4) (2018)
Evgeny Novikov, Ilja S. Zakharov
Towards Automated Static Verification of GNU C Programs. Ershov Informatics Conference (2017)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision Reuse in CPAchecker. Software Engineering (2014)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov
Modeling Environment for Static Verification of Linux Kernel Modules. Ershov Memorial Conference (2014)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Reusing Precisions for Efficient Regression Verification CoRR (2013)
Yury Shornikov, Evgeny Novikov, Dmitry Dostovalov, Maria Myssak
Visual Modeling of Dynamical Systems by Instrumental Facilities. MIM (2013)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE (2013)
Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved
Using linux device drivers for static verification tools benchmarking. Program. Comput. Softw. 38 (5) (2012)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh
Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference (2011)