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 | 76 | 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 | 63* | 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 | 59* | 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 | 41* | 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 | 22 | 2017 |
Verification of Operating System Monolithic Kernels Without Extensions E Novikov, I Zakharov Proceedings of the 8th International Symposium on Leveraging Applications of …, 2018 | 16 | 2018 |
An approach to implementation of aspect-oriented programming for C EM Novikov Programming and Computer Software 39 (4), 194-206, 2013 | 15 | 2013 |
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 |
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 | 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 |