Igor S. Anureev

30 papers Journal 24Unranked 6
YearRankTypeTitle / 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
2025 J jnl
Pattern-Based Approach to the Automation of Deductive Verification of Process-Oriented Programs: Patterns, Lemmas, and Algorithms.
Autom. Control. Comput. Sci.
Ivan M. Chernenko, 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
2023 — conf
Running Regular Research Seminar Online.
KES-AMSTA
Nikolay V. Shilov, Dmitry A. Kondratyev, Nikolai Kudasov, Igor S. Anureev
2023 J jnl
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.
Sensors
Vladimir E. Zyubin, Natalia Olegovna Garanina, Igor S. Anureev, Sergey M. Staroletov
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 J jnl
A Temporal Logic for Programmable Logic Controllers.
Autom. Control. Comput. Sci.
Natalia Olegovna Garanina, Igor S. Anureev, Vladimir E. Zyubin, Sergey M. Staroletov, Tatiana V. Liakh, Andrei S. Rozov, Sergei P. Gorlatch
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
2020 J jnl
Operational Semantics of Annotated Reflex Programs.
Autom. Control. Comput. Sci.
Igor S. Anureev
2019 — conf
An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.
FM Workshops (1)
Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch
2019 J jnl
Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function.
Autom. Control. Comput. Sci.
Nikolay V. Shilov, Dmitry A. Kondratyev, Igor S. Anureev, Evgeny V. Bodin, Alexey V. Promsky
2019 — conf
Two-Step Deductive Verification of Control Software Using Reflex.
Ershov Informatics Conference
Igor S. Anureev, Natalia Olegovna Garanina, Tatiana V. Liakh, Andrei Rozov, Vladimir Zyubin, Sergei Gorlatch
2019 J jnl
Verification-Oriented Process Ontology.
Autom. Control. Comput. Sci.
Natalya Olegovna Garanina, Igor S. Anureev, Olesya Borovikova
2018 J jnl
Towards platform-independent verification of the standard mathematical functions: the square root function.
CoRR
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky
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
2013 J jnl
Deductive verification of telecommunication systems written in C.
Autom. Control. Comput. Sci.
Igor S. Anureev
2012 J jnl
Attribute annotations and their use in C program deductive verification.
Autom. Control. Comput. Sci.
M. M. Atuchin, Igor S. Anureev
2012 J jnl
Typical examples of using the atoment language.
Autom. Control. Comput. Sci.
Igor S. Anureev
2011 J jnl
C program verification in SPECTRUM multilanguage system.
Autom. Control. Comput. Sci.
Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky
2011 J jnl
C-programs verification based on mixed axiomatic semantics.
Autom. Control. Comput. Sci.
Igor S. Anureev, Ilya V. Maryasov, Valery A. Nepomniaschy
2009 J jnl
Operational ontological approach to formal programming language specification.
Program. Comput. Softw.
Igor S. Anureev
2008 J jnl
Generation of correctness conditions for imperative programs.
Program. Comput. Softw.
Nikolay V. Shilov, Igor S. Anureev, Evgeny V. Bodin
2007 — conf
Combining Two Formalism for Reasoning about Concepts.
Description Logics
Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina
2006 J jnl
Towards verification of C# programs: A three-level approach.
Program. Comput. Softw.
Valery A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky
2003 J jnl
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.
Program. Comput. Softw.
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
2003 — conf
Verification-Oriented Language C-Light and Its Structural Operational Semantics.
Ershov Memorial Conference
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky
2002 J jnl
Towards Verification of C Programs. C-Light Language and Its Formal Semantics.
Program. Comput. Softw.
Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky