We stand with Ukraine  

Ilya V. Maryasov

Orcid: 0000-0002-2497-6484

According to our database1, Ilya V. Maryasov authored at least 5 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
The Automation of C Program Verification by the Symbolic Method of Loop Invariant Elimination.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
Autom. Control. Comput. Sci., 2019

Towards Automatic Deductive Verification of C Programs over Linear Arrays.
[BibTeX]
[DOI]
Dmitry A. Kondratyev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
Proceedings of the Perspectives of System Informatics, 2019

2014
Automatic C program verification based on mixed axiomatic semantics.
[BibTeX]
[DOI]
Ilya V. Maryasov
,
Valery A. Nepomnyaschy
,
Alexey V. Promsky
,
Dmitry A. Kondratyev
Autom. Control. Comput. Sci., 2014

2011
C program verification in SPECTRUM multilanguage system.
[BibTeX]
[DOI]
Valery A. Nepomniaschy
,
Igor S. Anureev
,
M. M. Atuchin
,
Ilya V. Maryasov
,
A. A. Petrov
,
Alexey V. Promsky
Autom. Control. Comput. Sci., 2011

C-programs verification based on mixed axiomatic semantics.
[BibTeX]
[DOI]
Igor S. Anureev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
Autom. Control. Comput. Sci., 2011


  Loading...