A Semantic Framework for Business Process Modeling Based on Architecture Styles. - Mohammad Ebrahim Khalaj; Shahrouz Moaven; Jafar Habibi; Hamed Ahmadi (ACIS-ICIS, 2012)

Comparative Evaluation of Architectural and Code-Level Approaches for Finding Security Vulnerabilities. - Radu Vanciu; Ebrahim Khalaj; Marwan Abi-Antoun (SIW@CCS, 2014)

The eclipse runtime perspective for object-oriented code exploration and program comprehension. - Marwan Abi-Antoun; Andrew Giang; Sumukhi Chandrashekar; Ebrahim Khalaj (ETX, 2014)

Is there value in reasoning about security at the architectural level: a comparative evaluation. - Ebrahim Khalaj; Radu Vanciu; Marwan Abi-Antoun (HotSoS, 2014)

Impact analysis based on a global hierarchical Object Graph. - Marwan Abi-Antoun; Yibin Wang 010; Ebrahim Khalaj; Andrew Giang; Václav Rajlich (SANER, 2015)

Abstract runtime structure for reasoning about security: poster. - Marwan Abi-Antoun; Ebrahim Khalaj; Radu Vanciu; Ahmad Moghimi (HotSoS, 2016)

Inferring ownership domains from refinements. - Ebrahim Khalaj; Marwan Abi-Antoun (GPCE, 2018)