ruenmonch
AAAТема белого цветаТема черного цвета
Логотип АлтГТУАлтайский государственный технический университет им. И.И. Ползунова
Кафедра «Прикладная математика»
Старолетов Сергей Михайлович Старолетов Сергей Михайлович ДОЦЕНТ кандидат физико-математических наук
Подразделение Должность
Кафедра «Прикладная математика» доцент

Образование: АлтГТУ, инженер по специальности “Программное обеспечение вычислительной техники и автоматизированных систем”, 2006

В 2011г защитил кандидатскую диссертацию на кандидата физико-математических наук
по теме «Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей»
специальность 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
в совете ИСИ СО РАН (Академгородок, Новосибирск)

Повышение квалификации:

  • «Менеджмент технико-внедренческой деятельности», 72ч, ВШБ ТГУ, 2008
  • Летняя школа «Высокопроизводительные и параллельные вычисления в научных исследованиях», Microsoft совместно с МГУ, 2009
  • “Современные технологии программирования”, Intel совместно с НГУ, 2010
  • Летняя школа «Суперкомпьютерное моделирование и визуализация в научных исследованиях», МГУ, 2010
  • Летняя школа «Microsoft Research Russian Summer School on Concurrency and Parallelism in Software»,в СПб НИУ ИТМО, 2012


Научные интересы

  • Параллельное и многопоточное программирование
  • Верификация и тестирование с применением моделей
  • Архитектура программного обеспечения
  • Новые направления в исскуственном интеллекте

Подробную информцию  о стаже и повышении квалификации профессорско-преподавательского состава АлтГТУ вы можете найти на странице раздела «Сведения об образовательной организации».

Основные научные труды

  1. Старолетов С.М., Совместное применение методов Model driven developing и Model based checking / Инструменты и методы анализа программ. Tools & Methods of Program Analysis TMPA-2014: материалы Международной науч.-практ. конф.- Кострома: Изд-во Костромского гос. технол. ун-та, 2014. - с. 215-220. ISBN 975-5-8285-0719-1.
    Подробнее ››

Публикации из АИС Наука

  1. [ВАК] Кондратьев Д.А., Старолетов С.М., Шошмина И.В., Красненкова А.В., Зиборов К.В., Шилов Н.В., Гаранина Н.О., Черганов Т.Ю. Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспектив. - ИСП РАН. - 2025. - № 37. - С. 159-184. - DOI: 10.15514/ISPRAS-2025-37(1)-10. - URL: https://www.ispras.ru/proceedings/isp_37_2025_1/isp_37_2025_1_159/
  2. [ВАК] Старовойтов Н.А., Старолетов С.М. Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них (Exploring the taxonomy of commits in cyber-physical systems for enhanced error fixes investigation). - ИСП РАН. - 2024. - № 36. - С. 33-46. - DOI: 10.15514/ISPRAS-2024-36(2)-3. - URL: https://www.ispras.ru/proceedings/docs/2024/36/2/isp_36_2024_2_33.pdf
  3. [Scopus] Старолетов С.М. Revealing Patterns for Programs in Graphical Visual Languages Using Clustering // 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). - IEEE. - 2024. - С. 355-365. - DOI: 10.1109/SIBIRCON63777.2024.10758441. - URL: https://ieeexplore.ieee.org/document/10758441
  4. [Scopus] Старолетов С.М. Towards Model Checking Linux Interrupts Behavior for SMP Systems // ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА. - IEEE. - 2024. - С. 150-156. - DOI: 10.1109/ISPRAS60948.2023.10508158. - URL: https://ieeexplore.ieee.org/document/10508158
  5. Старовойтов Н.А., Старолетов С.М. Exploring the Taxonomy of Commits in Cyber-Physical Systems for Enhanced Error Fixes Investigation // SYRCoSE Software Engineering Colloquium. - ИСП РАН. - 2024. - С. 1-8. - URL: http://syrcose.ispras.ru/2024/submissions/SYRCoSE_2024_paper_25_37.pdf
  6. [ВАК] Старолетов С.М., Кондратьев Д.А., Шошмина И.В., Гаранина Н.О. Соревнования по формальной верификации VeHa-2023: опыт проведения. - ИСП РАН. - 2024. - № 36. - С. 141-168. - DOI: 10.15514/ISPRAS-2024-36(2)-11. - URL: https://www.ispras.ru/proceedings/isp_36_2024_2/isp_36_2024_2_141/
  7. [РИНЦ] Гроссу Е.С., Дружинин А.Ю., Орлов Д.С., Старолетов С.М. Анализ средства формальной верификации систем с использованием требований логики CTL по Кларку // III Всероссийская научно-практическая конференция "Современные цифровые технологии". - АлтГТУ. - 2024. - С. 208-211. - URL: https://elibrary.ru/item.asp?id=68573383
  8. [РИНЦ] Потапов Д.П., Старолетов С.М. Проектирование многоуровневой распределенной системы анализа биоподобными сенсорно-моторными алгоритмами // Современные цифровые технологии. - АлтГТУ. - 2024. - С. 194-198. - URL: https://elibrary.ru/item.asp?id=68573379
  9. Старолетов С.М., Головнев Н.А., Старовойтов Н.А. Towards Methods to Automatically Identify the Most Common Errors in Linux by Analyzing Git Commit Messages // SYRCoSE Software Engineering Colloquium. - ИСП РАН. - 2023. - URL: http://syrcose.ispras.ru/2023/submissions/SYRCoSE_2023_paper_9521.pdf
  10. [ВАК] Старолетов С.М., Завьялов, А.А. Flovver: A graphical functional language with a compiler focused on recursion optimization. - Peter the Great St. Petersburg Polytechnic University. - 2023. - № 16. - С. 46-59. - DOI: 10.18721/JCSTCS.16104. - URL: https://infocom.spbstu.ru/en/article/2023.76.4/
  11. [ВАК] Старолетов С.М., Старовойтов Н.А., Головнев Н.А. Analyzing hot bugs in the Linux kernel by clustering fixing commit messages. - ИСП РАН (Москва). - 2023. - № 35. - DOI: 10.15514/ISPRAS-2023-35(3)-16. - URL: https://www.ispras.ru/proceedings/isp_35_2023_3/isp_35_2023_3_215/
  12. [РИНЦ] Старолетов С.М. Teaching the Discipline “Software Testing and Verification” to Future Programmers. - System Informatics (ИСИ СО РАН). - 2023. - С. 1-28. - DOI: 10.31144/SI.2307-6410.2022.N21.P1-28. - URL: https://www.elibrary.ru/item.asp?id=53116438
  13. [РИНЦ] Кодиров Ф.М., Старолетов С.М. К разработке языка вероятностного программирования для моделирования и проверки распределенных взаимодействующих систем // Молодежь и современные информационные технологии. - ТПУ. - 2023. - С. 108-110. - URL: https://www.elibrary.ru/item.asp?id=54618100
  14. [РИНЦ] Старолетов С.М., Теников К.А. Разработка системы определения аномалий в автомобильных данных в реальном времени // Молодежь и современные информационные технологии. - ТПУ. - 2022. - С. 247-248. - URL: https://elibrary.ru/item.asp?id=48595480
  15. [РИНЦ] Старолетов С.М., Чудов Р.C. An anomaly detection and network filtering system for Linux based on Kohonen maps and variable-order Markov chains. - FRUCT Oy . - 2022. - С. 280-290. - URL: https://www.elibrary.ru/item.asp?id=49767104
  16. [РИНЦ] Старолетов С.М., Миллер О.В. Сравнительный анализ детектирования сетевых аномалий при помощи глубинной нейронной сети и модели, основанной на свойствах самоподобия сетевого трафика // I Всероссийская научно-практическая конференция "Современные цифровые технологии". - © Алтайский государственный технический университет им. И. И. Ползунова. - 2022. - С. 119-122. - URL: https://elibrary.ru/item.asp?id=49716433&pff=1
  17. [Scopus] Старолетов С.М. Software Architecture for an Open-Source Tool to Test DVB-T2 Networks Based on Linux TV, Kaffeine, and RTL-SDR // 2021 29th Telecommunications Forum (TELFOR). - IEEE Serbia. - 2022. - № 29. - DOI: 10.1109/TELFOR52709.2021.9653329. - URL: https://ieeexplore.ieee.org/document/9653329
  18. [Scopus] Старолетов С.М. Towards Modeling and Verification of Eurobalise Telegram Encoding Algorithm // Transport Infrastructure: Territory Development and Sustainability. - Elsevier. - 2022. - № 61. - С. 447-454. - DOI: 10.1016/j.trpro.2022.01.073. - URL: https://www.sciencedirect.com/science/article/pii/S2352146522000801
  19. [РИНЦ] Старолетов С.М. Обзор современного состояния кортикальных алгоритмов и их применение для анализа сигналов в реальном времени. - Системный администратор (Москва). - 2022. - С. 82-87. - URL: https://elibrary.ru/item.asp?id=50021376
  20. [Scopus] Старолетов С.М., Galkin, R. Testing Methods for Blockchain Applications. - Springer Nature Switzerland AG. - 2022. - С. 401-418. - DOI: 10.1007/978-3-030-94141-3_32. - URL: https://link.springer.com/chapter/10.1007/978-3-030-94141-3_32
  21. [Scopus] Старолетов С.М. Modeling the Anti-Lock Braking System in Scilab and Its Checking for Compliance with Uniform Requirements. - Springer. - 2022. - С. 413-424. - DOI: 10.1007/978-3-030-85230-6_48. - URL: https://link.springer.com/chapter/10.1007%2F978-3-030-85230-6_48
  22. [РИНЦ] Старолетов С.М., Черемнов Н.А. Применение концепции памяти-предсказания для анализа музыкальных сигналов // Молодежь и современные информационные технологии. - ТПУ. - 2022. - С. 57-59. - URL: https://elibrary.ru/item.asp?id=48595401
  23. [РИНЦ] Старолетов С.М., Галкин Р.Е. О методах тестирования блокчейн-приложений. - издательство АГУ. - 2021. - № 5. - С. 98-106. - URL: https://elibrary.ru/item.asp?id=46592622
  24. [РИНЦ] Старолетов С.М., Бачище О.И., Шушаков Д.С. On recursive methods to solve the timesaver railway shunting puzzle // Молодежь и современные информационные технологии. - Издательство Томского политехнического университета. - 2021. - С. 323-325. - URL: https://www.elibrary.ru/item.asp?id=46394893
  25. [Scopus] Старолетов С.М. Developing automata-based control software for water purification and normalization // ICIE: International Conference on Industrial Engineering. - IEEE. - 2021. - DOI: 10.1109/ICIEAM51226.2021.9446349. - URL: https://ieeexplore.ieee.org/document/9446349
  26. [Scopus] Старолетов С.М. Work-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot // IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). - IEEE Computer Society. - 2021. - DOI: 10.1109/RTCSA52859.2021.00034. - URL: https://ieeexplore.ieee.org/document/9545270
  27. [Scopus] Старолетов С.М., Laptev M.A., Nekrasov D.V. Development and Testing of Algorithms for Vehicle Type Recognition and Car Tracking with Photo and Video Traffic Enforcement Cameras. - Pleiades Publishing, Ltd. - 2021. - № 31. - С. 323-333. - DOI: 10.1134/S1054661821020152. - URL: https://link.springer.com/article/10.1134/S1054661821020152
  28. [Scopus] Старолетов С.М. A Hierarchical Temporal Memory Model in the Sense of Hawkins // 2021 IEEE Ural-Siberian Conference on Computational Technologies in Cognitive Science, Genomics and Biomedicine (CSGB). - IEEE. - 2021. - С. 470-475. - DOI: 10.1109/CSGB53040.2021.9496031. - URL: https://ieeexplore.ieee.org/abstract/document/9496031
  29. Старолетов С.М. Основы тестирования программного обеспечения : учебное пособие для СПО. - Лань. - 2021. - URL: https://e.lanbook.com/book/174990
  30. [Scopus] Старолетов С.М., Garanina, N.O., Anureev, I.S., Zyubin, V.E., Liakh, T.V., Rozov, A.S., Gorlatch, S.P. A Temporal Logic for Programmable Logic Controllers. - Allerton Press, Inc.. - 2021. - № 55. - С. 412-427. - DOI: 10.3103/S0146411621070038. - URL: https://link.springer.com/article/10.3103/S0146411621070038
  31. [Scopus] Старолетов С.М., Schulte, Horst, Baar, Thomas, Konyukhov, Ivan, Shilov, Nikolay, Rozov, Andrei, Liakh, Tatiana, Zyubin, Vladimir Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study // 16th Conference on Computer Science and Intelligence Systems. - IEEE. - 2021. - DOI: 10.15439/2021F98. - URL: https://ieeexplore.ieee.org/abstract/document/9555746
  32. [ВАК] Старолетов С.М. A Formal Model of a Partitioned Real-Time Operating System in Promela. - Институт системного программирования РАН (Москва). - 2020. - № 32. - С. 49-66. - DOI: 10.15514/ISPRAS-2020-32(6)-4. - URL: https://www.elibrary.ru/item.asp?id=44628854
  33. [РИНЦ] Старолетов С.М. Towards safe CPS: requirements for ABS automotive system // Молодежь и современные информационные технологии. - Издательство Томского политехнического университета. - 2020. - С. 252-253. - URL: http://msit.tpu.ru/assets/digestArticles/msit_2020.zip
  34. [РИНЦ] Старолетов С.М. Основы тестирования и верификации программного обеспечения. - Лань. - 2020. - URL: https://www.elibrary.ru/item.asp?id=43879087
  35. [Scopus] Старолетов С.М. Model checking games and a genome sequence search. - IOP Publishing. - 2020. - DOI: 10.1088/1742-6596/1679/3/032020. - URL: https://www.scopus.com/record/display.uri?eid=2-s2.0-85098076055&origin=resultslist&sort=plf-f&src=s&st1=10.1088%2f1742-6596%2f1679%2f3%2f032020&st2=&sid=26c7c3212023595b2d775c4da06cc588&sot=b&sdt=b&sl=36&s=DOI%2810.1088%2f1742-6596%2f1679%2f3%2f032020%29&relpos=0&citeCnt=0&searchTerm=
  36. [РИНЦ] Старолетов С.М., Овсянников В.А. CAN-шина как средство для обнаружения аномалий в данных // XVII Всероссийская научно-техническая конференция студентов, аспирантов и молодых ученых «Наука и Молодежь» . - 2020. - С. 273-277. - URL: https://journal.altstu.ru/konf_2020/2020_1/51/release.pdf
  37. [ВАК] Старолетов С.М., Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Лях Т.В., Розов А.С., Горлач С.П. Темпоральная логика для программируемых логических контроллеров. - Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2020. - № 27. - С. 413-427. - DOI: 10.18255/1818-1015-2020-4-412-427. - URL: https://www.mais-journal.ru/jour/article/view/1433
  38. [РИНЦ] Старолетов С.М., Tengis Tserendondog Model-driven development methods and formal verification algorithms for cyber-physical systems as applied to system software of unmanned aerial vehicles. - 2020. - С. 75-83. - DOI: 10.25712/ASTU.2410-485X.2020.01.008. - URL: http://rectors.altstu.ru/ru/periodical/archiv/2020/1
  39. [Scopus] Старолетов С.М., Шилов Н.В. Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. - Springer. - 2019. - С. 193-207. - DOI: 10.1007/978-3-030-30923-7_11. - URL: https://link.springer.com/chapter/10.1007/978-3-030-30923-7_11
  40. [РИНЦ] Старолетов С.М., Овсянников В.А. Обзор методов анализа аномалий в больших данных // Молодежь и современные информационные технологии. - 2019. - С. 128-129. - URL: https://elibrary.ru/item.asp?id=37198551
  41. [РИНЦ] Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela. - 2019. - С. 13-44. - DOI: 10.31144/si.2307-6410.2019.n15.p13-44. - URL: https://system-informatics.ru/ru/article/255
  42. [ВАК] Старолетов С.М., Амосов М.С., Шульга К.М. Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации. - 2019. - № 31. - С. 39-60. - DOI: 10.15514/ISPRAS-2019-31(4)-3. - URL: https://elibrary.ru/item.asp?id=41218001
  43. Старолетов С.М. Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking // SYRCoSE 2019. - 2019. - С. 94-98. - URL: http://syrcose.ispras.ru/2019/SYRCoSE2019_Proceedings.pdf
  44. [РИНЦ] Старолетов С.М., Федоров В.В. An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective) // PROGRAM SEMANTICS, SPECIFICATION AND VERIFICATION: THEORY AND APPLICATIONS (PSSV-2019). - 2019. - С. 27-36. - URL: https://elibrary.ru/item.asp?id=41249648
  45. [ВАК] Старолетов С.М. Исследование наиболее часто встречающихся ошибок в ядре Linux путем анализа коммитов в Git-репозитории. - Издательский дом "Положевец и партнёры". - 2019. - С. 73-77. - URL: https://elibrary.ru/item.asp?id=37252881
  46. [РИНЦ] Старолетов С.М. Функциональные языки распределённых систем. - © Алтайский государственный технический университет им. И. И. Ползунова. - 2019. - URL: https://elibrary.ru/item.asp?id=41291912
  47. [РИНЦ] Старолетов С.М., Шевелёва А.Г. Scrum-разработка и генерация тестов на основе MDD-плагина в виде BPMN-диаграмм для задач проекта Redmine. - © Алтайский государственный педагогический университет, 2019. - 2019. - С. 90-93
  48. [Scopus] Старолетов С.М., Nikolay Shilov, Vladimir Zyubin, Tatiana Liakh, Andrei Rozov, Ivan Konyukhov, Innokenty Shilov, Thomas Baar, Horst Schulte Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems // MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria. - 2019. - С. 74-91. - URL: http://ceur-ws.org/Vol-2478/
  49. [РИНЦ] Старолетов С.М. Towards problems of Cyber-physical systems verification while designing them with the Model-driven approach // Молодежь и современные информационные технологии. - 2019. - С. 130-131. - URL: https://elibrary.ru/item.asp?id=37198555
  50. [РИНЦ] Старолетов С.М., Баев В.Е. Приложение дополненной реальности в информационном обеспечении образования // Гарантии качества профессионального образования. - © Алтайский государственный технический университет им. И. И. Ползунова. - 2019. - С. 157-159. - URL: https://elibrary.ru/item.asp?id=38488095
  51. Старолетов С.М. Основы тестирования и верификации программного обеспечения. - Лань. - 2018. - URL: https://lanbook.com/catalog/informatika/osnovy-testirovaniya-i-verifikatsii-programmnogo-obespecheniya/
  52. [ВАК] Старолетов С.М. Towards the methods of analysis malicious applications for Android operating system. - Институт системного программирования РАН (Москва) . - 2018. - № 30. - С. 55-68. - DOI: 10.15514/ISPRAS-2018-30(1)-4. - URL: https://elibrary.ru/item.asp?id=32663692
  53. [ВАК] Старолетов С.М., Baar Thomas A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. - 2018. - № 25. - С. 465-480. - DOI: https://doi.org/10.18255/1818-1015-2018-5-465-480. - URL: https://www.mais-journal.ru/jour/article/view/752/567
  54. [РИНЦ] Старолетов С.М., Галкин Р.Е. Технология тестирования криптовалютных шлюзов // Программно-техническое обеспечение автоматизированных систем. - 2018. - С. 88-91. - URL: https://elibrary.ru/item.asp?id=37414945
  55. [РИНЦ] Старолетов С.М. Building a process of trustworthy software developing based on BDD and ontology approaches with further formal verification // 9TH WORKSHOP “PROGRAM SEMANTICS, SPECIFICATION AND VERIFICATION: THEORY AND APPLICATIONS” DEDICATED TO THE MEMORY OF B.A. TRAKHTENBROT, M.I. DEKHTYAR, AND M.K. VALIEV Yaroslavl. - Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2018. - С. 92-97. - URL: https://elibrary.ru/item.asp?id=35083203
  56. [РИНЦ] Старолетов С.М., Baar Thomas Making Verification in KeYmaera Easier-A Graphical Approach for Better Usability // 9TH WORKSHOP “PROGRAM SEMANTICS, SPECIFICATION AND VERIFICATION: THEORY AND APPLICATIONS” DEDICATED TO THE MEMORY OF B.A. TRAKHTENBROT, M.I. DEKHTYAR, AND M.K. VALIEV Yaroslavl. - Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2018. - С. 22-28. - URL: https://elibrary.ru/item.asp?id=35083194
  57. [РИНЦ] Старолетов С.М., Баев В.Е. Анализ применения технологии дополненной реальности в образовательном процессе. - © Алтайский государственный технический университет им. И. И. Ползунова. - 2018. - С. 95-100. - URL: https://elibrary.ru/item.asp?id=36470575
  58. Старолетов С.М., Овсянников В.А. Разработка системы анализа аномалий в больших данных (BigData) на основе кортикальных алгоритмов // XV Всероссийская научно-техническая конференция студентов, аспирантов и молодых ученых "Наука и молодежь-2018". - Алтайский государственный технический университет им. И.И. Ползунова. - 2018. - С. 180-186. - URL: http://edu.secna.ru/media/f/pi2018v1.pdf
  59. Старолетов С.М., Басараб С.А., Лященко В.И. Симулятор футбольного тренера и система проведения виртуальных футбольных соревнований на основе технологии блокчейн // XV Всероссийская научно-техническая конференция студентов, аспирантов и молодых ученых "Наука и молодежь-2018". - Алтайский государственный технический университет им. И.И. Ползунова. - 2018. - С. 173-177. - URL: http://edu.secna.ru/media/f/pi2018v1.pdf
  60. [РИНЦ] Старолетов С.М., Баев В.Е. Верификация положения объекта внутри помещения с использованием технологии wi-fi в рамках задачи дополненной реальности // Программно-техническое обеспечение автоматизированных систем. - 2018. - С. 75-79. - URL: https://elibrary.ru/item.asp?id=37414943
  61. Петрушова Н.В., Ложкина Д.Д., Старолетов С.М. Online средство для моделирования и верификации распределенного программного обеспечения. - Алтайский государственный технический университет им. И.И. Ползунова. - 2017. - С. 134-137. - URL: http://edu.secna.ru/media/f/Modern_science_problems_and_solutions_tez_2017.pdf
  62. [РИНЦ] Старолетов С.М., Шевелёва А.Г. Построение процесса разработки и тестирования интеллектуальных систем обработки информации на основе методологии MDD. - АлтГТУ. - 2017. - № 3. - URL: https://elibrary.ru/item.asp?id=30722187