Ebrahim Khalaj

According to our database, Ebrahim Khalaj authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Inferring ownership domains from refinements.

Ebrahim Khalaj, Marwan Abi-Antoun

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2016

Abstract runtime structure for reasoning about security: poster.

Marwan Abi-Antoun, Ebrahim Khalaj, Radu Vanciu, Ahmad Moghimi

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

Impact analysis based on a global hierarchical Object Graph.

Marwan Abi-Antoun, Yibin Wang, Ebrahim Khalaj, Andrew Giang, Václav Rajlich

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2014

Is there value in reasoning about security at the architectural level: a comparative evaluation.

Ebrahim Khalaj, Radu Vanciu, Marwan Abi-Antoun

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

The eclipse runtime perspective for object-oriented code exploration and program comprehension.

Marwan Abi-Antoun, Andrew Giang, Sumukhi Chandrashekar, Ebrahim Khalaj

Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014

Comparative Evaluation of Architectural and Code-Level Approaches for Finding Security Vulnerabilities.

Radu Vanciu, Ebrahim Khalaj, Marwan Abi-Antoun

Proceedings of the 2014 ACM Workshop on Security Information Workers, 2014

2012

A Semantic Framework for Business Process Modeling Based on Architecture Styles.

Mohammad Ebrahim Khalaj, Shahrouz Moaven, Jafar Habibi, Hamed Ahmadi

Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012