Utilizing Design Information in Aspect-Oriented Programming. - Istvan Nagy 001; Lodewijk Bergmans; Wilke Havinga; Mehmet Aksit (NODe/GSEM, 2005)

Detecting and resolving ambiguities caused by inter-dependent introductions. - Wilke Havinga; Istvan Nagy 001; Lodewijk Bergmans; Mehmet Aksit (AOSD, 2006)

A graph-based approach to modeling and detecting composition conflicts related to introductions. - Wilke Havinga; Istvan Nagy 001; Lodewijk Bergmans; Mehmet Aksit (AOSD, 2007)

Prototyping and Composing Aspect Languages. - Wilke Havinga; Lodewijk Bergmans; Mehmet Aksit (ECOOP, 2008)

On the design of software composition : mechanisms and the analysis of composition conflicts. - Wilke Havinga (2009)

A model for composable composition operators: expressing object and aspect compositions with first-class operators. - Wilke Havinga; Lodewijk Bergmans; Mehmet Aksit (AOSD, 2010)

A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models. - Selim Ciraci; Wilke Havinga; Mehmet Aksit; Christoph Bockisch; Pim van den Broek (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

Execution Constraint Verification of Exception Handling on UML Sequence Diagrams. - Selim Ciraci; Hasan Sözer; Mehmet Aksit; Wilke Havinga (SSIRI, 2011)

First-Class Compositions - Defining and Composing Object and Aspect Compositions with First-Class Operators. - Lodewijk Bergmans; Wilke Havinga; Mehmet Aksit (LNCS Trans. Aspect Oriented Softw. Dev., 2012)