Petrenko Alexander Konstantinovich

Publications in Math-Net.Ru

1. Overview of hardening mechanisms in operating systems and user applications
   
   Proceedings of ISP RAS, 37:3 (2025),  325–354
2. Methods of runtime verification of industrial information security tools based on formal access control models.
   
   Proceedings of ISP RAS, 37:3 (2025),  277–290
3. Software security by design
   
   Proceedings of ISP RAS, 36:5 (2024),  7–16
4. Modeling of operational, software and technical systems in rfbr projects
   
   Proceedings of ISP RAS, 33:6 (2021),  265–280
5. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
6. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
7. Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system
   
   Proceedings of ISP RAS, 32:1 (2020),  7–26
8. Component-based verification of operating systems
   
   Proceedings of ISP RAS, 30:6 (2018),  367–382
9. On representation of simulation time in functional programming style
   
   Proceedings of ISP RAS, 30:6 (2018),  341–366
10. Informatics: Formation of computer software and technologies of software systems
    
    Proceedings of ISP RAS, 30:5 (2018),  7–30
11. Software product lines modeling
    
    Proceedings of ISP RAS, 28:6 (2016),  49–64
12. Verification and analysis of variable operating systems
    
    Proceedings of ISP RAS, 28:3 (2016),  189–208
13. Integration points of operating system verification techniques
    
    Proceedings of ISP RAS, 27:5 (2015),  175–190


14. Foreword
    
    Proceedings of ISP RAS, 27:3 (2015),  7–8