We stand with Ukraine  

Mikhail K. Ermakov

Affiliations:
  • Russian Academy of Sciences, Institute for System Programming, Moscow


According to our database1, Mikhail K. Ermakov authored at least 3 papers between 2017 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code.
[BibTeX]
[DOI]
Valeriy V. Savchenko
,
Konstantin S. Sorokin
,
I. E. Bronshtein
,
Alexander S. Volkov
,
V. V. Kachanov
,
Georgiy A. Pankratenko
,
Mikhail K. Ermakov
,
S. I. Markov
,
A. V. Spiridonov
,
I. V. Aleksandrov
Program. Comput. Softw., 2020

2018
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
[BibTeX]
[DOI]
A. Yu. Gerasimov
,
Leonid V. Kruglov
,
Mikhail K. Ermakov
,
Sergey P. Vartanov
Program. Comput. Softw., 2018

2017
Static Binary Code Instrumentation for ARM Architecture.
[BibTeX]
[DOI]
Mikhail K. Ermakov
Proceedings of the Perspectives of System Informatics, 2017


  Loading...