
Natalia Garanina
Biography
Natalia Garanina received the M.S. degree in computer science from the Novosibirsk State University, Novosibirsk, in 2001 and the Ph.D. degree in computer science from the A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, in 2004.
Natalia Garanina has been a senior researcher of the Laboratory of Theoretical Programming at the A.P. Ershov Institute of Informatics Systems since 2014, a senior researcher of the Cyber-Physical Systems Laboratory at the Institute of Automation and Electrometry SB RAS since 2019, and lecturer at Novosibirsk State University since 2007. She is the author of more than 100 articles. Her research interests include Formal Verification, Distributed Systems, Automatic Control Systems, Artificial Intelligence, Non-classical Logics, and Domain theory.
Publications
An Ontology-based Approach to Support Formal Verification of Concurrent Systems
August 2020
Verifying Reflex-software with SPIN: Hand Dryer Case Study
July 2020
Tatiana V. Liakh, Natalia O. Garanina, Igor S. Anureev, Vladimir E. Zyubin
Two-Step Deductive Verification of Control Software Using Reflex
July 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
Towards safe cyber-physical systems: the Reflex language and its transformational semantics
April 2019
Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
Constructing verification-oriented domain-specific process ontologies
2019
Garanina N.O., Anureev I.S., Zyubin V.E
An Ontology of Specification Patterns for Verification of Concurrent Systems
September 2018
Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
2018