| Full list of publications: |
|
|
Citations (Crossref Cited-By Service + Math-Net.Ru) |
|
|
| 1. |
I. V. Maryasov, V. A. Nepomniaschy, “Loop invariants elimination for definite iterations over unchangeable data structures in C programs”, Model. i analiz inform. sistem, 22:6 (2015), 773–782    
|
6
[x]
|
| 2. |
V. A. Nepomnyashchii, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promskii, “C Program Verification in SPECTRUM Multilanguage System”, Automatic Control and Computer Sciences, 45:7 (2011), 413–420 link.springer.com/article/10.3103/S014641161107011X |
| 3. |
I. V. Maryasov, V. A. Nepomniaschy, D. A. Kondratyev, “Invariant elimination of definite iterations over arrays in C programs verification”, Model. i analiz inform. sistem, 24:6 (2017), 743–754
|
5
[x]
|
| 4. |
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. |
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 |
| 6. |
D. A. Kondratyev, I. V. Maryasov, V. A. Nepomniaschy, “Towards Automatic Deductive Verification of C Programs over Linear Arrays”, Perspectives of System Informatics, 12th International Andrei P. Ershov Informatics Conference, PSI 2019 (Novosibirsk, Russia, July 2–5, 2019), Revised Selected Papers, Lecture Notes in Computer Science, 11964, eds. Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov, Springer, 2019, 232–242 https://link.springer.com/chapter/10.1007  
|
1
[x]
|
| 7. |
I. V. Maryasov, V. A. Nepomnyaschy, D. A. Kondratyev, “Verification of Definite Iteration over Arrays with a Loop Exit in C Programs”, System Informatics, 10 (2017), 57–66 (Published online) www.system-informatics.ru/files/article/maryasovnepomniaschykondratyev.pdf |
| 8. |
I. S. Anureev, I. V. Maryasov, I. N. Mikhailov, “Method of the Development of Ontological Operational Semantics for Imperative Programming Languages”, Bulletin of the Novosibirsk Computing Center, 40, Series Computer Science (2016), 15–35 bulletin.iis.nsk.su/files/article/anureev_bulletin_2016.pdf  |
| 9. |
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 |
| 10. |
I. V. Maryasov, Verifikatsiya C-programm s pomoschyu smeshannoi aksiomaticheskoi semantiki, Diss. … kand. fiz.-matem. nauk, ISI im. A. P. Ershova SO RAN, Novosibirsk, 2012 , 110 pp. |
| 11. |
I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy, “Two-level Mixed Verification Method of C-light Programs in Terms of Safety Logic”, Bulletin of the Novosibirsk Computing Center, 34, Series Computer Science (2012), 23–42 bulletin.iis.nsk.su/files/article/anureev_maryasov.pdf |
|
Contact us: