Andrianov Pavel Sergeyevich

Publications in Math-Net.Ru

1. Predicate abstraction refinement in thread-modular analysis
   
   Proceedings of ISP RAS, 35:3 (2023),  187–204
2. Analysis of correct synchronization of operating system components
   
   Proceedings of ISP RAS, 31:5 (2019),  203–232
3. Adjustable method with predicate abstraction for detection of race conditions in operating systems
   
   Proceedings of ISP RAS, 28:6 (2016),  65–86
4. Lightweight static analysis for data race detection in operating system kernels
   
   Proceedings of ISP RAS, 27:5 (2015),  87–116