Natalia Olegovna Garanina

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