Natalia Olegovna Garanina

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 12

Top Topics

Formal Verification

Concurrent Systems

Top Venues

Autom. Control. Comput. Sci.

Ershov Memorial Conference

Ershov Informatics Conference

Publications

Natalia Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
Auto-Tuning High-Performance Programs Using Model Checking in Promela. CoRR (2023)
Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm. Sensors 23 (13) (2023)
Natalia Olegovna Garanina, Sergei P. Gorlatch
Autotuning Parallel Programs by Model Checking. Autom. Control. Comput. Sci. 56 (7) (2022)
Natalia Olegovna Garanina, Dmitry Koznov
Static Checking Consistency of Temporal Requirements for Control Software. MEDI Workshops (2021)
Nikolay V. Shilov, Natalia Olegovna Garanina
Knowledge-Based Algorithms for BDI Agents. Autom. Control. Comput. Sci. 55 (7) (2021)
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
A Temporal Logic for Programmable Logic Controllers. Autom. Control. Comput. Sci. 55 (7) (2021)
Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
Two-Step Deductive Verification of Control Software Using Reflex. Ershov Informatics Conference (2019)
Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems. FM Workshops (1) (2019)
Natalia Olegovna Garanina, Vladimir Zubin, Tatiana Lyakh, Sergei Gorlatch
An Ontology of Specification Patterns for Verification of Concurrent Systems. SoMeT (2018)
Natalia Olegovna Garanina, Elena A. Sidorova, Irina Kononenko, Sergei Gorlatch
Using Multiple Semantic Measures for Coreference Resolution in Ontology Population. Int. J. Comput. 16 (2017)
Natalia Olegovna Garanina, Elena A. Sidorova, Irina Kononenko
A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population. Ershov Informatics Conference (2017)
Natalia Olegovna Garanina, Elena A. Sidorova
Context-dependent Lexical and Syntactic Disambiguation in Ontology Population. CS&P (2016)
Natalia Olegovna Garanina, Elena A. Sidorova, Stepan Anokhin
Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population. Ershov Memorial Conference (2015)
Natalia Olegovna Garanina, Elena A. Sidorova
An Approach to Ambiguity Resolution for Ontology Population. CS&P (2015)
Natalia Olegovna Garanina
Common knowledge in well-structured perfect recall systems. Autom. Control. Comput. Sci. 48 (7) (2014)
Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova
An Approach to Model Checking of Multi-agent Data Analysis. MOD* (2014)
Natalia Olegovna Garanina, Elena A. Sidorova, Eugene V. Bodin
A Multi-agent Text Analysis Based on Ontology of Subject Domain. Ershov Memorial Conference (2014)
Natalia Olegovna Garanina, Evgeny V. Bodin
Distributed Termination Detection by Counting Agent. CS&P (2014)
Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. Bodin
A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. CS&P (2013)
Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina
Towards Description Logic on Concept Lattices. CLA (2013)