Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // # 22, 2023
Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
Garanina N., Sidorova E. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // # 8, 2016
Shilov N. On the need of ontology for classification and navigation in the computer languages universe // # 13, 2018
Idrisov R., Odintsov S., Shilov N. Ontology approach to classification of Computer Languages: current state and challenges // # 1, 2013
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // # 17, 2020
Garanina N. An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // # 25, 2024
