Petrenko Alexander Konstantinovich

Publications in Math-Net.Ru

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


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