|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
1. |
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
|
2. |
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 |
3. |
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 |
4. |
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 |
5. |
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 |
1
|
|
2020 |
6. |
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 |
7. |
S. M. Staroletov, “A formal model of a partitioned real-time operating system in Promela”, Proceedings of ISP RAS, 32:6 (2020), 49–66 |
2
|
|
2019 |
8. |
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 |
3
|
|
2018 |
9. |
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
|
10. |
Sergey Staroletov, “Towards the methods of analysis malicious applications for Android operating system”, Proceedings of ISP RAS, 30:1 (2018), 55–68 |
|
2008 |
11. |
S. M. Staroletov, “Конечный автомат с вероятностными переходами как модель распределeнной программной системы”, Matem. Mod. Kraev. Zadachi, 4 (2008), 129–131 |
|
Presentations in Math-Net.Ru |
|
|
Organisations |
|
|
|
|