Старолетов Сергей Михайлович

Публикации в базе данных Math-Net.Ru

1. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3
   
   Модел. и анализ информ. систем, 31:1 (2024),  32–53
2. Соревнования по формальной верификации VeHa-2023: опыт проведения
   
   Труды ИСП РАН, 36:2 (2024),  141–168
3. Exploring the taxonomy of commits in cyber-physical systems for enhanced error fixes investigation
   
   Труды ИСП РАН, 36:2 (2024),  33–46
4. Flovver: a graphical functional language with a compiler focused on recursion optimization
   
   Информатика, телекоммуникации и управление, 16:1 (2023),  46–59
5. Analyzing hot bugs in the Linux kernel by clustering fixing commit messages
   
   Труды ИСП РАН, 35:3 (2023),  215–242
6. Темпоральная логика для программируемых логических контроллеров
   
   Модел. и анализ информ. систем, 27:4 (2020),  412–427
7. A formal model of a partitioned real-time operating system in Promela
   
   Труды ИСП РАН, 32:6 (2020),  49–66
8. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
   
   Труды ИСП РАН, 31:4 (2019),  39–60
9. A control flow graph based approach to make the verification of cyber-physical systems using KeYmaera easier
   
   Модел. и анализ информ. систем, 25:5 (2018),  465–480
10. Towards the methods of analysis malicious applications for Android operating system
    
    Труды ИСП РАН, 30:1 (2018),  55–68
11. Конечный автомат с вероятностными переходами как модель распределeнной программной системы
    
    Матем. моделирование и краев. задачи, 4 (2008),  129–131