Igor S. Anureev

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 13

Top Topics

Mathematical Functions

Conflict Resolution

Top Venues

Autom. Control. Comput. Sci.

Program. Comput. Softw.

FM Workshops (1)

Publications

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