| Basics of Software Testing and Verification [in Russian]. Textbook S Staroletov Lanbook, 2018 | 43* | 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 | 23 | 2019 |
| 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 | 21 | 2021 |
| 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 | 20 | 2018 |
| 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 | 17* | 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 | 11 | 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 | 9 | 2019 |
| A temporal requirements language for deductive verification of process-oriented programs I Chernenko, IS Anureev, NO Garanina, SM Staroletov 2022 IEEE 23rd International Conference of Young Professionals in Electron …, 2022 | 8 | 2022 |
| A Formal Model of a Partitioned Real-Time Operating System in Promela S Staroletov Proceedings of ISP RAS 32 (6), 49-66, 2021 | 7 | 2021 |
| 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 | 7* | 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 | 7 | 2017 |
| A survey of most common errors in Linux Kernel S Staroletov 11th Spring/Summer Young Researchers Colloquium on Software Engineering …, 2017 | 7* | 2017 |
| Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages S Staroletov, N Starovoytov, N Golovnev Proceedings of the Institute for System Programming of RAS 35 (3), 215-242, 2023 | 6 | 2023 |
| Testing Methods for Blockchain Applications S Staroletov, R Galkin International Conference on High-Performance Computing Systems and …, 2021 | 6* | 2021 |
| Developing distributed control software with the reflex language: Bottle-filling system case study IS Anureev, VE Zyubin, NO Garanina, SM Staroletov 2022 International Russian Automation Conference (RusAutoCon), 683-688, 2022 | 5 | 2022 |
| 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 | 5 | 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 | 5 | 2022 |
| 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 |
