| Basics of Software Testing and Verification [in Russian]. Textbook S Staroletov Lanbook, 2018 | 41* | 2018 |
| Model-Driven Methods to Design Reliable Multiagent Cyber-Physical Systems S Staroletov, N Shilov, V Zyubin, T Liakh, A Rozov, I Konyukhov, I Shilov, ... Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and …, 2019 | 20 | 2019 |
| A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier T Baar, SM Staroletov Modeling and Analysis of Information Systems 25 (5), 465-480, 2018 | 19 | 2018 |
| Event-driven temporal logic pattern for control software requirements specification V Zyubin, I Anureev, N Garanina, S Staroletov, A Rozov, T Liakh Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021 | 17 | 2021 |
| A temporal logic for programmable logic controllers NO Garanina, IS Anureev, VE Zyubin, SM Staroletov, TV Liakh, AS Rozov, ... Automatic Control and Computer Sciences 55 (7), 763-775, 2021 | 11* | 2021 |
| A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model S Staroletov, A Dubko System Informatics, 13-44, 2019 | 11 | 2019 |
| Тестирование распределенных приложений на основе построения моделей СМ Старолетов, ЕН Крючкова Прикладная информатика, 124-134, 2008 | 10 | 2008 |
| Automatic proving of stability of the cyber-physical systems in the sense of Lyapunov with KeYmaera S Staroletov 2021 28th Conference of Open Innovations Association (FRUCT), 431-438, 2021 | 9 | 2021 |
| Applying model checking approach with floating point arithmetic for verification of air collision avoidance maneuver hybrid model S Staroletov, N Shilov Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019 | 8 | 2019 |
| Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques S Staroletov, M Amosov, K Shulga Proceedings of ISP RAS 31 (4), 39-60, 2019 | 6* | 2019 |
| An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach D Lozhkina, S Staroletov Preliminary Proceedings of the 11th Spring/Summer Young Researchers …, 2017 | 6 | 2017 |
| A survey of most common errors in Linux Kernel S Staroletov 11th Spring/Summer Young Researchers Colloquium on Software Engineering …, 2017 | 6* | 2017 |
| Modeling the anti-lock braking system in Scilab and its checking for compliance with uniform requirements S Staroletov Proceedings of the 7th International Conference on Industrial Engineering …, 2022 | 5 | 2022 |
| Testing Methods for Blockchain Applications S Staroletov, R Galkin International Conference on High-Performance Computing Systems and …, 2021 | 5* | 2021 |
| Model checking games and a genome sequence search SM Staroletov Journal of Physics: Conference Series 1679 (3), 032020, 2020 | 5 | 2020 |
| Semantic classification of event driven temporal logic requirements AN Getmanova, NO Garanina, SM Staroletov, VE Zyubin, IS Anureev 2022 IEEE 23rd International Conference of Young Professionals in Electron …, 2022 | 4 | 2022 |
| Software architecture for an intelligent firewall based on Linux Netfilter S Staroletov 2022 25th Conference on Innovation in Clouds, Internet and Networks (ICIN …, 2022 | 4 | 2022 |
| Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software AA Ponomarenko, NO Garanina, SM Staroletov, VE Zyubin 2021 IEEE 22nd International Conference of Young Professionals in Electron …, 2021 | 4 | 2021 |
| A hierarchical temporal memory model in the sense of Hawkins S Staroletov 2021 IEEE Ural-Siberian Conference on Computational Technologies in …, 2021 | 4 | 2021 |
| A Formal Model of a Partitioned Real-Time Operating System in Promela S Staroletov Proceedings of ISP RAS 32 (6), 49-66, 2021 | 4 | 2021 |
