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)

Verification-Oriented Language C-Light and Its Structural Operational Semantics. - Valery A. Nepomniaschy; Igor S. Anureev; Alexey V. Promsky (Ershov Memorial Conference, 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)

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)

Combining Two Formalism for Reasoning about Concepts. - Nikolay V. Shilov 002; Igor S. Anureev; Natalya Olegovna Garanina (Description Logics, 2007)

Generation of correctness conditions for imperative programs. - Nikolay V. Shilov 002; Igor S. Anureev; Evgeny V. Bodin (Program. Comput. Softw., 2008)

Operational ontological approach to formal programming language specification. - Igor S. Anureev (Program. Comput. Softw., 2009)

C-programs verification based on mixed axiomatic semantics. - Igor S. Anureev; Ilya V. Maryasov; Valery A. Nepomniaschy (Autom. Control. Comput. Sci., 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)

Typical examples of using the atoment language. - Igor S. Anureev (Autom. Control. Comput. Sci., 2012)

Attribute annotations and their use in C program deductive verification. - M. M. Atuchin; Igor S. Anureev (Autom. Control. Comput. Sci., 2012)

Deductive verification of telecommunication systems written in C. - Igor S. Anureev (Autom. Control. Comput. Sci., 2013)

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)

Towards platform-independent verification of the standard mathematical functions: the square root function. - Nikolay V. Shilov 002; Igor S. Anureev; Mikhail Berdyshev; Dmitry Kondratev; Aleksey V. Promsky (CoRR, 2018)

Two-Step Deductive Verification of Control Software Using Reflex. - Igor S. Anureev; Natalia Olegovna Garanina; Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergei Gorlatch (Ershov Informatics Conference, 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 (FM Workshops (1), 2019)

Verification-Oriented Process Ontology. - Natalya Olegovna Garanina; Igor S. Anureev; Olesya Borovikova (Autom. Control. Comput. Sci., 2019)

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Igor S. Anureev; Evgeny V. Bodin; Alexey V. Promsky (Autom. Control. Comput. Sci., 2019)

Operational Semantics of Annotated Reflex Programs. - Igor S. Anureev (Autom. Control. Comput. Sci., 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)

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)

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 (FSEN, 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)

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)

Running Regular Research Seminar Online. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Nikolai Kudasov; Igor S. Anureev (KES-AMSTA, 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, 2023)

Requirement Patterns in Deductive Verification of poST Programs. - Ivan M. Chernenko; Igor S. Anureev; Natalya Olegovna Garanina (Autom. Control. Comput. Sci., 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., 2024)