Natalya Olegovna Garanina

25 papers C 1Journal 16Unranked 7

Year	Rank	Type	Title / 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