Valery A. Nepomniaschy

◀ ▶ joint publications with Alexey V. Promsky

> Home > Persons > Valery A. Nepomniaschy

Publications

2014
[j14]
- 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)
2011
[j12]
- 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
[j9]
- 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
[j7]
- 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)
[c11]
- 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
[j5]
- 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.