Наталья Гаранина
Исследовательские группы
Биография
Наталья Гаранина получила степень магистра по информатике в Новосибирском Государственном Университете в 2001 г., и степень кандидата физико-математических наук в Институте систем информатики им. А.П. Ершова (Новосибирск) в 2004 г.
Она явлется старшим научным сотрудником лаборатории киберфизических систем Института автоматики и электрометрии и лаборатории теоретического программирования Института систем информатики. Преподаёт в Новосибирском Государственном Университете с 2007 года. Автор более 100 статей. Ее исследовательские интересы включают формальную верификацию, параллельные/распределенные системы, системы автоматического управления, онтологии, извлечение информации, а также неклассические логики и теорию областей.
Публикации
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