|
|
|
Publications in Math-Net.Ru |
Citations |
|
2025 |
| 1. |
D. P. Potapov, S. M. Staroletov, “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. |
A. N. Gulin, S. M. Staroletov, “Using software-defined performance counters to construct a GPU power consumption model”, Proceedings of ISP RAS, 37:4(2) (2025), 17–30 |
| 3. |
D. A. Kondrat'ev, S. M. Staroletov, I. V. Shoshmina, A. V. Krasnenkova, K. V. Ziborov, N. V. Shilov, N. O. Garanina, T. Yu. Cherganov, “VeHa-2024 formal verification contest: two years of experience and prospects”, Proceedings of ISP RAS, 37:1 (2025), 159–184 |
|
2024 |
| 4. |
N. O. Garanina, S. M. Staroletov, V. E. Zyubin, I. S. Anureev, “Model checking programs in process-oriented IEC 61131-3 Structured Text”, Model. Anal. Inform. Sist., 31:1 (2024), 32–53 |
1
|
| 5. |
S. M. Staroletov, D. A. Kondrat'ev, N. O. Garanina, I. V. Shoshmina, “VeHa-2023 formal verification contest: the experience”, Proceedings of ISP RAS, 36:2 (2024), 141–168 |
| 6. |
N. A. Starovoytov, S. M. Staroletov, “Exploring the taxonomy of commits in cyber-physical systems for enhanced error fixes investigation”, Proceedings of ISP RAS, 36:2 (2024), 33–46 |
|
2023 |
| 7. |
A. A. Zavyalov, S. M. Staroletov, “Flovver: a graphical functional language with a compiler focused on recursion optimization”, Computing, Telecommunication and Control, 16:1 (2023), 46–59 |
| 8. |
S. M. Staroletov, N. A. Starovoytov, N. A. Golovnev, “Analyzing hot bugs in the Linux kernel by clustering fixing commit messages”, Proceedings of ISP RAS, 35:3 (2023), 215–242 |
3
|
|
2020 |
| 9. |
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch, “Temporal logic for programmable logic controllers”, Model. Anal. Inform. Sist., 27:4 (2020), 412–427  |
| 10. |
S. M. Staroletov, “A formal model of a partitioned real-time operating system in Promela”, Proceedings of ISP RAS, 32:6 (2020), 49–66 |
5
|
|
2019 |
| 11. |
S. M. Staroletov, M. S. Amosov, K. M. Shulga, “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 |
4
|
|
2018 |
| 12. |
T. Baar, S. Staroletov, “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 |
1
|
| 13. |
Sergey Staroletov, “Towards the methods of analysis malicious applications for Android operating system”, Proceedings of ISP RAS, 30:1 (2018), 55–68 |
|
2008 |
| 14. |
S. M. Staroletov, “Конечный автомат с вероятностными переходами как модель распределeнной программной системы”, Matem. Mod. Kraev. Zadachi, 4 (2008), 129–131 |
|
| Presentations in Math-Net.Ru |
|
|
| Organisations |
|
|
