Staroletov Sergei Mikhailovich

Publications in Math-Net.Ru

1. A distributed framework for large-scale data analysis using bio-inspired sensory-motor algorithms
   
   Proceedings of ISP RAS, 37:4(2) (2025),  103–116
2. Using software-defined performance counters to construct a GPU power consumption model
   
   Proceedings of ISP RAS, 37:4(2) (2025),  17–30
3. VeHa-2024 formal verification contest: two years of experience and prospects
   
   Proceedings of ISP RAS, 37:1 (2025),  159–184
4. Model checking programs in process-oriented IEC 61131-3 Structured Text
   
   Model. Anal. Inform. Sist., 31:1 (2024),  32–53
5. VeHa-2023 formal verification contest: the experience
   
   Proceedings of ISP RAS, 36:2 (2024),  141–168
6. Exploring the taxonomy of commits in cyber-physical systems for enhanced error fixes investigation
   
   Proceedings of ISP RAS, 36:2 (2024),  33–46
7. Flovver: a graphical functional language with a compiler focused on recursion optimization
   
   Computing, Telecommunication and Control, 16:1 (2023),  46–59
8. Analyzing hot bugs in the Linux kernel by clustering fixing commit messages
   
   Proceedings of ISP RAS, 35:3 (2023),  215–242
9. Temporal logic for programmable logic controllers
   
   Model. Anal. Inform. Sist., 27:4 (2020),  412–427
10. A formal model of a partitioned real-time operating system in Promela
    
    Proceedings of ISP RAS, 32:6 (2020),  49–66
11. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
    
    Proceedings of ISP RAS, 31:4 (2019),  39–60
12. A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
    
    Model. Anal. Inform. Sist., 25:5 (2018),  465–480
13. Towards the methods of analysis malicious applications for Android operating system
    
    Proceedings of ISP RAS, 30:1 (2018),  55–68
14. Конечный автомат с вероятностными переходами как модель распределeнной программной системы
    
    Matem. Mod. Kraev. Zadachi, 4 (2008),  129–131