| 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, 49-64, 2015 | 56 | 2015 |
| Towards automated static verification of GNU C programs E Novikov, I Zakharov Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018 | 22 | 2018 |
| Verification of operating system monolithic kernels without extensions E Novikov, I Zakharov Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 16 | 2018 |
| Modeling environment for static verification of Linux kernel modules A Khoroshilov, V Mutilin, E Novikov, I Zakharov Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 13 | 2015 |
| Pattern-based environment modeling for static verification of Linux kernel modules IS Zakharov, VS Mutilin, AV Khoroshilov Programming and Computer Software 41, 183-195, 2015 | 12 | 2015 |
| Конфигурируемая система статической верификации модулей ядра операционных систем ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ... Труды Института системного программирования РАН 26 (2), 5-42, 2014 | 9 | 2014 |
| A survey of high-performance computing for software verification I Zakharov Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | 5 | 2018 |
| Моделирование окружения драйверов устройств операционной системы Linux ИС Захаров, ВС Мутилин, ЕМ Новиков, АВ Хорошилов Труды Института системного программирования РАН 25, 85-112, 2013 | 5 | 2013 |
| Compositional environment modelling for verification of GNU C programs I Zakharov, E Novikov 2018 Ivannikov Ispras Open Conference (ISPRAS), 39-44, 2018 | 4 | 2018 |
| Configurable Toolset for Static Verification of Operating Systems Kernel Modules. Trudy ISP RAN IS Zakharov, MU Mandrykin, VS Mutilin, EM Novikov, AK Petrenko, ... Proc. ISP RAS 26 (2), 5-42, 2014 | 4 | 2014 |
| 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 | 2 | 2013 |
| Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем ИС Захаров, ЕМ Новиков Труды Института системного программирования РАН 29 (6), 25-48, 2017 | 1 | 2017 |
| Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux ИС Захаров, ВС Мутилин, АВ Хорошилов Программирование, 3-19, 2015 | 1 | 2015 |
| Generating environment model for Linux device drivers I Zakharov, V Mutilin, E Novikov, A Khoroshilov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013 | 1 | 2013 |
| Klever: Verification Framework for Critical Industrial C Programs I Zakharov, E Novikov, I Shchepetkov arXiv preprint arXiv:2309.16427, 2023 | | 2023 |
| Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации ИС Захаров Организационный комитет Международной молодежной научной олимпиады …, 0 | | |
Evgeny NovikovSenior Researcher at ISP RASVerified email at ispras.ru
