Static and Dynamic Detection of Behavioral Conflicts Between Aspects. - Pascal Durr; Lodewijk Bergmans; Mehmet Aksit (RV, 2007)

Resource-based Verification for Robust Composition of Aspects. - Pascal Durr (2008)