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)

Analysis of Correct Synchronization of Operating System Components. - Pavel S. Andrianov (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)