Sergey M. Staroletov

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 12

Top Topics

Floating Point Arithmetic

Anomaly Detection

Top Venues

Autom. Control. Comput. Sci.

Publications

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