Using Symbolic Execution of Parallel Program to Estimate Its Scalability. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PDPTA, 2003)

Improving Properties of a Parallel Program in ParJava Environment. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PVM/MPI, 2003)

Model Based Recovery Protocol In ParJava Environment. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan; Gennady Leontiev (PDPTA, 2004)

Estimation of dynamical characteristics of a parallel program on a model. - V. P. Ivannikov; Sergey S. Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (Program. Comput. Softw., 2006)

Model Based Performance Evaluation for MPI Programs. - Victor Ivannikov; Serguei Gaissaryan; Arutyun Avetisyan; Vartan A. Padaryan (PaCT, 2007)

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)

Automated exploit generation for stack buffer overflow vulnerabilities. - Vartan A. Padaryan; V. V. Kaushan; A. N. Fedotov (Program. Comput. Softw., 2015)

Features of the deterministic replay in the case of a minimum device set. - Vasily Yu. Efimov; K. A. Batuzov; Vartan A. Padaryan; Arutyun Avetisyan (Program. Comput. Softw., 2016)

Data representation model for in-depth analysis of network traffic. - Alexander I. Getman; V. P. Ivannikov; Yu. V. Markin; Vartan A. Padaryan; A. Yu. Tikhonov (Program. Comput. Softw., 2016)

On the Representation of Results of Binary Code Reverse Engineering. - Vartan A. Padaryan; I. N. Ledovskikh (Program. Comput. Softw., 2018)

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)

Automated Testing of a TCG Frontend for Qemu. - Dmitriy S. Koltunov; Vasily Yu. Efimov; Vartan A. Padaryan (Program. Comput. Softw., 2020)

A Model and Declarative Language for Specifying Binary Data Formats. - A. A. Evgin; M. A. Solovev; Vartan A. Padaryan (Program. Comput. Softw., 2022)