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