Follow
Evgeny Novikov
Title
Cited by
Cited by
Year
Precision reuse for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Proceedings of the 9th Joint Meeting of the European Software Engineering …, 2013
772013
Configurable Toolset for Static Verification of Operating Systems Kernel Modules
IS Zakharov, MU Mandrykin, VS Mutilin, EM Novikov, AK Petrenko, ...
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2014
64*2014
Configurable toolset for static verification of operating systems kernel modules
IS Zakharov, MU Mandrykin, VS Mutilin, EM Novikov, AK Petrenko, ...
Programming and Computer Software 41 (1), 49-64, 2015
58*2015
Analysis of typical faults in Linux operating system drivers
VS Mutilin, EM Novikov, AV Khoroshilov
Trudy ISP RAN/Proc. ISP RAS 22, 349-374, 2012
40*2012
Linux Driver Verification Architecture
VS Mutilin, EM Novikov, AV Strakh, AV Khoroshilov, PE Shved
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011
31*2011
Towards an open framework for C verification tools benchmarking
A Khoroshilov, V Mutilin, E Novikov, P Shved, A Strakh
Proceedings of the 8th International Andrei Ershov Memorial Conference on …, 2012
282012
Using linux device drivers for static verification tools benchmarking
MU Mandrykin, VS Mutilin, EM Novikov, AV Khoroshilov, PE Shved
Programming and Computer Software 38 (5), 245-256, 2012
25*2012
Towards automated static verification of GNU C programs
E Novikov, I Zakharov
Proceedings of the 11th International Andrei Ershov Memorial Conference on …, 2017
222017
Verification of Operating System Monolithic Kernels Without Extensions
E Novikov, I Zakharov
Proceedings of the 8th International Symposium on Leveraging Applications of …, 2018
152018
An approach to implementation of aspect-oriented programming for C
EM Novikov
Programming and Computer Software 39 (4), 194-206, 2013
152013
Modeling Environment for Static Verification of Linux Kernel Modules
A Khoroshilov, V Mutilin, E Novikov, I Zakharov
Proceedings of the 9th International Andrei Ershov Memorial Conference on …, 2014
132014
Evolution of the Linux kernel
EM Novikov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017
12*2017
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux
ЕМ Новиков
ISP RAS, 2013
92013
Environment modeling of Linux operating system device drivers
IS Zakharov, VS Mutilin, EM Novikov, AV Khoroshilov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2013
7*2013
One approach to aspect-oriented programming implementation for the C programming language
E Novikov
Proceedings of the 5th Spring/Summer Young Researchers' Colloquium on …, 2011
72011
Static Verification Tools for C Programs and Linux Device Drivers: A Survey
MU Mandrykin, VS Mutilin, EM Novikov, AV Khoroshilov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2012
5*2012
Упрощение анализа трасс ошибок инструментов статического анализа кода
ЕМ Новиков
Сборник тезисов докладов 2-й научно-практической конференции «Актуальные …, 2011
52011
Compositional Environment Modelling for Verification of GNU C Programs
I Zakharov, E Novikov
Proceedings of the 2018 Ivannikov Ispras Open Conference, 39-44, 2018
42018
Minimizing the number of static verifier traces to reduce time for finding bugs in Linux kernel modules
V Mordan, E Novikov
Proceedings of the 8th Spring/Summer Young Researchers' Colloquium on …, 2014
42014
Using Aspect-Oriented Programming for Querying Source Code
EM Novikov, AV Khoroshilov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2012
4*2012
The system can't perform the operation now. Try again later.
Articles 1–20