Login / Signup
Andrei Rozov
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Control Software
Temporal Logic
Key Performance Indicators
Mazurkiewicz Traces
Top Venues
FedCSIS
FSEN
Ershov Informatics Conference
MEDI Workshops
</>
Publications
</>
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)
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)
Vladimir Zyubin
,
Andrei Rozov
Using Process-Oriented Structured Text for IEC 61499 Function Block Specification.
MEDI Workshops
(2021)
Igor S. Anureev
,
Natalia Olegovna Garanina
,
Tatiana V. Liakh
,
Andrei Rozov
,
Vladimir Zyubin
,
Sergei Gorlatch
Two-Step Deductive Verification of Control Software Using Reflex.
Ershov Informatics Conference
(2019)