Follow
Ilja Zakharov
Ilja Zakharov
Institute for System Programming of RAS
Verified email at ispras.ru
Title
Cited by
Cited by
Year
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
522015
Towards automated static verification of GNU C programs
E Novikov, I Zakharov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2017
152017
Verification of operating system monolithic kernels without extensions
E Novikov, I Zakharov
International Symposium on Leveraging Applications of Formal Methods, 230-248, 2018
122018
Modeling environment for static verification of Linux kernel modules
A Khoroshilov, V Mutilin, E Novikov, I Zakharov
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
122014
Pattern-based environment modeling for static verification of Linux kernel modules
IS Zakharov, VS Mutilin, AV Khoroshilov
Programming and Computer Software 41 (3), 183-195, 2015
112015
Конфигурируемая система статической верификации модулей ядра операционных систем
ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ...
Труды Института системного программирования РАН 26 (2), 5-42, 2014
92014
A survey of high-performance computing for software verification
I Zakharov
International Conference on Tools and Methods for Program Analysis, 196-208, 2017
52017
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
52014
Моделирование окружения драйверов устройств операционной системы Linux
ИС Захаров, ВС Мутилин, ЕМ Новиков, АВ Хорошилов
Труды Института системного программирования РАН 25, 85-112, 2013
42013
Compositional Environment Modelling for Verification of GNU C Programs
I Zakharov, E Novikov
2018 Ivannikov Ispras Open Conference (ISPRAS), 39-44, 2018
22018
Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем
ИС Захаров, ЕМ Новиков
Труды Института системного программирования РАН 29 (6), 25-48, 2017
12017
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux
ИС Захаров, ВС Мутилин, АВ Хорошилов
Программирование, 3-19, 2015
12015
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
12013
Моделирование окружения драйверов операционной системы Linux для поддержки процесса статической верификации
ИС Захаров
Организационный комитет Международной молодежной научной олимпиады …, 0
The system can't perform the operation now. Try again later.
Articles 1–14