Natalya Olegovna Garanina

25 papers C 1Journal 16Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Developing controlled natural language for formal specification patterns using AI assistants.
CoRR
Natalya Olegovna Garanina, Vladimir Zyubin, Igor S. Anureev
2024 J jnl
Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev
2024 J jnl
Requirement Patterns in Deductive Verification of poST Programs.
Autom. Control. Comput. Sci.
Ivan M. Chernenko, Igor S. Anureev, Natalya Olegovna Garanina
2022 C conf
Model Checking Meets Auto-Tuning of High-Performance Programs.
LOPSTR
Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
2022 J jnl
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language.
IEEE Access
Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin
2021 — conf
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.
FSEN
Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh
2020 J jnl
Dedicative Verification of Reflex Programs.
Program. Comput. Softw.
Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch
2020 J jnl
Methods for Domain Specialization of Verification-Oriented Process Ontologies.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin
2019 J jnl
Verification-Oriented Process Ontology.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Igor S. Anureev, Olesya Borovikova
2018 J jnl
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population.
Program. Comput. Softw.
Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi
2017 J jnl
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Elena A. Sidorova
2016 J jnl
Conflict resolution in multi-agent systems with typed relations for ontology population.
Program. Comput. Softw.
Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev
2015 J jnl
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms.
Program. Comput. Softw.
Natalya Olegovna Garanina, Elena A. Sidorova
2015 J jnl
Using SPIN for verification of multiagent data analysis.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova
2012 J jnl
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall.
Program. Comput. Softw.
Natalya Olegovna Garanina
2012 J jnl
Optimisation procedures in affine model checking.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina
2011 — conf
Exponential Acceleration of Model Checking for Perfect Recall Systems.
Ershov Memorial Conference
Natalya Olegovna Garanina
2011 J jnl
Model checking of distributed systems with affine data structures.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina
2009 — ch.
Modal Logics for Reasoning about Multiagent Systems.
Encyclopedia of Artificial Intelligence
Nikolay V. Shilov, Natalya Olegovna Garanina
2007 — conf
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.
KONT/KPP
Nikolay V. Shilov, Natalya Olegovna Garanina
2007 — conf
Combining Two Formalism for Reasoning about Concepts.
Description Logics
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina
2006 J jnl
Update and Abstraction in Model Checking of Knowledge and Branching Time.
Fundam. Informaticae
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
2006 — conf
Well-Structured Model Checking of Multiagent Systems.
Ershov Memorial Conference
Nikolay V. Shilov, Natalya Olegovna Garanina
2003 — conf
Polynomial Approximations for Model Checking.
Ershov Memorial Conference
Nikolay V. Shilov, Natalya Olegovna Garanina
2002 — conf
Model checking knowledge and fixpoints.
FICS
Nikolay V. Shilov, Natalya Olegovna Garanina