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

  • LNCS, vol 12232, August 2020
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Zyubin V.E., Gorlatch S
    Two-Step Deductive Verification of Control Software Using Reflex
    Preliminary Proceedings of A. P. Ershov Informatics Conference (PSI-19). A. P. Ershov Institute of Informatics Systems: IPC NSU, Novosibirsk, Russia, Akademgorodok, Russia, July 2019
  • Anureev I.S., Garanina N.O., Liakh T.V., Rozov A.S., Schulte H., Zyubin V.E
    Towards safe cyber-physical systems: the Reflex language and its transformational semantics
    14th IEEE International Siberian Conference on Control and Communications (SIBCON-2019). Tomsk State University of Control Systems and Radioelectronics, Tomsk. P.1–6., April 2019
  • Garanina N.O., Anureev I.S., Zyubin V.E
    Constructing verification-oriented domain-specific process ontologies
    System Informatics. Iss. 14. 2019. A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk. P. 19–30., 2019
  • Garanina N. O., Zyubin V., Lyakh T., Gorlatch S
    New Trends in Intelligent Software Methodologies, Tools and Techniques – Proceedings of the 17th International Conference SoMeT18, Granada, Spain, September 2018
  • Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
    Vestnik NSU. Series: Information Technologies 16.4. In Russian, pp. 85–94., 2018