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 | 60 | 2015 |
Towards automated static verification of GNU C programs E Novikov, I Zakharov International Andrei Ershov Memorial Conference on Perspectives of System …, 2017 | 24 | 2017 |
Verification of operating system monolithic kernels without extensions E Novikov, I Zakharov Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 19 | 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 | 11 | 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 | 6 | 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 |
Perspectives of System Informatics E Novikov, I Zakharov Springer Int. Publ., 2018 | 2 | 2018 |
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 | | |