Simulation of operational semantics of machine instructions. - Vartan A. Padaryan; M. A. Solov'ev; A. I. Kononov (Program. Comput. Softw., 2011)

Methods and software tools to support combined binary code analysis. - Vartan A. Padaryan; Alexander I. Getman; M. A. Solov'ev; M. G. Bakulin; A. I. Borzilov; V. V. Kaushan; I. N. Ledovskikh; Yu. V. Markin; S. S. Panasenko (Program. Comput. Softw., 2014)

Next-Generation Intermediate Representations for Binary Code Analysis. - M. A. Solov'ev; M. G. Bakulin; M. S. Gorbachev; D. V. Manushin; Vartan A. Padaryan; S. S. Panasenko (Program. Comput. Softw., 2019)