Login / Signup
Mikhail K. Ermakov
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 3
Top Topics
Gray Code
Hamming Distance
Static Analysis
Symbolic Execution
Top Venues
Program. Comput. Softw.
Ershov Informatics Conference
</>
Publications
</>
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
NOBRAINER: A Tool for Example-Based Transformation of C/C++ Code.
Program. Comput. Softw.
46 (5) (2020)
A. Yu. Gerasimov
,
Leonid V. Kruglov
,
Mikhail K. Ermakov
,
Sergey P. Vartanov
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
Program. Comput. Softw.
44 (6) (2018)
Mikhail K. Ermakov
Static Binary Code Instrumentation for ARM Architecture.
Ershov Informatics Conference
(2017)