Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dmitry A. Kondratyev

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/Kondratyev22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/Kondratyev22
Dmitry A. Kondratyev:
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System. Autom. Control. Comput. Sci. 56(7): 669-687 (2022)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/KondratyevN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/KondratyevN22
Dmitry A. Kondratyev, Valery A. Nepomniaschy:
Automation of C Program Deductive Verification without Using Loop Invariants. Program. Comput. Softw. 48(5): 331-346 (2022)
2020
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KondratyevP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KondratyevP20
Dmitry A. Kondratyev, Alexey V. Promsky:
The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs. Autom. Control. Comput. Sci. 54(7): 728-739 (2020)
2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/ShilovKABP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/ShilovKABP19
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): 595-616 (2019)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KondratyevMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KondratyevMN19
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy:
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. Autom. Control. Comput. Sci. 53(7): 653-662 (2019)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/KondratyevP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/KondratyevP15
Dmitry A. Kondratyev, Alexey V. Promsky:
Developing a self-applicable verification system. Theory and practice. Autom. Control. Comput. Sci. 49(7): 445-452 (2015)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/MaryasovNPK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/MaryasovNPK14
Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev:
Automatic C program verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 48(7): 407-414 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/KondratyevMN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/KondratyevMN19
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy:
Towards Automatic Deductive Verification of C Programs over Linear Arrays. Ershov Informatics Conference 2019: 232-242
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/KondratyevP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/KondratyevP19
Dmitry A. Kondratyev, Alexei V. Promsky:
Proof Strategy for Automated Sisal Program Verification. TOOLS 2019: 113-120
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Kondratyev17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Kondratyev17
Dmitry A. Kondratyev:
Implementing the Symbolic Method of Verification in the C-Light Project. Ershov Informatics Conference 2017: 227-240

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.