Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model. - Sergey M. Staroletov; Nikolay V. Shilov 002 (SPIN, 2019)

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 002 (FedCSIS, 2021)

Automatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera. - Sergey M. Staroletov (FRUCT, 2021)

Architectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case. - Sergey M. Staroletov (FRUCT, 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 (FSEN, 2021)

Work-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot. - Sergey M. Staroletov (RTCSA, 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)

An Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains. - Sergey M. Staroletov; Roman Chudov (FRUCT, 2022)

Software Architecture for an Intelligent Firewall Based on Linux Netfilter. - Sergey M. Staroletov (ICIN, 2022)

Model Checking Meets Auto-Tuning of High-Performance Programs. - Natalya Olegovna Garanina; Sergey M. Staroletov; Sergei Gorlatch (LOPSTR, 2022)

Auto-Tuning High-Performance Programs Using Model Checking in Promela. - Natalia Olegovna Garanina; Sergey M. Staroletov; Sergei Gorlatch (CoRR, 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, 2023)

Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text. - Natalya Olegovna Garanina; Sergey M. Staroletov; Vladimir E. Zyubin; Igor S. Anureev (Autom. Control. Comput. Sci., 2024)