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 | 83 | 2013 |
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 | 67* | 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 | 63* | 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 | 44* | 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 | 30* | 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 | 28 | 2012 |
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 | 24 | 2017 |
Verification of Operating System Monolithic Kernels Without Extensions E Novikov, I Zakharov Proceedings of the 8th International Symposium on Leveraging Applications of …, 2018 | 19 | 2018 |
An approach to implementation of aspect-oriented programming for C EM Novikov Programming and Computer Software 39 (4), 194-206, 2013 | 15 | 2013 |
Evolution of the Linux kernel EM Novikov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2017 | 13* | 2017 |
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 | 13 | 2014 |
Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux ЕМ Новиков ISP RAS, 2013 | 9 | 2013 |
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 |
Using Aspect-Oriented Programming for Querying Source Code EM Novikov, AV Khoroshilov Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2012 | 7* | 2012 |
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 | 7 | 2011 |
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 | 5 | 2011 |
Compositional Environment Modelling for Verification of GNU C Programs I Zakharov, E Novikov Proceedings of the 2018 Ivannikov Ispras Open Conference, 39-44, 2018 | 4 | 2018 |
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 | 4 | 2014 |