Pavel S. Andrianov

According to our database, Pavel S. Andrianov authored at least 6 papers between 2017 and 2021.

Collaborative distances:

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

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

Analysis of Correct Synchronization of Operating System Components.

Pavel S. Andrianov

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