Towards an Open Framework for C Verification Tools Benchmarking. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Pavel Shved; Alexander Strakh (Ershov Memorial Conference, 2011)

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)

Visual Modeling of Dynamical Systems by Instrumental Facilities. - Yury Shornikov; Evgeny Novikov; Dmitry Dostovalov; Maria Myssak (MIM, 2013)

Precision reuse for efficient regression verification. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (ESEC/SIGSOFT FSE, 2013)

Reusing Precisions for Efficient Regression Verification - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (CoRR, 2013)

Modeling Environment for Static Verification of Linux Kernel Modules. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Ilja S. Zakharov (Ershov Memorial Conference, 2014)

Precision Reuse in CPAchecker. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (Software Engineering, 2014)

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)

Towards Automated Static Verification of GNU C Programs. - Evgeny Novikov; Ilja S. Zakharov (Ershov Informatics Conference, 2017)

Verification of Operating System Monolithic Kernels Without Extensions. - Evgeny Novikov; Ilja S. Zakharov (ISoLA (4), 2018)

Klever: Verification Framework for Critical Industrial C Programs. - Ilja S. Zakharov; Evgeny Novikov; Ilya Shchepetkov (CoRR, 2023)