Mutilin Vadim Sergeyevich

Publications in Math-Net.Ru

1. Bounding thread switches in dynamic analysis of multithreaded programs
   
   Proceedings of ISP RAS, 37:6(3) (2025),  133–148
2. Towards a test automation framework for data race testing
   
   Proceedings of ISP RAS, 37:1 (2025),  107–120
3. Predicate extension of symbolic memory graphs for analysis of memory safety correctness
   
   Proceedings of ISP RAS, 31:6 (2019),  7–20
4. Modeling of application and information systems from ready-made Internet service resources
   
   Proceedings of ISP RAS, 31:1 (2019),  7–24
5. Designing variability models for software, operating systems and their families
   
   Proceedings of ISP RAS, 29:5 (2017),  93–110
6. Static verification of Linux kernel configurations
   
   Proceedings of ISP RAS, 29:4 (2017),  217–230
7. Survey of memory modeling methods in static verification tools
   
   Proceedings of ISP RAS, 29:1 (2017),  195–230
8. Adjustable method with predicate abstraction for detection of race conditions in operating systems
   
   Proceedings of ISP RAS, 28:6 (2016),  65–86
9. Verification and analysis of variable operating systems
   
   Proceedings of ISP RAS, 28:3 (2016),  189–208
10. Modeling memory with uninterpreted functions for predicate abstractions
    
    Proceedings of ISP RAS, 27:5 (2015),  117–142
11. Lightweight static analysis for data race detection in operating system kernels
    
    Proceedings of ISP RAS, 27:5 (2015),  87–116