Vadim S. Mutilin

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