Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Evgeny Novikov

> Home > Persons

Person information

affiliation: Russian Academy of Sciences, Institute for System Programming, Moscow, Russia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-16427
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-16427
Ilja S. Zakharov, Evgeny Novikov, Ilya Shchepetkov:
Klever: Verification Framework for Critical Industrial C Programs. CoRR abs/2309.16427 (2023)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/NovikovZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/NovikovZ18
Evgeny Novikov, Ilja S. Zakharov:
Verification of Operating System Monolithic Kernels Without Extensions. ISoLA (4) 2018: 230-248
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/NovikovZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/NovikovZ17
Evgeny Novikov, Ilja S. Zakharov:
Towards Automated Static Verification of GNU C Programs. Ershov Informatics Conference 2017: 402-416
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/ZakharovMMNPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/ZakharovMMNPK15
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): 49-64 (2015)
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KhoroshilovMNZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KhoroshilovMNZ14
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov:
Modeling Environment for Static Verification of Linux Kernel Modules. Ershov Memorial Conference 2014: 400-414
[c4]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/BeyerLNSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/BeyerLNSW14
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Precision Reuse in CPAchecker. Software Engineering 2014: 41-42
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mim/ShornikovNDM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mim/ShornikovNDM13
Yury Shornikov, Evgeny Novikov, Dmitry Dostovalov, Maria Myssak:
Visual Modeling of Dynamical Systems by Instrumental Facilities. MIM 2013: 2185-2190
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BeyerLNSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BeyerLNSW13
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE 2013: 389-399
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-6915
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-6915
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler:
Reusing Precisions for Efficient Regression Verification. CoRR abs/1305.6915 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/MandrykinMNKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/MandrykinMNKS12
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): 245-256 (2012)
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KhoroshilovMNSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KhoroshilovMNSS11
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: 179-192

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.