Vartan A. Padaryan

Orcid: 0000-0001-7962-9677

According to our database1, Vartan A. Padaryan authored at least 14 papers between 2003 and 2022.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Model and Declarative Language for Specifying Binary Data Formats.
Program. Comput. Softw., 2022

2020
Automated Testing of a TCG Frontend for Qemu.
Program. Comput. Softw., 2020

2019
Next-Generation Intermediate Representations for Binary Code Analysis.
Program. Comput. Softw., 2019

2018
On the Representation of Results of Binary Code Reverse Engineering.
Program. Comput. Softw., 2018

2016
Data representation model for in-depth analysis of network traffic.
Program. Comput. Softw., 2016

Features of the deterministic replay in the case of a minimum device set.
Program. Comput. Softw., 2016

2015
Automated exploit generation for stack buffer overflow vulnerabilities.
Program. Comput. Softw., 2015

2014
Methods and software tools to support combined binary code analysis.
Program. Comput. Softw., 2014

2011
Simulation of operational semantics of machine instructions.
Program. Comput. Softw., 2011

2007
Model Based Performance Evaluation for MPI Programs.
Proceedings of the Parallel Computing Technologies, 2007

2006
Estimation of dynamical characteristics of a parallel program on a model.
Program. Comput. Softw., 2006

2004
Model Based Recovery Protocol In ParJava Environment.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003
Improving Properties of a Parallel Program in ParJava Environment.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003

Using Symbolic Execution of Parallel Program to Estimate Its Scalability.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003


  Loading...