Dmitry A. Kondratyev

12 papers Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — conf
A Learning Path to Functional Programming (and What Students can see on the Path).
KES-AMSTA
Lidia Gorodnyaya, Dmitry A. Kondratyev, Nikolay Shilov
2023 — conf
Running Regular Research Seminar Online.
KES-AMSTA
Nikolay V. Shilov, Dmitry A. Kondratyev, Nikolai Kudasov, Igor S. Anureev
2022 J jnl
Automation of C Program Deductive Verification without Using Loop Invariants.
Program. Comput. Softw.
Dmitry A. Kondratyev, Valery A. Nepomniaschy
2022 J jnl
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System.
Autom. Control. Comput. Sci.
Dmitry A. Kondratyev
2020 J jnl
The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs.
Autom. Control. Comput. Sci.
Dmitry A. Kondratyev, Alexey V. Promsky
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
Proof Strategy for Automated Sisal Program Verification.
TOOLS
Dmitry A. Kondratyev, Alexei V. Promsky
2019 J jnl
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination.
Autom. Control. Comput. Sci.
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
2019 — conf
Towards Automatic Deductive Verification of C Programs over Linear Arrays.
Ershov Informatics Conference
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
2017 — conf
Implementing the Symbolic Method of Verification in the C-Light Project.
Ershov Informatics Conference
Dmitry A. Kondratyev
2015 J jnl
Developing a self-applicable verification system. Theory and practice.
Autom. Control. Comput. Sci.
Dmitry A. Kondratyev, Alexey V. Promsky
2014 J jnl
Automatic C program verification based on mixed axiomatic semantics.
Autom. Control. Comput. Sci.
Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev