Follow
Vadim Mutilin
Vadim Mutilin
Institute for System Programming of the Russian Academy of Sciences
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, 49-64, 2015
552015
Establishing Linux driver verification process
A Khoroshilov, V Mutilin, A Petrenko, V Zakharov
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
542010
Predicate Analysis with BLAST 2.7: (Competition Contribution)
P Shved, M Mandrykin, V Mutilin
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
442012
Towards an open framework for C verification tools benchmarking
A Khoroshilov, V Mutilin, E Novikov, P Shved, A Strakh
Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012
282012
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions: (Competition Contribution)
P Andrianov, K Friedberger, M Mandrykin, V Mutilin, A Volkov
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
272017
Analysis of typical faults in Linux operating system drivers
VS Mutilin, EM Novikov, AV Khoroshilov
Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2012
242012
Анализ типовых ошибок в драйверах операционной системы Linux
ВС Мутилин, ЕМ Новиков, АВ Хорошилов
Труды Института системного программирования РАН 22, 349-374, 2012
232012
Верификация и анализ вариабельных операционных систем
ВВ Кулямин, ЕМ Лаврищева, ВС Мутилин, АК Петренко
Труды Института системного программирования РАН 28 (3), 189-208, 2016
222016
Using Linux device drivers for static verification tools benchmarking
MU Mandrykin, VS Mutilin, EM Novikov, AV Khoroshilov, PE Shved
Programming and Computer Software 38, 245-256, 2012
202012
On-the-fly decomposition of specifications in software model checking
S Apel, D Beyer, V Mordan, V Mutilin, A Stahlbauer
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
192016
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
182011
Архитектура Linux Driver Verification
ВС Мутилин, ЕМ Новиков, АВ Страх, АВ Хорошилов, ПЕ Швед
Труды Института системного программирования РАН 20, 163-187, 2011
182011
Verification and analysis of variable operating systems
VV Kulyamin, EM Lavrischeva, VS Mutilin, AK Petrenko
Proceedings of the Institute for System Programming of the RAS 28 (3), 189-208, 2016
162016
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
132015
Введение в метод CEGAR — уточнение абстракции по контрпримерам
МУ Мандрыкин, ВС Мутилин, АВ Хорошилов
Труды Института системного программирования 24, 219-292, 2013
132013
Predicate abstraction based configurable method for data race detection in Linux kernel
P Andrianov, V Mutilin, A Khoroshilov
Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018
122018
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
122015
Конфигурируемая система статической верификации модулей ядра операционных систем
ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ...
Труды Института системного программирования РАН 26 (2), 5-42, 2014
102014
How to cook an automated system for Linux driver verification
A Khoroshilov, V Mutilin, V Shcherbina, O Strikov, S Vinogradov, ...
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2008
102008
Конфигурируемая система статической верификации модулей ядра операционных систем
ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ...
Программирование, 44-67, 2015
82015
The system can't perform the operation now. Try again later.
Articles 1–20