Natalya Olegovna Garanina

According to our database, Natalya Olegovna Garanina authored at least 41 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.

Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov

Sensors, July, 2023

Auto-Tuning High-Performance Programs Using Model Checking in Promela.

Natalia Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch

CoRR, 2023

2022

Autotuning Parallel Programs by Model Checking.

Natalia Olegovna Garanina, Sergei P. Gorlatch

Autom. Control. Comput. Sci., December, 2022

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language.

Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin

IEEE Access, 2022

Model Checking Meets Auto-Tuning of High-Performance Programs.

Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

Knowledge-Based Algorithms for BDI Agents.

Nikolay V. Shilov, Natalia Olegovna Garanina

Autom. Control. Comput. Sci., 2021

A Temporal Logic for Programmable Logic Controllers.

Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch

Autom. Control. Comput. Sci., 2021

Static Checking Consistency of Temporal Requirements for Control Software.

Natalia Olegovna Garanina, Dmitry Koznov

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.

Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Dedicative Verification of Reflex Programs.

Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch

Program. Comput. Softw., 2020

Methods for Domain Specialization of Verification-Oriented Process Ontologies.

Natalya Olegovna Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

Autom. Control. Comput. Sci., 2020

2019

Verification-Oriented Process Ontology.

Natalya Olegovna Garanina, Igor S. Anureev, Olesya Borovikova

Autom. Control. Comput. Sci., 2019

An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.

Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Two-Step Deductive Verification of Control Software Using Reflex.

Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch

Proceedings of the Perspectives of System Informatics, 2019

2018

Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population.

Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi

Program. Comput. Softw., 2018

An Ontology of Specification Patterns for Verification of Concurrent Systems.

Natalia Olegovna Garanina, Vladimir Zubin, Tatiana Lyakh, Sergei Gorlatch

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

2017

An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution.

Natalya Olegovna Garanina, Elena A. Sidorova

Autom. Control. Comput. Sci., 2017

A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population.

Natalia Olegovna Garanina, Elena A. Sidorova, Irina Kononenko

Proceedings of the Perspectives of System Informatics, 2017

2016

Conflict resolution in multi-agent systems with typed relations for ontology population.

Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev

Program. Comput. Softw., 2016

Context-dependent Lexical and Syntactic Disambiguation in Ontology Population.

Natalia Olegovna Garanina, Elena A. Sidorova

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms.

Natalya Olegovna Garanina, Elena A. Sidorova

Program. Comput. Softw., 2015

Using SPIN for verification of multiagent data analysis.

Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova

Autom. Control. Comput. Sci., 2015

Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population.

Natalia Olegovna Garanina, Elena A. Sidorova, Stepan Anokhin

Proceedings of the Perspectives of System Informatics, 2015

An Approach to Ambiguity Resolution for Ontology Population.

Natalia Olegovna Garanina, Elena A. Sidorova

Proceedings of the 24th International Workshop on Concurrency, 2015

2014

An Approach to Model Checking of Multi-agent Data Analysis.

Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova

Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Common knowledge in well-structured perfect recall systems.

Natalia Olegovna Garanina

Autom. Control. Comput. Sci., 2014

A Multi-agent Text Analysis Based on Ontology of Subject Domain.

Natalia Olegovna Garanina, Elena A. Sidorova, Eugene V. Bodin

Proceedings of the Perspectives of System Informatics, 2014

Distributed Termination Detection by Counting Agent.

Natalia Olegovna Garanina, Evgeny V. Bodin

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2013

A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology.

Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. Bodin

Proceedings of the 22nd International Workshop on Concurrency, 2013

Towards Description Logic on Concept Lattices.

Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina

Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012

Exponential improvement of time complexity of model checking for multiagent systems with perfect recall.

Natalya Olegovna Garanina

Program. Comput. Softw., 2012

Optimisation procedures in affine model checking.

Natalya Olegovna Garanina

Autom. Control. Comput. Sci., 2012

2011

Model checking of distributed systems with affine data structures.

Natalya Olegovna Garanina

Autom. Control. Comput. Sci., 2011

Exponential Acceleration of Model Checking for Perfect Recall Systems.

Natalya Olegovna Garanina

Proceedings of the Perspectives of Systems Informatics, 2011

2009

Modal Logics for Reasoning about Multiagent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2007

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Knowledge Processing and Data Analysis - First International Conference, 2007

Combining Two Formalism for Reasoning about Concepts.

Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Update and Abstraction in Model Checking of Knowledge and Branching Time.

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe

Fundam. Informaticae, 2006

Well-Structured Model Checking of Multiagent Systems.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Perspectives of Systems Informatics, 2006

2003

Polynomial Approximations for Model Checking.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Model checking knowledge and fixpoints.

Nikolay V. Shilov, Natalya Olegovna Garanina

Proceedings of the Fixed Points in Computer Science, 2002