Get started
Author

Sergey Mikhailovich Staroletov

Observed names: S M Staroletov, S. M. Staroletov, S. Staroletov, S.M. Staroletov, Sergey M. Staroletov, Sergey Staroletov, Staroletov Sergey, Staroletov, Sergey, Сергей Михайлович Старолетов
Observed institutions: Altai State Technical University, Russian Academy of Sciences, University of Münster, Siberian Branch of the Russian Academy of Sciences, Institute of Automation and Electrometry, A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
ORCID: 0000-0001-5183-9736
Observed ORCID: 0000-0001-5183-9736
OpenAlex ID: A5024052778
A Temporal Logic for Programmable Logic Controllers
2021 · N. O. Garanina, I. S. Anureev, et al. · Automatic Control and Computer Sciences · 15
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification
2021 · Vladimir Zyubin, Igor Anureev, et al. · Lecture notes in computer science · 15
A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs
2022 · Ivan Chernenko, Igor S. Anureev, et al. · International Siberian workshops and tutorials on electron devices and materials · 12
Software Architecture for an Intelligent Firewall Based on Linux Netfilter
2022 · Sergey Staroletov · Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN) · 10
Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera
2021 · Sergey Staroletov · Conference of Open Innovations Association (FRUCT) · 8
A Formal Model of a Partitioned Real-Time Operating System in Promela
2020 · Sergey Mikhailovich Staroletov · Proceedings of the Institute for System Programming of RAS · 8
An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains
2022 · Sergey Staroletov, Roman Chudov · Conference of Open Innovations Association (FRUCT) · 7
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model
2019 · Sergey Staroletov, Nikolay Shilov · Lecture notes in computer science · 7
Development and Testing of Algorithms for Vehicle Type Recognition and Car Tracking with Photo and Video Traffic Enforcement Cameras
2021 · S. M. Staroletov, M. A. Laptev, et al. · Pattern Recognition and Image Analysis · 6
A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier
2018 · Thomas Baar, Sergey Staroletov · Modeling and Analysis of Information Systems · 6
PDF
Teaching the Discipline "Software Testing and Verification" to Future Programmers
2022 · Sergey Staroletov · System Informatics · 5
PDF
Semantic Classification of Event Driven Temporal Logic Requirements
2022 · Anastasia N. Getmanova, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 5
Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case
2021 · Sergey Staroletov · Conference of Open Innovations Association (FRUCT) · 5
Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
2021 · Anna A. Ponomarenko, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 5
Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
2019 · S.M. Staroletov, M.S. Amosov, et al. · Proceedings of the Institute for System Programming of RAS · 5
PDF
Exploring Hyperledger Sawtooth: Model Checking Proof-of-Elapsed Time Algorithm and Testing Methods for Enterprise Blockchain Applications
2025 · Sergey Staroletov · Conference of Open Innovations Association (FRUCT) · 4
Model Checking Process-oriented Iec 61131-3 Structured Text Programs
2023 · Natalia Garanina, Sergey Staroletov, et al. · System Informatics · 4
PDF
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
2023 · Vladimir E. Zyubin, Natalia O. Garanina, et al. · Sensors · 4
PDF
Towards Controlled Natural Language for Event-Driven Temporal Requirements
2023 · Anna V. Gnezdilova, Natalia O. Garanina, et al. · International Siberian workshops and tutorials on electron devices and materials · 4
Analyzing Hot Bugs in the Linux Kernel by Clustering Fixing Commit Messages
2023 · Nikita Alexandrovich Starovoytov, Nikolay Andreevich Golovnev, et al. · Proceedings of the Institute for System Programming of RAS · 4
PDF
Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language
2022 · Sergey M. Staroletov · International Russian Automation Conference (RusAutoCon) · 4
Modeling the Anti-Lock Braking System in Scilab and Its Checking for Compliance with Uniform Requirements
2022 · S. Staroletov · Lecture notes in mechanical engineering · 4
A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn Ast Transformation to a Promela Model
2019 · Staroletov Sergey, Dubko Anatoliy, et al. · System Informatics · 4
PDF
Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text
2024 · N. O. Garanina, S. M. Staroletov, et al. · Automatic Control and Computer Sciences · 3
Auto-Tuning High-Performance Programs Using Model Checking in Promela
2023 · Garanina, Natalia, Staroletov, Sergey, et al. · arXiv (Cornell University) · 3
PDF
Works count: 65
Citation count: 189
H-index: 7
I10-index: 4
Year
Topic
Type