Ilya V. Maryasov

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Computationally Efficient

Symbolic Execution

Noise Resistant

Top Venues

Autom. Control. Comput. Sci.

Ershov Informatics Conference

Publications

Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
Towards Automatic Deductive Verification of C Programs over Linear Arrays. Ershov Informatics Conference (2019)
Dmitry A. Kondratyev, Ilya V. Maryasov, Valery A. Nepomniaschy
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination. Autom. Control. Comput. Sci. 53 (7) (2019)
Ilya V. Maryasov, Valery A. Nepomnyaschy, Alexey V. Promsky, Dmitry A. Kondratyev
Automatic C program verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 48 (7) (2014)
Igor S. Anureev, Ilya V. Maryasov, Valery A. Nepomniaschy
C-programs verification based on mixed axiomatic semantics. Autom. Control. Comput. Sci. 45 (7) (2011)
Valery A. Nepomniaschy, Igor S. Anureev, M. M. Atuchin, Ilya V. Maryasov, A. A. Petrov, Alexey V. Promsky
C program verification in SPECTRUM multilanguage system. Autom. Control. Comput. Sci. 45 (7) (2011)