Static Binary Code Instrumentation for ARM Architecture. - Mikhail K. Ermakov (Ershov Informatics Conference, 2017)

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

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