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

2020 – today

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)

2010 – 2019

see FAQ

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

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)
[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
[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)
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)

2000 – 2009

see FAQ

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

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)
[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
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)

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.