Petrenko Alexander Konstantinovich

Publications in Math-Net.Ru

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


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