Marwan Abi-Antoun

According to our database1, Marwan Abi-Antoun authored at least 39 papers between 1999 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Inferring ownership domains from refinements.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

2016
Abstract runtime structure for reasoning about security: poster.
Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015
Impact analysis based on a global hierarchical Object Graph.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2014
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

Is there value in reasoning about security at the architectural level: a comparative evaluation.
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.
Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014

Comparative Evaluation of Architectural and Code-Level Approaches for Finding Security Vulnerabilities.
Proceedings of the 2014 ACM Workshop on Security Information Workers, 2014

2013
Object Graphs with Ownership Domains: An Empirical Study.
Proceedings of the Aliasing in Object-Oriented Programming. Types, 2013

Finding architectural flaws in android apps is easy.
Proceedings of the SPLASH'13, 2013

Finding the missing eclipse perspective: the runtime perspective.
Proceedings of the SPLASH'13, 2013

Finding architectural flaws using constraints.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Metrics to identify where object-oriented program comprehension benefits from the runtime structure.
Proceedings of the 4th International Workshop on Emerging Trends in Software Metrics, 2013

2012
Ownership Object Graphs with Dataflow Edges.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Extraction of ownership object graphs from object-oriented code: an experience report.
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012

2010
Analyzing security architectures.
Proceedings of the ASE 2010, 2010

Developer refinement of runtime architectural structure.
Proceedings of the 2010 ICSE Workshop on Sharing and Reusing Architectural Knowledge, 2010

Questions about object structure during coding activities.
Proceedings of the 2010 ICSE Workshop on Cooperative and Human Aspects of Software Engineering, 2010

2009
Static extraction of sound hierarchical runtime object graphs.
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008
Differencing and merging of architectural views.
Autom. Softw. Eng., 2008

A field study in static extraction of runtime architectures.
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2008

Tool support for the static extraction of sound hierarchical representations of runtime object graphs.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Static extraction and conformance checking of the runtime architecture of object-oriented systems.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007
A case study in re-engineering to enforce architectural control flow and data sharing.
J. Syst. Softw., 2007

Making frameworks work: a project retrospective.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Compile-time execution structure of object-oriented programs with practical ownership domain annotations.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Checking threat modeling data flow diagrams for implementation conformance and security.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006
A static analysis for extracting runtime views from annotated object-oriented code.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Bringing ownership domains to mainstream Java.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Improving system dependability by enforcing architectural intent.
ACM SIGSOFT Softw. Eng. Notes, 2005

A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Modeling and implementing software architecture with acme and archJava.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

1999
The MBASE Life Cycle Architecture Milestone Package.
Proceedings of the Software Architecture, 1999

Enabling the Refinement of a Software Architecture into a Design.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Requirements Engineering, Expectations Management, and the Two Cultures.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999


  Loading...