Natalya Olegovna Garanina

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 11

Top Topics

Ontology Population

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

Publications

Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch
Model Checking Meets Auto-Tuning of High-Performance Programs. LOPSTR (2022)
Vladimir E. Zyubin, Andrei S. Rozov, Igor S. Anureev, Natalya Olegovna Garanina, Valeriy Vyatkin
poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language. IEEE Access 10 (2022)
Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey M. Staroletov, Andrei Rozov, Tatiana V. Liakh
Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. FSEN (2021)
Igor S. Anureev, Natalya Olegovna Garanina, Tatiana V. Lyakh, Andrei S. Rozov, Vladimir E. Zyubin, Sergei P. Gorlatch
Dedicative Verification of Reflex Programs. Program. Comput. Softw. 46 (4) (2020)
Natalya Olegovna Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin
Methods for Domain Specialization of Verification-Oriented Process Ontologies. Autom. Control. Comput. Sci. 54 (7) (2020)
Natalya Olegovna Garanina, Igor S. Anureev, Olesya Borovikova
Verification-Oriented Process Ontology. Autom. Control. Comput. Sci. 53 (7) (2019)
Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population. Program. Comput. Softw. 44 (1) (2018)
Natalya Olegovna Garanina, Elena A. Sidorova
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution. Autom. Control. Comput. Sci. 51 (7) (2017)
Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev
Conflict resolution in multi-agent systems with typed relations for ontology population. Program. Comput. Softw. 42 (4) (2016)
Natalya Olegovna Garanina, Elena A. Sidorova
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Program. Comput. Softw. 41 (3) (2015)
Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova
Using SPIN for verification of multiagent data analysis. Autom. Control. Comput. Sci. 49 (7) (2015)
Natalya Olegovna Garanina
Optimisation procedures in affine model checking. Autom. Control. Comput. Sci. 46 (7) (2012)
Natalya Olegovna Garanina
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. Program. Comput. Softw. 38 (6) (2012)
Natalya Olegovna Garanina
Model checking of distributed systems with affine data structures. Autom. Control. Comput. Sci. 45 (7) (2011)
Natalya Olegovna Garanina
Exponential Acceleration of Model Checking for Perfect Recall Systems. Ershov Memorial Conference (2011)
Nikolay V. Shilov, Natalya Olegovna Garanina
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. KONT/KPP (2007)
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina
Combining Two Formalism for Reasoning about Concepts. Description Logics (2007)
Nikolay V. Shilov, Natalya Olegovna Garanina
Well-Structured Model Checking of Multiagent Systems. Ershov Memorial Conference (2006)
Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
Update and Abstraction in Model Checking of Knowledge and Branching Time. Fundam. Informaticae 72 (1-3) (2006)
Nikolay V. Shilov, Natalya Olegovna Garanina
Polynomial Approximations for Model Checking. Ershov Memorial Conference (2003)
Nikolay V. Shilov, Natalya Olegovna Garanina
Model checking knowledge and fixpoints. FICS (2002)