Concurrent Testing of Java Components Using Java PathFinder. - Vadim S. Mutilin (ISoLA, 2006)

Establishing Linux Driver Verification Process. - Alexey V. Khoroshilov; Vadim S. Mutilin; Alexander K. Petrenko; Vladimir Zakharov (Ershov Memorial Conference, 2009)

Multithreaded testing of program interfaces. - Vadim S. Mutilin (Program. Comput. Softw., 2009)

Towards an Open Framework for C Verification Tools Benchmarking. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Pavel Shved; Alexander Strakh (Ershov Memorial Conference, 2011)

Predicate Analysis with BLAST 2.7 - (Competition Contribution). - Pavel Shved; Mikhail U. Mandrykin; Vadim S. Mutilin (TACAS, 2012)

Using linux device drivers for static verification tools benchmarking. - Mikhail U. Mandrykin; Vadim S. Mutilin; Evgeny Novikov; Alexey V. Khoroshilov; Pavel Shved (Program. Comput. Softw., 2012)

Experience of improving the blast static verification tool. - Pavel Shved; Vadim S. Mutilin; Mikhail U. Mandrykin (Program. Comput. Softw., 2012)

Modeling Environment for Static Verification of Linux Kernel Modules. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Ilja S. Zakharov (Ershov Memorial Conference, 2014)

Pattern-based environment modeling for static verification of Linux kernel modules. - Ilja S. Zakharov; Vadim S. Mutilin; Alexey V. Khoroshilov (Program. Comput. Softw., 2015)

Configurable toolset for static verification of operating systems kernel modules. - Ilja S. Zakharov; Mikhail U. Mandrykin; Vadim S. Mutilin; Evgeny Novikov; Alexander K. Petrenko; Alexey V. Khoroshilov (Program. Comput. Softw., 2015)

On-the-fly decomposition of specifications in software model checking. - Sven Apel; Dirk Beyer 001; Vitaly O. Mordan; Vadim S. Mutilin; Andreas Stahlbauer (SIGSOFT FSE, 2016)

Checking several requirements at once by CEGAR. - Vitaly O. Mordan; Vadim S. Mutilin (Program. Comput. Softw., 2016)

CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution). - Pavel S. Andrianov; Karlheinz Friedberger; Mikhail U. Mandrykin; Vadim S. Mutilin; Anton Volkov (TACAS (2), 2017)

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). - Pavel S. Andrianov; Vadim S. Mutilin; Mikhail U. Mandrykin; Anton A. Vasilyev (TACAS (2), 2018)

Scalable Thread-Modular Approach for Data Race Detection. - Pavel S. Andrianov; Vadim S. Mutilin (FISEE, 2019)

Data Race Detection in the Linux Kernel with CPALockator. - Pavel Sergeevich Andrianov; Vadim Sergeevich Mutilin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020)

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness. - Anton A. Vasilyev; Vadim S. Mutilin (Program. Comput. Softw., 2020)

cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution). - Pavel S. Andrianov; Vadim S. Mutilin; Alexey V. Khoroshilov (TACAS (2), 2021)

Detecting Data Races in Language Virtual Machines with RaceHunter. Lessons Learned. - Pavel S. Andrianov; Vadim S. Mutilin; Evgeny Gerlits (SIGSOFT FSE Companion, 2025)