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. [ВАК] Старовойтов Н.А., Старолетов С.М. Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них (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
  2. [ВАК] Старолетов С.М., Кондратьев Д.А., Шошмина И.В., Гаранина Н.О. Соревнования по формальной верификации 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/
  3. Старовойтов Н.А., Старолетов С.М. Exploring the Taxonomy of Commits in Cyber-Physical Systems for Enhanced Error Fixes Investigation // ИСП РАН. - 2024. - С. 1-8. - URL: http://syrcose.ispras.ru/2024/submissions/SYRCoSE_2024_paper_25_37.pdf
  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. [ВАК] Старолетов С.М., Завьялов, А.А. 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/
  6. [РИНЦ] Кодиров Ф.М., Старолетов С.М. К разработке языка вероятностного программирования для моделирования и проверки распределенных взаимодействующих систем // ТПУ. - 2023. - С. 108-110. - URL: https://www.elibrary.ru/item.asp?id=54618100
  7. [РИНЦ] Старолетов С.М. 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
  8. Старолетов С.М., Головнев Н.А., Старовойтов Н.А. Towards Methods to Automatically Identify the Most Common Errors in Linux by Analyzing Git Commit Messages // ИСП РАН. - 2023. - URL: http://syrcose.ispras.ru/2023/submissions/SYRCoSE_2023_paper_9521.pdf
  9. [ВАК] Старолетов С.М., Старовойтов Н.А., Головнев Н.А. 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/
  10. [Scopus] Старолетов С.М. Software Architecture for an Open-Source Tool to Test DVB-T2 Networks Based on Linux TV, Kaffeine, and RTL-SDR // IEEE Serbia. - 2022. - № 29. - DOI: 10.1109/TELFOR52709.2021.9653329. - URL: https://ieeexplore.ieee.org/document/9653329
  11. [РИНЦ] Старолетов С.М. Обзор современного состояния кортикальных алгоритмов и их применение для анализа сигналов в реальном времени // Системный администратор (Москва). - 2022. - С. 82-87. - URL: https://elibrary.ru/item.asp?id=50021376
  12. [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
  13. [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
  14. [РИНЦ] Старолетов С.М., Теников К.А. Разработка системы определения аномалий в автомобильных данных в реальном времени // ТПУ. - 2022. - С. 247-248. - URL: https://elibrary.ru/item.asp?id=48595480
  15. [РИНЦ] Старолетов С.М., Черемнов Н.А. Применение концепции памяти-предсказания для анализа музыкальных сигналов // ТПУ. - 2022. - С. 57-59. - URL: https://elibrary.ru/item.asp?id=48595401
  16. [РИНЦ] Старолетов С.М., Чудов Р.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
  17. [РИНЦ] Старолетов С.М., Миллер О.В. Сравнительный анализ детектирования сетевых аномалий при помощи глубинной нейронной сети и модели, основанной на свойствах самоподобия сетевого трафика // © Алтайский государственный технический университет им. И. И. Ползунова. - 2022. - С. 119-122. - URL: https://elibrary.ru/item.asp?id=49716433&pff=1
  18. [Scopus] Старолетов С.М. Towards Modeling and Verification of Eurobalise Telegram Encoding Algorithm // Elsevier. - 2022. - № 61. - С. 447-454. - DOI: 10.1016/j.trpro.2022.01.073. - URL: https://www.sciencedirect.com/science/article/pii/S2352146522000801
  19. Старолетов С.М. Основы тестирования программного обеспечения : учебное пособие для СПО // Лань. - 2021. - URL: https://e.lanbook.com/book/174990
  20. [Scopus] Старолетов С.М. A Hierarchical Temporal Memory Model in the Sense of Hawkins // IEEE. - 2021. - С. 470-475. - DOI: 10.1109/CSGB53040.2021.9496031. - URL: https://ieeexplore.ieee.org/abstract/document/9496031
  21. [Scopus] Старолетов С.М. Work-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot // IEEE Computer Society. - 2021. - DOI: 10.1109/RTCSA52859.2021.00034. - URL: https://ieeexplore.ieee.org/document/9545270
  22. [Scopus] Старолетов С.М. Developing automata-based control software for water purification and normalization // IEEE. - 2021. - DOI: 10.1109/ICIEAM51226.2021.9446349. - URL: https://ieeexplore.ieee.org/document/9446349
  23. [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
  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] Старолетов С.М., 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 // IEEE. - 2021. - DOI: 10.15439/2021F98. - URL: https://ieeexplore.ieee.org/abstract/document/9555746
  26. [РИНЦ] Старолетов С.М., Галкин Р.Е. О методах тестирования блокчейн-приложений // издательство АГУ. - 2021. - № 5. - С. 98-106. - URL: https://elibrary.ru/item.asp?id=46592622
  27. [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
  28. [ВАК] Старолетов С.М. 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
  29. [РИНЦ] Старолетов С.М., Овсянников В.А. CAN-шина как средство для обнаружения аномалий в данных. - 2020. - С. 273-277. - URL: https://journal.altstu.ru/konf_2020/2020_1/51/release.pdf
  30. [РИНЦ] Старолетов С.М., 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
  31. [РИНЦ] Старолетов С.М. Towards safe CPS: requirements for ABS automotive system // Издательство Томского политехнического университета. - 2020. - С. 252-253. - URL: http://msit.tpu.ru/assets/digestArticles/msit_2020.zip
  32. [РИНЦ] Старолетов С.М. Основы тестирования и верификации программного обеспечения // Лань. - 2020. - URL: https://www.elibrary.ru/item.asp?id=43879087
  33. [ВАК] Старолетов С.М., Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Лях Т.В., Розов А.С., Горлач С.П. Темпоральная логика для программируемых логических контроллеров // Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2020. - № 27. - С. 413-427. - DOI: 10.18255/1818-1015-2020-4-412-427. - URL: https://www.mais-journal.ru/jour/article/view/1433
  34. [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=
  35. [ВАК] Старолетов С.М. Исследование наиболее часто встречающихся ошибок в ядре Linux путем анализа коммитов в Git-репозитории // Издательский дом "Положевец и партнёры". - 2019. - С. 73-77. - URL: https://elibrary.ru/item.asp?id=37252881
  36. [РИНЦ] Старолетов С.М. 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
  37. [РИНЦ] Старолетов С.М., Баев В.Е. Приложение дополненной реальности в информационном обеспечении образования // © Алтайский государственный технический университет им. И. И. Ползунова. - 2019. - С. 157-159. - URL: https://elibrary.ru/item.asp?id=38488095
  38. [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
  39. [РИНЦ] Старолетов С.М., Овсянников В.А. Обзор методов анализа аномалий в больших данных. - 2019. - С. 128-129. - URL: https://elibrary.ru/item.asp?id=37198551
  40. [РИНЦ] Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela. - 2019. - С. 13-44. - DOI: 10.31144/si.2307-6410.2019.n15.p13-44. - URL: https://system-informatics.ru/ru/article/255
  41. [ВАК] Старолетов С.М., Амосов М.С., Шульга К.М. Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации. - 2019. - № 31. - С. 39-60. - DOI: 10.15514/ISPRAS-2019-31(4)-3. - URL: https://elibrary.ru/item.asp?id=41218001
  42. [РИНЦ] Старолетов С.М., Федоров В.В. An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective). - 2019. - С. 27-36. - URL: https://elibrary.ru/item.asp?id=41249648
  43. Старолетов С.М. Towards a Probabilistic Extension to Non-Deterministic Transitions in Model-Based Checking. - 2019. - С. 94-98. - URL: http://syrcose.ispras.ru/2019/SYRCoSE2019_Proceedings.pdf
  44. [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. - 2019. - С. 74-91. - URL: http://ceur-ws.org/Vol-2478/
  45. [РИНЦ] Старолетов С.М., Шевелёва А.Г. Scrum-разработка и генерация тестов на основе MDD-плагина в виде BPMN-диаграмм для задач проекта Redmine // © Алтайский государственный педагогический университет, 2019. - 2019. - С. 90-93
  46. [РИНЦ] Старолетов С.М. Функциональные языки распределённых систем // © Алтайский государственный технический университет им. И. И. Ползунова. - 2019. - URL: https://elibrary.ru/item.asp?id=41291912
  47. [ВАК] Старолетов С.М. 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
  48. [РИНЦ] Старолетов С.М. Building a process of trustworthy software developing based on BDD and ontology approaches with further formal verification // Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2018. - С. 92-97. - URL: https://elibrary.ru/item.asp?id=35083203
  49. Старолетов С.М. Основы тестирования и верификации программного обеспечения // Лань. - 2018. - URL: https://lanbook.com/catalog/informatika/osnovy-testirovaniya-i-verifikatsii-programmnogo-obespecheniya/
  50. [РИНЦ] Старолетов С.М., Baar Thomas Making Verification in KeYmaera Easier-A Graphical Approach for Better Usability // Ярославский государственный университет им. П.Г. Демидова (Ярославль). - 2018. - С. 22-28. - URL: https://elibrary.ru/item.asp?id=35083194
  51. [РИНЦ] Старолетов С.М., Галкин Р.Е. Технология тестирования криптовалютных шлюзов. - 2018. - С. 88-91. - URL: https://elibrary.ru/item.asp?id=37414945
  52. [РИНЦ] Старолетов С.М., Баев В.Е. Анализ применения технологии дополненной реальности в образовательном процессе // © Алтайский государственный технический университет им. И. И. Ползунова. - 2018. - С. 95-100. - URL: https://elibrary.ru/item.asp?id=36470575
  53. Старолетов С.М., Овсянников В.А. Разработка системы анализа аномалий в больших данных (BigData) на основе кортикальных алгоритмов // Алтайский государственный технический университет им. И.И. Ползунова. - 2018. - С. 180-186. - URL: http://edu.secna.ru/media/f/pi2018v1.pdf
  54. Старолетов С.М., Басараб С.А., Лященко В.И. Симулятор футбольного тренера и система проведения виртуальных футбольных соревнований на основе технологии блокчейн // Алтайский государственный технический университет им. И.И. Ползунова. - 2018. - С. 173-177. - URL: http://edu.secna.ru/media/f/pi2018v1.pdf
  55. [РИНЦ] Старолетов С.М., Баев В.Е. Верификация положения объекта внутри помещения с использованием технологии wi-fi в рамках задачи дополненной реальности. - 2018. - С. 75-79. - URL: https://elibrary.ru/item.asp?id=37414943
  56. [ВАК] Старолетов С.М., 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
  57. [РИНЦ] Старолетов С.М., Шевелёва А.Г. Построение процесса разработки и тестирования интеллектуальных систем обработки информации на основе методологии MDD // АлтГТУ. - 2017. - № 3. - URL: https://elibrary.ru/item.asp?id=30722187
  58. Петрушова Н.В., Ложкина Д.Д., Старолетов С.М. Online средство для моделирования и верификации распределенного программного обеспечения // Алтайский государственный технический университет им. И.И. Ползунова. - 2017. - С. 134-137. - URL: http://edu.secna.ru/media/f/Modern_science_problems_and_solutions_tez_2017.pdf