RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Nepomniaschy, Valery Alexandrovich

Statistics Math-Net.Ru
Total publications: 18
Scientific articles: 15

Number of views:
This page:652
Abstract pages:2591
Full texts:999
References:269
Senior Researcher
Candidate of physico-mathematical sciences
E-mail:

http://www.mathnet.ru/eng/person54220
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2018
1. D. A. Kondratyev, I. V. Maryasov, V. A. Nepomnyaschy, “The automation of C program verification by symbolic method of loop invariants elimination”, Model. Anal. Inform. Sist., 25:5 (2018),  491–505  mathnet
2017
2. I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Model. Anal. Inform. Sist., 24:6 (2017),  743–754  mathnet  elib
2016
3. N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko, “Application of coloured Petri nets for verification of scenario control structures in UCM notation”, Model. Anal. Inform. Sist., 23:6 (2016),  688–702  mathnet  mathscinet  elib
2015
4. I. V. Maryasov, V. A. Nepomniaschy, “Loop invariants elimination for definite iterations over unchangeable data structures in C programs”, Model. Anal. Inform. Sist., 22:6 (2015),  773–782  mathnet  mathscinet  elib
5. S. A. Chernenok, V. A. Nepomniaschy, “The application of coloured Petri nets to verification of distributed systems specified by message sequence charts”, Proceedings of ISP RAS, 27:3 (2015),  197–218  mathnet  elib
2014
6. S. A. Chernenok, V. A. Nepomniaschy, “Analysis and verification of message sequence charts of distributed systems with the help of Coloured Petri Nets”, Model. Anal. Inform. Sist., 21:6 (2014),  94–106  mathnet
2013
7. I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev, “Automatic C Program Verification Based on Mixed Axiomatic Semantics”, Model. Anal. Inform. Sist., 20:6 (2013),  52–63  mathnet
8. I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013),  349–383  mathnet
2012
9. D. A. Chkliaev, V. A. Nepomniaschy, “Deductive Verification of the Sliding Window Protocol”, Model. Anal. Inform. Sist., 19:6 (2012),  57–68  mathnet
2011
10. D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomnyashchii, “Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets”, Model. Anal. Inform. Sist., 18:4 (2011),  144–156  mathnet
2010
11. V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Mar'yasov, A. A. Petrov, A. V. Promskii, “C program verification in the multilanguage system spectrum”, Model. Anal. Inform. Sist., 17:4 (2010),  88–100  mathnet
12. I. S. Anureev, I. V. Mar'yasov, V. A. Nepomnyashchii, “C-programs verification on basis of mixed axiomatic semantics”, Model. Anal. Inform. Sist., 17:3 (2010),  5–28  mathnet
1971
13. V. A. Nepomnyashchii, “On the completeness of operations in operator algorithms”, Dokl. Akad. Nauk SSSR, 199:4 (1971),  780–782  mathnet  mathscinet  zmath
1970
14. V. A. Nepomnyashchii, “Rudimentary predicates and Turing computations”, Dokl. Akad. Nauk SSSR, 195:2 (1970),  282–284  mathnet  mathscinet  zmath
1966
15. V. A. Nepomnyashchii, “A basis for recursively-enumerable sets”, Dokl. Akad. Nauk SSSR, 170:6 (1966),  1262–1264  mathnet  mathscinet  zmath

2014
16. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 21:6 (2014),  5–6  mathnet
2011
17. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 18:4 (2011),  5–6  mathnet
2010
18. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 17:4 (2010),  1–2  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020