| Full list of publications: |
|
|
Citations (Crossref Cited-By Service + Math-Net.Ru) |
|
|
Articles
|
|
| |
| 1. |
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]
|
| 2. |
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  |
| 3. |
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  |
| 4. |
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]
|
| 5. |
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  |
| 6. |
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]
|
| 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, 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 |
| 9. |
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 |
| 10. |
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 |
Thesis
|
|
| |
| 11. |
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. |
|
Contact us: