Evgeny Novikov

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