| 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 |
| Establishing Linux driver verification process A Khoroshilov, V Mutilin, A Petrenko, V Zakharov Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 55 | 2010 |
| 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 | 45 | 2012 |
| 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 | 30 | 2017 |
| 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 | 28 | 2012 |
| 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 | 24 | 2012 |
| Анализ типовых ошибок в драйверах операционной системы Linux ВС Мутилин, ЕМ Новиков, АВ Хорошилов Труды Института системного программирования РАН 22, 349-374, 2012 | 24 | 2012 |
| Верификация и анализ вариабельных операционных систем ВВ Кулямин, ЕМ Лаврищева, ВС Мутилин, АК Петренко Труды Института системного программирования РАН 28 (3), 189-208, 2016 | 22 | 2016 |
| 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 | 20 | 2012 |
| 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 | 19 | 2016 |
| Архитектура Linux Driver Verification ВС Мутилин, ЕМ Новиков, АВ Страх, АВ Хорошилов, ПЕ Швед Труды Института системного программирования РАН 20, 163-187, 2011 | 18 | 2011 |
| 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 | 17 | 2011 |
| 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 | 16 | 2016 |
| 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 |
| 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 | 12 | 2018 |
| 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 |
| Введение в метод CEGAR — уточнение абстракции по контрпримерам МУ Мандрыкин, ВС Мутилин, АВ Хорошилов Труды Института системного программирования 24, 219-292, 2013 | 12 | 2013 |
| 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 | 10 | 2008 |
| Конфигурируемая система статической верификации модулей ядра операционных систем ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ... Труды Института системного программирования РАН 26 (2), 5-42, 2014 | 9 | 2014 |
| Конфигурируемая система статической верификации модулей ядра операционных систем ИС Захаров, МУ Мандрыкин, ВС Мутилин, ЕМ Новиков, АК Петренко, ... Программирование, 44-67, 2015 | 8 | 2015 |
