Sergei P. Gorlatch

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Natalia Olegovna Garanina, Sergei P. Gorlatch
Autotuning Parallel Programs by Model Checking. Autom. Control. Comput. Sci. 56 (7) (2022)
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
A Temporal Logic for Programmable Logic Controllers. Autom. Control. Comput. Sci. 55 (7) (2021)
Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch
Dedicative Verification of Reflex Programs. Program. Comput. Softw. 46 (4) (2020)