Concepedia

Evgeny Novikov

EN

Statistics

Publications

5

Citations

131

H-Index

5

Active since

2012

Affiliations

Institute for System Programming(Current)

Evgeny Novikov is an author at Institute for System Programming specializing in formal methods, computer engineering, and formal verification.

ORCID

Top concepts

Publications per year

2012–2015

5

Publications

5

Precision reuse for efficient regression verification

Dirk Beyer, Stefan Löwe, Evgeny Novikov et al. · 2013 · 57 citations

, , +20

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

Analysis of typical faults in Linux operating system drivers

Vadim Mutilin, Evgeny Novikov, Alexey Khoroshilov · Proceedings of the Institute for System Programming of RAS · 2012 · 16 citations · Full text

, , +22

Using linux device drivers for static verification tools benchmarking

Mikhail Mandrykin, Vadim Mutilin, Evgeny Novikov et al. · Programming and Computer Software · 2012 · 14 citations

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Proceedings of the Institute for System Programming of RAS · 2014 · 11 citations · Full text

, , +17

1–5 of 5