|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
D. P. Potapov, S. M. Staroletov, “A distributed framework for large-scale data analysis using bio-inspired sensory-motor algorithms”, Труды ИСП РАН, 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”, Труды ИСП РАН, 37:4(2) (2025), 17–30 |
| 3. |
Д. А. Кондратьев, С. М. Старолетов, И. В. Шошмина, А. В. Красненкова, К. В. Зиборов, Н. В. Шилов, Н. О. Гаранина, Т. Ю. Черганов, “Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы”, Труды ИСП РАН, 37:1 (2025), 159–184 |
|
2024 |
| 4. |
Н. О. Гаранина, С. М. Старолетов, В. Е. Зюбин, И. С. Ануреев, “Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3”, Модел. и анализ информ. систем, 31:1 (2024), 32–53 |
1
|
| 5. |
С. М. Старолетов, Д. А. Кондратьев, Н. О. Гаранина, И. В. Шошмина, “Соревнования по формальной верификации VeHa-2023: опыт проведения”, Труды ИСП РАН, 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”, Труды ИСП РАН, 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”, Информатика, телекоммуникации и управление, 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”, Труды ИСП РАН, 35:3 (2023), 215–242 |
3
|
|
2020 |
| 9. |
Н. О. Гаранина, И. С. Ануреев, В. Е. Зюбин, С. М. Старолетов, Т. В. Лях, А. С. Розов, С. П. Горлач, “Темпоральная логика для программируемых логических контроллеров”, Модел. и анализ информ. систем, 27:4 (2020), 412–427  |
| 10. |
S. M. Staroletov, “A formal model of a partitioned real-time operating system in Promela”, Труды ИСП РАН, 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”, Труды ИСП РАН, 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”, Модел. и анализ информ. систем, 25:5 (2018), 465–480 |
1
|
| 13. |
Sergey Staroletov, “Towards the methods of analysis malicious applications for Android operating system”, Труды ИСП РАН, 30:1 (2018), 55–68 |
|
2008 |
| 14. |
С. М. Старолетов, “Конечный автомат с вероятностными переходами как модель распределeнной программной системы”, Матем. моделирование и краев. задачи, 4 (2008), 129–131 |
|
Обратная связь: