Model checking knowledge and fixpoints. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (FICS, 2002)

Polynomial Approximations for Model Checking. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Ershov Memorial Conference, 2003)

Well-Structured Model Checking of Multiagent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Ershov Memorial Conference, 2006)

Update and Abstraction in Model Checking of Knowledge and Branching Time. - Nikolay V. Shilov 002; Natalya Olegovna Garanina; K.-M. Choe (Fundam. Informaticae, 2006)

Combining Two Formalism for Reasoning about Concepts. - Nikolay V. Shilov 002; Igor S. Anureev; Natalya Olegovna Garanina (Description Logics, 2007)

Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (KONT/KPP, 2007)

Modal Logics for Reasoning about Multiagent Systems. - Nikolay V. Shilov 002; Natalya Olegovna Garanina (Encyclopedia of Artificial Intelligence, 2009)

Exponential Acceleration of Model Checking for Perfect Recall Systems. - Natalya Olegovna Garanina (Ershov Memorial Conference, 2011)

Model checking of distributed systems with affine data structures. - Natalya Olegovna Garanina (Autom. Control. Comput. Sci., 2011)

Optimisation procedures in affine model checking. - Natalya Olegovna Garanina (Autom. Control. Comput. Sci., 2012)

Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. - Natalya Olegovna Garanina (Program. Comput. Softw., 2012)

Towards Description Logic on Concept Lattices. - Julia V. Grebeneva; Nikolay V. Shilov 002; Natalia Olegovna Garanina (CLA, 2013)

A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. - Natalia Olegovna Garanina; Elena A. Sidorova; Evgeny V. Bodin (CS&P, 2013)

Distributed Termination Detection by Counting Agent. - Natalia Olegovna Garanina; Evgeny V. Bodin (CS&P, 2014)

A Multi-agent Text Analysis Based on Ontology of Subject Domain. - Natalia Olegovna Garanina; Elena A. Sidorova; Eugene V. Bodin (Ershov Memorial Conference, 2014)

Common knowledge in well-structured perfect recall systems. - Natalia Olegovna Garanina (Autom. Control. Comput. Sci., 2014)

An Approach to Model Checking of Multi-agent Data Analysis. - Natalia Olegovna Garanina; Eugene V. Bodin; Elena A. Sidorova (MOD*, 2014)

An Approach to Ambiguity Resolution for Ontology Population. - Natalia Olegovna Garanina; Elena A. Sidorova (CS&P, 2015)

Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population. - Natalia Olegovna Garanina; Elena A. Sidorova; Stepan Anokhin (Ershov Memorial Conference, 2015)

Using SPIN for verification of multiagent data analysis. - Natalya Olegovna Garanina; Evgeny V. Bodin; Elena A. Sidorova (Autom. Control. Comput. Sci., 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)

Context-dependent Lexical and Syntactic Disambiguation in Ontology Population. - Natalia Olegovna Garanina; Elena A. Sidorova (CS&P, 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)

A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population. - Natalia Olegovna Garanina; Elena A. Sidorova; Irina Kononenko (Ershov Informatics Conference, 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)

Using Multiple Semantic Measures for Coreference Resolution in Ontology Population. - Natalia Olegovna Garanina; Elena A. Sidorova; Irina Kononenko; Sergei Gorlatch (Int. J. Comput., 2017)

An Ontology of Specification Patterns for Verification of Concurrent Systems. - Natalia Olegovna Garanina; Vladimir Zubin; Tatiana V. Lyakh; Sergei Gorlatch (SoMeT, 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)

Two-Step Deductive Verification of Control Software Using Reflex. - Igor S. Anureev; Natalia Olegovna Garanina; Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergei Gorlatch (Ershov Informatics Conference, 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 (FM Workshops (1), 2019)

Verification-Oriented Process Ontology. - Natalya Olegovna Garanina; Igor S. Anureev; Olesya Borovikova (Autom. Control. Comput. Sci., 2019)

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)

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)

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 (FSEN, 2021)

Static Checking Consistency of Temporal Requirements for Control Software. - Natalia Olegovna Garanina; Dmitry Koznov (MEDI Workshops, 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)

Knowledge-Based Algorithms for BDI Agents. - Nikolay V. Shilov 002; Natalia Olegovna Garanina (Autom. Control. Comput. Sci., 2021)

Model Checking Meets Auto-Tuning of High-Performance Programs. - Natalya Olegovna Garanina; Sergey M. Staroletov; Sergei Gorlatch (LOPSTR, 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)

Autotuning Parallel Programs by Model Checking. - Natalia Olegovna Garanina; Sergei P. Gorlatch (Autom. Control. Comput. Sci., 2022)

Auto-Tuning High-Performance Programs Using Model Checking in Promela. - Natalia Olegovna Garanina; Sergey M. Staroletov; Sergei Gorlatch (CoRR, 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, 2023)

Requirement Patterns in Deductive Verification of poST Programs. - Ivan M. Chernenko; Igor S. Anureev; Natalya Olegovna Garanina (Autom. Control. Comput. Sci., 2024)

Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text. - Natalya Olegovna Garanina; Sergey M. Staroletov; Vladimir E. Zyubin; Igor S. Anureev (Autom. Control. Comput. Sci., 2024)