Garanina Natalia Olegovna

Гаранина Наталья Олеговна
Natalia Olegovna Garanina
Russia, Novosibirsk
Academic degree
Research area
Affiliation & position
  • A.P. Ershov Institute of Informatics Systems — researcher
E-mail
List of Articles in System Informatics:
N. Garanina Model Checking Multi-agent Sliding Window Protocol // System Informatics. — . — # 1.  — P. 35-48
N. Garanina E. Sidorova A Verification Method for a Family of Multi-agent Systems of Ambiguity Resolution // System Informatics. — . — # 8.  — P. 1-10
N. Garanina V. Zyubin T. Liakh Ontological Approach to Organizing Specification Patterns in the Framework of Support System for Formal Verification of Distributed Program Systems // System Informatics. — . — # 9.  — P. 111-132
N. Garanina I. Anureev V. Zyubin Constructing Verification-Oriented Domain-Specific Process Ontologies // System Informatics. — . — # 14.  — P. 19-30
N. Garanina I. Anureev V. Zyubin A. Rozov T. Liakh S. Gorlatch Reasoning about Programmable Logic Controllers // System Informatics. — . — # 17.  — P. 33-42
N. Garanina S. Staroletov V. Zyubin I. Anureev Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — . — # 22.  — P. 21-30
N. Garanina An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // System Informatics. — . — # 25.  — P. 29-38