Sergey M. Staroletov

According to our database, Sergey M. Staroletov authored at least 12 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.

Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov

Sensors, July, 2023

Auto-Tuning High-Performance Programs Using Model Checking in Promela.

Natalia Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch

CoRR, 2023

2022

Model Checking Meets Auto-Tuning of High-Performance Programs.

Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Software Architecture for an Intelligent Firewall Based on Linux Netfilter.

Sergey M. Staroletov

Proceedings of the 25th Conference on Innovation in Clouds, Internet and Networks, 2022

An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains.

Sergey M. Staroletov, Roman Chudov

Proceedings of the 32nd Conference of Open Innovations Association, 2022

2021

A Temporal Logic for Programmable Logic Controllers.

Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch

Autom. Control. Comput. Sci., 2021

Work-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot.

Sergey M. Staroletov

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.

Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case.

Sergey M. Staroletov

Proceedings of the 30th Conference of Open Innovations Association, 2021

Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera.

Sergey M. Staroletov

Proceedings of the 28th Conference of Open Innovations Association, 2021

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study.

Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergey M. Staroletov, Thomas Baar, Horst Schulte, Ivan Konyukhov, Nikolay Shilov

Proceedings of the 16th Conference on Computer Science and Intelligence Systems, 2021

2019

Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.

Sergey M. Staroletov, Nikolay V. Shilov

Proceedings of the Model Checking Software - 26th International Symposium, 2019