Sergey M. Staroletov

13 papers B 1C 2Misc 4Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev
2023 J jnl
Auto-Tuning High-Performance Programs Using Model Checking in Promela.
CoRR
Natalia Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
2023 J jnl
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.
Sensors
Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov
2022 Misc conf
An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains.
FRUCT
Sergey M. Staroletov, Roman Chudov
2022 C conf
Model Checking Meets Auto-Tuning of High-Performance Programs.
LOPSTR
Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
2022 Misc conf
Software Architecture for an Intelligent Firewall Based on Linux Netfilter.
ICIN
Sergey M. Staroletov
2021 J jnl
A Temporal Logic for Programmable Logic Controllers.
Autom. Control. Comput. Sci.
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
2021 Misc conf
Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case.
FRUCT
Sergey M. Staroletov
2021 Misc conf
Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera.
FRUCT
Sergey M. Staroletov
2021 — conf
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.
FSEN
Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh
2021 C conf
Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.
FedCSIS
Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov
2021 B conf
Work-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot.
RTCSA
Sergey M. Staroletov
2019 — conf
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.
SPIN
Sergey M. Staroletov, Nikolay V. Shilov