|
|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
|
 2019 |
| 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]
|
|
| 2018 |
| 2. |
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 25:5 (2018), 491–505 
|
2
[x]
|
|
| 2017 |
| 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”, Модел. и анализ информ. систем, 24:6 (2017), 743–754
|
5
[x]
|
|
| 2016 |
| 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  |
|
| 2015 |
| 6. |
I. V. Maryasov, V. A. Nepomniaschy, “Loop invariants elimination for definite iterations over unchangeable data structures in C programs”, Модел. и анализ информ. систем, 22:6 (2015), 773–782
|
6
[x]
|
|
| 2013 |
| 7. |
И. В. Марьясов, В. А. Непомнящий, А. В. Промский, Д. А. Кондратьев, “Автоматическая верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 20:6 (2013), 52–63 mais-journal.ru/jour/article/download/157/158 |
|
| 2012 |
| 8. |
И. В. Марьясов, Верификация C-программ с помощью смешанной аксиоматической семантики, Дисс. … канд. физ.-матем. наук, ИСИ им. А. П. Ершова СО РАН, Новосибирск, 2012 , 110 с. |
| 9. |
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 |
|
| 2010 |
| 10. |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский, “Верификация C-программ в мультиязыковой системе СПЕКТР”, Модел. и анализ информ. систем, 17:4 (2010), 88–100
|
6
[x]
|
| 11. |
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий, “Верификация C-программ на основе смешанной аксиоматической семантики”, Модел. и анализ информ. систем, 17:3 (2010), 5–28
|
5
[x]
|
|
Обратная связь: