Vadim S. Mutilin

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 10

Top Topics

Dependency Analysis

Finer Granularity

Operating System

Temporal Properties

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Publications

Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov
cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). TACAS (2) (2021)
Anton A. Vasilyev, Vadim S. Mutilin
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness. Program. Comput. Softw. 46 (8) (2020)
Pavel S. Andrianov, Vadim S. Mutilin
Scalable Thread-Modular Approach for Data Race Detection. FISEE (2019)
Pavel S. Andrianov, Vadim S. Mutilin, Mikhail U. Mandrykin, Anton A. Vasilyev
CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). TACAS (2) (2018)
Pavel S. Andrianov, Karlheinz Friedberger, Mikhail U. Mandrykin, Vadim S. Mutilin, Anton Volkov
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). TACAS (2) (2017)
Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer
On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE (2016)
Vitaly O. Mordan, Vadim S. Mutilin
Checking several requirements at once by CEGAR. Program. Comput. Softw. 42 (4) (2016)
Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov
Pattern-based environment modeling for static verification of Linux kernel modules. Program. Comput. Softw. 41 (3) (2015)
Vitaly O. Mordan, Vadim S. Mutilin
Checking Several Requirements at once by CEGAR. Ershov Memorial Conference (2015)
Ilja S. Zakharov, Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov
Configurable toolset for static verification of operating systems kernel modules. Program. Comput. Softw. 41 (1) (2015)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov
Modeling Environment for Static Verification of Linux Kernel Modules. Ershov Memorial Conference (2014)
Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin
Predicate Analysis with BLAST 2.7 - (Competition Contribution). TACAS (2012)
Mikhail U. Mandrykin, Vadim S. Mutilin, Evgeny Novikov, Alexey V. Khoroshilov, Pavel Shved
Using linux device drivers for static verification tools benchmarking. Program. Comput. Softw. 38 (5) (2012)
Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin
Experience of improving the blast static verification tool. Program. Comput. Softw. 38 (3) (2012)
Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh
Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference (2011)
Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov
Establishing Linux Driver Verification Process. Ershov Memorial Conference (2009)
Vadim S. Mutilin
Multithreaded testing of program interfaces. Program. Comput. Softw. 35 (6) (2009)
Vadim S. Mutilin
Concurrent Testing of Java Components Using Java PathFinder. ISoLA (2006)