Natalia Olegovna Garanina Russian Federation, Novosibirsk Academic degree Candidate of Physics and Mathematics Research area modal logics logics of knowledge description logics formal concept analysis multiagent systems distributed systems distributed algorithms model checking symbolic model checking linguistic text analysys Affiliation & position A.P. Ershov Institute of Informatics Systems — researcher E-mail garanina@iis.nsk.su
Garanina N. Model Checking Multi-agent Sliding Window Protocol // System Informatics. — 2013. — # 1. — P. 35-48
Garanina N., Sidorova E. A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // System Informatics. — 2016. — # 8. — P. 1-10
Garanina N., Zyubin V., Liakh T. Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — 2017. — # 9. — P. 111-132
Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. — 2019. — # 14. — P. 19-30
Garanina N., Anureev I., Zyubin V., Rozov A., Liakh T., Gorlatch S. Reasoning about Programmable Logic Controllers // System Informatics. — 2020. — # 17. — P. 33-42
Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — 2023. — # 22. — P. 21-30
Garanina N. An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // System Informatics. — 2024. — # 25. — P. 29-38
