VEP: a virtual machine for extended proof-carrying code. - Heidar Pirzadeh; Danny Dubé (VMSec, 2008)

Encoding the Program Correctness Proofs as Programs in PCC Technology. - Heidar Pirzadeh; Danny Dubé (PST, 2008)

Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem. - Heidar Pirzadeh; Luay Alawneh; Abdelwahab Hamou-Lhadj (QSIC, 2009)

Investigating the Capability of Agile Processes to Support Life-Science Regulations: The Case of XP and FDA Regulations with a Focus on Human Factor Requirements. - Hossein Mehrfard; Heidar Pirzadeh; Abdelwahab Hamou-Lhadj (SERA (selected papers), 2010)

An Approach for Detecting Execution Phases of a System for the Purpose of Program Comprehension. - Heidar Pirzadeh; Akanksha Agarwal; Abdelwahab Hamou-Lhadj (SERA, 2010)

An Extended Proof-Carrying Code Framework for Security Enforcement. - Heidar Pirzadeh; Danny Dubé; Abdelwahab Hamou-Lhadj (Trans. Comput. Sci., 2010)

A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension. - Heidar Pirzadeh; Abdelwahab Hamou-Lhadj (ICECCS, 2011)

A software behaviour analysis framework based on the human perception systems. - Heidar Pirzadeh; Abdelwahab Hamou-Lhadj (ICSE, 2011)

Exploiting text mining techniques in the analysis of execution traces. - Heidar Pirzadeh; Abdelwahab Hamou-Lhadj; Mohak Shah (ICSM, 2011)

The Concept of Stratified Sampling of Execution Traces. - Heidar Pirzadeh; Sara Shanian; Abdelwahab Hamou-Lhadj; Ali Mehrabian (ICPC, 2011)

Stratified sampling of execution traces: Execution phases serving as strata. - Heidar Pirzadeh; Sara Shanian; Abdelwahab Hamou-Lhadj; Luay Alawneh; Arya Shafiee (Sci. Comput. Program., 2013)

Resilient user interface level tests. - Heidar Pirzadeh; Sara Shanian (ASE, 2014)

A Novel Framework for Creating User Interface Level Tests Resistant to Refactoring of Web Applications. - Heidar Pirzadeh; Sara Shanian; Farzin Davari (QUATIC, 2014)