Sergey Staroletov

Sergey Staroletov


Publications

Model-Driven Methods to Design of Reliable Multiagent Cyber-Physical Systems

2019

Staroletov S. M., Shilov N. V., Zyubin V. E., Liakh T. V., Rozov A. S., Konyukhov I., Shilov I. N., Baar T., and Schulte H

Proceedings of MACSPro 2019 : Modeling and Analysis of Complex Systems and Processes, Vienna, Austria

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

2019

SPIN 2019 26th International Symposium on Model Checking of Software

Read more

A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model

2019

Staroletov S., Dubko A

System Informatics. P. 13-44

An Application of Test-Driven Development Methodology into the Process of Hardware Creation (a View from a Software Perspective)

2019

Staroletov S., Fedorov V

10th workshop “Program semantics, specification and verification: Theory and applications”

A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

2018

Modeling and Analysis of Information Systems

Read more

Basics of Software Testing and Verification [in Russian]

2018

Основы тестирования и верификации программного обеспечения

Lanbook publishing

Read more