Vadim S. Mutilin

According to our database, Vadim S. Mutilin authored at least 18 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

cpalockator: Thread-Modular Analysis with Projections - (Competition Contribution).

Pavel S. Andrianov, Vadim S. Mutilin, Alexey V. Khoroshilov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness.

Anton A. Vasilyev, Vadim S. Mutilin

Program. Comput. Softw., 2020

Data Race Detection in the Linux Kernel with CPALockator.

Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

2019

Scalable Thread-Modular Approach for Data Race Detection.

Pavel S. Andrianov, Vadim S. Mutilin

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Checking several requirements at once by CEGAR.

Vitaly O. Mordan, Vadim S. Mutilin

Program. Comput. Softw., 2016

On-the-fly decomposition of specifications in software model checking.

Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

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

Pattern-based environment modeling for static verification of Linux kernel modules.

Ilja S. Zakharov, Vadim S. Mutilin, Alexey V. Khoroshilov

Program. Comput. Softw., 2015

2014

Modeling Environment for Static Verification of Linux Kernel Modules.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Ilja S. Zakharov

Proceedings of the Perspectives of System Informatics, 2014

2012

Experience of improving the blast static verification tool.

Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin

Program. Comput. Softw., 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

Predicate Analysis with BLAST 2.7 - (Competition Contribution).

Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Towards an Open Framework for C Verification Tools Benchmarking.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Multithreaded testing of program interfaces.

Vadim S. Mutilin

Program. Comput. Softw., 2009

Establishing Linux Driver Verification Process.

Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov

Proceedings of the Perspectives of Systems Informatics, 2009

2006

Concurrent Testing of Java Components Using Java PathFinder.

Vadim S. Mutilin

Proceedings of the Leveraging Applications of Formal Methods, 2006