Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexey V. Promsky

Alexei V. Promsky – Aleksey V. Promsky

> Home > Persons

Person information

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?

2020
[j9]
- 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
[j8]
- 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)
2015
[j7]
- 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
[j6]
- 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)
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/Promsky12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/Promsky12
Alexey V. Promsky:
C program verification: Verification condition explanation and standard library. Autom. Control. Comput. Sci. 46(7): 394-401 (2012)
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/accs/NepomniaschyAAMPP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/accs/NepomniaschyAAMPP11
Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky:
C program verification in SPECTRUM multilanguage system. Autom. Control. Comput. Sci. 45(7): 413-420 (2011)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/NepomniaschyADP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/NepomniaschyADP06
Valery A. Nepomniaschy, Igor S. Anureev, I. V. Dubranovskii, Alexey V. Promsky:
Towards verification of C# programs: A three-level approach. Program. Comput. Softw. 32(4): 190-202 (2006)
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/NepomniaschyAP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/NepomniaschyAP03
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language. Program. Comput. Softw. 29(6): 338-350 (2003)
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pcs/NepomniaschyAMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pcs/NepomniaschyAMP02
Valery A. Nepomniaschy, Igor S. Anureev, I. N. Mikhailov, Alexey V. Promsky:
Towards Verification of C Programs. C-Light Language and Its Formal Semantics. Program. Comput. Softw. 28(6): 314-323 (2002)

Conference and Workshop Papers

see FAQ

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

2019
[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
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/NepomniaschyAP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/NepomniaschyAP03
Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky:
Verification-Oriented Language C-Light and Its Structural Operational Semantics. Ershov Memorial Conference 2003: 103-111

Informal and Other Publications

see FAQ

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

2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-03414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-03414
Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky:
Towards platform-independent specification and verification of the standard trigonometry functions. CoRR abs/1901.03414 (2019)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-00969
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-00969
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev, Dmitry Kondratev, Aleksey V. Promsky:
Towards platform-independent verification of the standard mathematical functions: the square root function. CoRR abs/1801.00969 (2018)

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.