Publications by Marwan Abi-Antoun

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.

Recent Work

• Abi-Antoun, M. and Aldrich, J. A Field Study in Applying Types and Static Analyses for Extracting Runtime Architectural Structure. Carnegie Mellon University Technical Report CMU-ISR-08-133, August 2008. [Draft (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. [Draft (PDF)] [This supersedes the earlier paper Compile-Time Views of Execution Structure Based on Ownership at the informal workshop IWACO'07.].
• Abi-Antoun, M. and Aldrich, J. Static Conformance Checking of Runtime Architectural Structure. Carnegie Mellon University Technical Report CMU-ISR-08-132. February 2008. [Draft (PDF)] [This supersedes the earlier technical report CMU-ISRI-07-119]

Conference Papers

• 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-5), 2005. [Paper (PDF)] [Presentation (PDF)] . [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.
• 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., 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)] [Note: IWACO is an informal workshop with no formal proceedings.]
• 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)] [Note: IWACO is an informal workshop with no formal proceedings.]
• 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)]

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]
• 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]
• 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)]

Technical Reports

• 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

• Abi-Antoun, M. Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems. In Conference Companion of Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2008.
• Abi-Antoun, M. Assuring the Execution Architecture of Object-Oriented Programs using Ownership Domain Annotations. In 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 (SRC)., 2007.