We stand with Ukraine  

Dmitry A. Kondratyev

Orcid: 0000-0002-9387-6735

Affiliations:
  • Russian Academy of Sciences, Siberian Branch, Ershov Institute of Informatics Systems, Novosibirsk, Russia


According to our database1, Dmitry A. Kondratyev authored at least 10 papers between 2014 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
Autom. Control. Comput. Sci., December, 2022

Automation of C Program Deductive Verification without Using Loop Invariants.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Valery A. Nepomniaschy
Program. Comput. Softw., 2022

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

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

The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
Autom. Control. Comput. Sci., 2019

Proof Strategy for Automated Sisal Program Verification.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Alexei V. Promsky
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Towards Automatic Deductive Verification of C Programs over Linear Arrays.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
Proceedings of the Perspectives of System Informatics, 2019

2017
Implementing the Symbolic Method of Verification in the C-Light Project.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
Proceedings of the Perspectives of System Informatics, 2017

2015
Developing a self-applicable verification system. Theory and practice.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Alexey V. Promsky
Autom. Control. Comput. Sci., 2015

2014
Automatic C program verification based on mixed axiomatic semantics.
[BibTeX]
[DOI]
Ilya V. Maryasov
,
Valery A. Nepomnyaschy
,
Alexey V. Promsky
,
Dmitry A. Kondratyev
Autom. Control. Comput. Sci., 2014


  Loading...