Latest Research: also, please look under Technical Reports

Abi-Antoun, M., Vanciu, R., and Aldrich, J. Object Graphs with Ownership Domains: an Empirical Study. Submitted, 2011. Invited submission for a special issue.
Abi-Antoun, M., Ammar, N., and Hailat, Z. Extraction of Ownership Object Graphs (OOGs) from Object-Oriented Code: an Experience Report. Submitted, 2011. This paper has a companion technical report.
Vanciu, R., and Abi-Antoun, M. Extracting Dataflow Communication from Object-Oriented Code. Submitted, 2011. This paper has a companion technical report. [Includes soundness proof.]
Ammar, N. and Abi-Antoun, M. Evaluation of Global Hierarchical Object Graphs for Coding Activities: a Controlled Experiment. Submitted, 2011. This is the short version of Nariman's M.S. thesis: Evaluation of the Usefulness of Diagrams of the Run-Time Structure for Coding Activities.

Conference Papers

Abi-Antoun, M. and Barnes, J. M. Analyzing Security Architectures. In IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 3-12, 2010. [DOI] [Slides] [Link to additional material]
An earlier version appeared as Carnegie Mellon University Technical Report CMU-ISR-09-113, April 2009.
Abi-Antoun, M. and Aldrich, J. Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure using Annotations. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2009. [Paper (PDF)] [Slides (PDF)] [DOI] [Soundness proof is in Ph.D. thesis CMU-ISR-10-114]
Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06), pp. 47--58, 2006. [Paper (PDF)] [Presentation (PDF)] [Presentation with animations (PowerPoint)][Aphyds Demo (AVI)][Aphyds Demo (MOV)][Duke's Bank Demo (AVI)][Duke's Bank Demo (MOV)] [DOI]
An extended version appeared as Carnegie Mellon University Technical Report CMU-ISRI-05-128R, August 2005. [Report (PDF)]
Abi-Antoun, M., and Coelho, W. A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application. In Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA), 2005. [Paper (PDF)] [Presentation (PDF)] [DOI] [Selected as one of the BEST papers at WICSA 2005; an extended version appeared in Journal of Systems and Software].
Abi-Antoun, M., and Medvidovic, N. Enabling the Refinement of a Software Architecture into a Design. In Proceedings of The Second International Conference on the Unified Modeling Language (UML'99), 1999. [Paper (PDF)] [Presentation (PDF)] [DOI]
Boehm, B., Abi-Antoun, Port, D., M., Kwan, J., and Lynch, A. Requirements Engineering, Expectations Management, and the Two Cultures. In Proceedings of the Fourth IEEE International Symposium on Requirements Engineering, 1999.
Boehm, B., Port, D., Egyed, A., Abi-Antoun, M. The MBASE Life Cycle Architecture Milestone Package: No Architecture is An Island. In First Working IFIP Conference on Software Architecture (WICSA'1), 1998.

Journal Papers

Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. In Automated Software Engineering Journal, Special Issue on Selected Papers from Automated Software Engineering (ASE'06), 15(1), pp. 35--74, 2008. [Preprint (PDF)] [Published Link] [DOI]
Abi-Antoun, M., Aldrich, J., and Coelho, W. A Case Study in Re-engineering to Enforce Architectural Control Flow and Data Sharing. In Journal of Systems and Software, Special Issue on Selected Papers from Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 80(2), pp. 240--264, 2007. [Preprint (PDF)] [DOI]

Refereed Workshop and Short Papers

Abi-Antoun, M. and Selitsky, T. Interactive Refinement of Runtime Structure. In Workshop on Flexible Modeling Tools (FlexiTools), co-located with SPLASH/OOPSLA, 2010.
Abi-Antoun, M. and Ammar, N. A Case Study in Evaluating the Usefulness of the Run-time Structure during Coding Tasks. In Workshop on Human Aspects of Software Engineering (HAoSE), co-located with SPLASH/OOPSLA, 2010. [DOI]
Abi-Antoun, M., Ammar, N. and LaToza, T. Questions about Object Structure during Coding Activities. In Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2010. [Paper (PDF)] [Poster (PDF)] [DOI]
An extended version is available as Carnegie Mellon University Technical Report CMU-ISR-10-102.
Abi-Antoun, M., Selitsky, T., and LaToza, T. Developer Refinement of Runtime Architectural Structure. In Workshop on SHAring and Reusing architectural Knowledge (SHARK), 2010. [Paper (PDF)] [Slides (PDF)] [DOI]
Abi-Antoun, M. and Aldrich, J. Static Extraction of Sound Hierarchical Runtime Object Graphs. In ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI), 2009. [Paper (PDF)] [Presentation (PDF)] [DOI]
Abi-Antoun, M. and Aldrich, J. A Field Study in Static Extraction of Runtime Architectures. In 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2008.[Paper (PDF)] [Presentation (PDF)] [DOI]
An extended version appeared as Carnegie Mellon University Technical Report CMU-ISR-08-133, June 2008.
Abi-Antoun, M., Wang, D. and Torr, P. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security (Short Paper). International Conference on Automated Software Engineering (ASE), pp. 393--396, 2007. [DOI]
An extended version appeared as Carnegie Mellon University Technical Report CMU-ISRI-06-124.
Abi-Antoun, M. and Aldrich, J. Ownership Domains in the Real World. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), pp. 93--104, 2007. [Paper (PDF)] [Presentation (PDF)]
Abi-Antoun, M. and Aldrich, J. Compile-Time Views of Execution Structure Based on Ownership. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with the European Conference on Object-Oriented Programming (ECOOP), pp. 81--92, 2007. [Corrected paper (PDF)] [Errata] [Presentation (PDF)]
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B. and Nahas, N. Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (Position Paper). Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture (WICSA-5), 2005. [Paper (PDF)] [Presentation (PDF)]
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., and Tseng, T. Improving System Dependability by Enforcing Architectural Intent. In Proceedings of the Workshop on Architecting Dependable Systems (WADS), 2005. [Paper (PDF)] [Presentation (PDF)] [DOI]

Experience Reports

Abi-Antoun, M. Making Frameworks Work: a Project Retrospective (Practitioner Report). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2007. [Paper (PDF)] [DOI]

Research Tool Demonstrations

Abi-Antoun, M. and Aldrich, J. Tool Support for the Static Extraction of Sound Hierarchical Representations of Runtime Object Graphs (Tool Demonstration). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2008. [Paper (PDF)] [DOI] [Presentation (PDF)]
Abi-Antoun, M. and Aldrich, J. Tool Support for Statically Checking the Structural Conformance of an Object-Oriented System to its Runtime Architecture (Tool Demonstration). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2008. [Paper (PDF)] [DOI] [Presentation (PDF)]
Abi-Antoun, M. and Aldrich, J. Tool Support for the Compile-Time Execution Structure of Object-Oriented Programs with Ownership Annotations (Tool Demonstration). In International Conference on Automated Software Engineering (ASE), 2007. [Paper (PDF)] [DOI]
Abi-Antoun, M. and Aldrich, J. Eclipse Plug-ins for Statically Checking and Visualizing Ownership Domain Annotations. Research Demonstration. In European Conference on Object-Oriented Programming (ECOOP), 2007.
Abi-Antoun, M. and Aldrich, J. Bringing Ownership Domains to Mainstream Java (Demonstration). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2006. [Paper (PDF)] [Presentation (PDF)]
Abi-Antoun, M. and Aldrich, J. A Static Analysis for Extracting Runtime Views from Annotated Object-Oriented Code (Demonstration). In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2006. [Paper (PDF)] [Presentation (PDF)]
Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., and Tseng, T. Modeling and Implementing Software Architecture with Acme and ArchJava (Demonstration). In Proceedings of the International Conference on Software Engineering (ICSE'05), May 15-21, 2005, St. Louis, Missouri, USA. [Paper (PDF) ] [Presentation (PDF)]

Tutorials

Abi-Antoun, M. and Aldrich, J. Practical Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems. Half-day tutorial at the SEI Architecture Technology User Network (SATURN), May 5th 2009. [Presentation (PDF)] [Handout (PDF)]

Ph.D. Dissertation

Abi-Antoun, M. Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure. Ph.D. thesis, Carnegie Mellon University, 2010. Available as Technical Report CMU-ISR-10-114.

Technical Reports

Abi-Antoun, M. and Ammar, N. Usefulness of the Run-time Structure during Coding Tasks. Wayne State University Technical Report. September 2010.
Abi-Antoun, M., Ammar, N. and Khazalah, F. A Case Study in Adding Ownership Domain Annotations. Wayne State University Technical Report, 2010.
Abi-Antoun, M., Ammar, N. and LaToza, T. Questions about Object Structure during Coding Activities. Carnegie Mellon University Technical Report CMU-ISR-10-102. Extended version of paper at Workshop Cooperative and Human Aspects of Software Engineering (CHASE), 2010.
Abi-Antoun, M. and Barnes, J. M. STRIDE-based security model in Acme. Carnegie Mellon University Technical Report CMU-ISR-10-106.
Abi-Antoun, M. and Barnes, J. M. Enforcing Conformance between Security Architecture and Implementation. Carnegie Mellon University Technical Report CMU-ISR-09-113, April 2009.
Abi-Antoun, M. and Aldrich, J. Static Conformance Checking of Runtime Architectural Structure. Carnegie Mellon University Technical Report CMU-ISR-08-132. September 2008. [Report (PDF)] [This report supersedes the earlier technical report CMU-ISRI-07-119]
Abi-Antoun, M. and Aldrich, J. A Field Study in Static Extraction of Runtime Architectures. Carnegie Mellon University Technical Report CMU-ISR-08-133, June 2008. [Report (PDF)]
Abi-Antoun, M. and Aldrich, J. Static Extraction of Object-Oriented Runtime
Architectures. Carnegie Mellon University Technical Report CMU-ISR-08-127, March 2008. [Report (PDF)] [This report supersedes the earlier paper Compile-Time Views of Execution Structure Based on Ownership at IWACO'07]
Abi-Antoun, M. and Aldrich, J. Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems. Carnegie Mellon University Technical Report CMU-ISRI-07-119, December 2007. [Report (PDF)]
Abi-Antoun, M., Wang, D. and Torr, P. Checking Threat Modeling Data Flow Diagrams for Implementation Conformance and Security. Carnegie Mellon University Technical Report CMU-ISRI-06-124, September 2006. [Report (PDF)]
Abi-Antoun, M. and Aldrich, J. JavaD: Bringing Ownership Domains to Mainstream Java. Carnegie Mellon University Technical Report CMU-ISRI-06-110, May 2006. [Report (PDF)].
Abi-Antoun, M., Aldrich, J., Nahas, N., Schmerl, B. and Garlan, D. Differencing and Merging of Architectural Views. Carnegie Mellon University Technical Report CMU-ISRI-05-128R, August 2005. [Report (PDF)] [Note: this is an extended version of the ASE'06 paper]
Boehm, B., Port, D., Abi-Antoun, M. and Egyed, A. Model-Based Architecting and Software Engineering (MBASE) Guidelines for Inception and Elaboration, 1998.
Boehm, B., Abi-Antoun, M., Port, D., Mehta, N., Madachy, R., and Brown, A.W. Model-Based Architecting and Software Engineering (MBASE) Guidelines for Construction, Transition and Support, 1999.

Posters, Student Research Competitions, Doctoral Symposia

Abi-Antoun, M. Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems. In Student Research Competition, Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2008. [Paper (PDF)] [Poster (PDF)].
Abi-Antoun, M. Assuring the Execution Architecture of Object-Oriented Programs using Ownership Domain Annotations. In Student Research Competition, Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2007. [Paper (PDF)] Finished 2^nd place in the OOPSLA 2007 ACM Student Research Competition, 2007. [Poster (PDF)]
Abi-Antoun, M. Flexible Ownership Domain Annotations for Expressing and Visualizing Design Intent. In Doctoral Symposium, European Conference on Object-Oriented Programming (ECOOP), 2007.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.