Igor S. Anureev

According to our database, Igor S. Anureev authored at least 30 papers between 2002 and 2025.

Collaborative distances:

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

2025

Developing controlled natural language for formal specification patterns using AI assistants.

Natalya Olegovna Garanina, Vladimir Zyubin, Igor S. Anureev

CoRR, December, 2025

Pattern-Based Approach to the Automation of Deductive Verification of Process-Oriented Programs: Patterns, Lemmas, and Algorithms.

Ivan M. Chernenko, Igor S. Anureev

Autom. Control. Comput. Sci., December, 2025

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., December, 2024

Requirement Patterns in Deductive Verification of poST Programs.

Ivan M. Chernenko, Igor S. Anureev, Natalya Olegovna Garanina

Autom. Control. Comput. Sci., December, 2024

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

Running Regular Research Seminar Online.

Nikolay V. Shilov, Dmitry A. Kondratyev, Nikolai Kudasov, Igor S. Anureev

Proceedings of the Agents and Multi-agent Systems: Technologies and Applications 2023, 2023

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

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

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

Operational Semantics of Annotated Reflex Programs.

Igor S. Anureev

Autom. Control. Comput. Sci., 2020

2019

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.

Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky

Autom. Control. Comput. Sci., 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

Towards platform-independent verification of the standard mathematical functions: the square root function.

Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky

CoRR, 2018

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

2013

Deductive verification of telecommunication systems written in C.

Igor S. Anureev

Autom. Control. Comput. Sci., 2013

2012

Attribute annotations and their use in C program deductive verification.

M. M. Atuchin, Igor S. Anureev

Autom. Control. Comput. Sci., 2012

Typical examples of using the atoment language.

Igor S. Anureev

Autom. Control. Comput. Sci., 2012

2011

C program verification in SPECTRUM multilanguage system.

Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky

Autom. Control. Comput. Sci., 2011

C-programs verification based on mixed axiomatic semantics.

Igor S. Anureev, Ilya V. Maryasov, Valery A. Nepomniaschy

Autom. Control. Comput. Sci., 2011

2009

Operational ontological approach to formal programming language specification.

Igor S. Anureev

Program. Comput. Softw., 2009

2008

Generation of correctness conditions for imperative programs.

Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin

Program. Comput. Softw., 2008

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

Towards verification of C# programs: A three-level approach.

Valery A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky

Program. Comput. Softw., 2006

2003

Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.

Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky

Program. Comput. Softw., 2003

Verification-Oriented Language C-Light and Its Structural Operational Semantics.

Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky

Proceedings of the Perspectives of Systems Informatics, 2003

2002

Towards Verification of C Programs. C-Light Language and Its Formal Semantics.

Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky

Program. Comput. Softw., 2002