|
|
Publications in Math-Net.Ru |
Citations |
|
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 |
2
|
|
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 |
5
|
|
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 |
|
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 |
6
|
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 |
|
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 |
1
|
|
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 |
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 |
5
|
|
2012 |
9. |
D. A. Chkliaev, V. A. Nepomniaschy, “Deductive Verification of the Sliding Window Protocol”, Model. Anal. Inform. Sist., 19:6 (2012), 57–68 |
|
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 |
1
|
|
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 |
6
|
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 |
5
|
|
1971 |
13. |
V. A. Nepomnyashchii, “On the completeness of operations in operator algorithms”, Dokl. Akad. Nauk SSSR, 199:4 (1971), 780–782 |
|
1970 |
14. |
V. A. Nepomnyashchii, “Rudimentary predicates and Turing computations”, Dokl. Akad. Nauk SSSR, 195:2 (1970), 282–284 |
2
|
|
1966 |
15. |
V. A. Nepomnyashchii, “On certain automata capable of computing a basis for recursively
enumerable sets”, Algebra i Logika. Sem., 5:5 (1966), 69–83 |
16. |
V. A. Nepomnyashchii, “A basis for recursively-enumerable sets”, Dokl. Akad. Nauk SSSR, 170:6 (1966), 1262–1264 |
|
|
|
2022 |
17. |
S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195 ; Russian Math. Surveys, 77:1 (2022), 183–188 |
|
2014 |
18. |
V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 21:6 (2014), 5–6 |
|
2011 |
19. |
V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 18:4 (2011), 5–6 |
|
2010 |
20. |
V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 17:4 (2010), 1–2 |
|
Organisations |
|
|
|
|