Automatic C program verification based on mixed axiomatic semantics. - Ilya V. Maryasov; Valery A. Nepomnyaschy; Alexey V. Promsky; Dmitry A. Kondratyev (Autom. Control. Comput. Sci., 2014)

Developing a self-applicable verification system. Theory and practice. - Dmitry A. Kondratyev; Alexey V. Promsky (Autom. Control. Comput. Sci., 2015)

Implementing the Symbolic Method of Verification in the C-Light Project. - Dmitry A. Kondratyev (Ershov Informatics Conference, 2017)

Towards Automatic Deductive Verification of C Programs over Linear Arrays. - Dmitry A. Kondratyev; Ilya V. Maryasov; Valery A. Nepomniaschy (Ershov Informatics Conference, 2019)

Proof Strategy for Automated Sisal Program Verification. - Dmitry A. Kondratyev; Alexei V. Promsky (TOOLS, 2019)

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. - Dmitry A. Kondratyev; Ilya V. Maryasov; Valery A. Nepomniaschy (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)

The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs. - Dmitry A. Kondratyev; Alexey V. Promsky (Autom. Control. Comput. Sci., 2020)

Automation of C Program Deductive Verification without Using Loop Invariants. - Dmitry A. Kondratyev; Valery A. Nepomniaschy (Program. Comput. Softw., 2022)

Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System. - Dmitry A. Kondratyev (Autom. Control. Comput. Sci., 2022)

Running Regular Research Seminar Online. - Nikolay V. Shilov 002; Dmitry A. Kondratyev; Nikolai Kudasov; Igor S. Anureev (KES-AMSTA, 2023)

A Learning Path to Functional Programming (and What Students can see on the Path). - Lidia Gorodnyaya; Dmitry A. Kondratyev; Nikolay Shilov 002 (KES-AMSTA, 2024)