Skip to content
cs-conference-ranking.org

Sergey M. Staroletov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

5

Active years

2021–2022

Best venue rank

Regional

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2022FRUCTAn Anomaly Detection and Network Filtering System for Linux Based on Kohonen Maps and Variable-order Markov Chains.Sergey M. Staroletov, Roman Chudov
2022ICINSoftware Architecture for an Intelligent Firewall Based on Linux Netfilter.Sergey M. Staroletov
2022LOPSTRModel Checking Meets Auto-Tuning of High-Performance Programs.Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
2021FedCSISModeling 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
2021FRUCTAutomatic Proving of Stability of the Cyber-Physical Systems in the Sense of Lyapunov with KeYmaera.Sergey M. Staroletov
2021FRUCTArchitectural Software-Hardware Co-Modeling a Real-World Cyber-Physical System: Arduino-Based ArduPilot Case.Sergey M. Staroletov
2021RTCSAWork-in-Progress Abstract: Revealing and Analyzing Architectural Models in Open-source ArduPilot.Sergey M. Staroletov