Author Publications

2010

Staijen, Tom (2010) Graph-based specification and verification for aspect-oriented languages. thesis.

2009

Akşit, M. and Rensink, A. and Staijen, T. (2009) A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points. In: AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, 3-6 Mar 2009, Charlottesville, Virginia, USA.

Staijen, T. and Rensink, A. (2009) Graph-Based Specification and Simulation of Featherweight Java with Around Advice. In: FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, 2 Mar 2009, Charlottesville, Virginia, USA.

2008

Rensink, A. and Dotor, A. and Ermel, C. and Jurack, S. and Kniemeyer, O. and De Lara, J. and Maier, S. and Staijen, T. and Zündorf, A. (2008) Ludo: A Case Study for Graph Transformation Tools. In: Applications of Graph Transformation with Industrial Relevance (AGTIVE), 10-12 Oct 2007, Kassel, Germany.

2006

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg van den, Klaas (2006) An Abstract Metamodel for Aspect Languages. [Report]

Havinga, Wilke and Staijen, Tom and Rensink, Arend and Bergmans, Lodewijk and Berg van den, Klaas (2006) An Abstract Metamodel for Aspect Languages. In: Open and Dynamic Aspect Languages, 20 Mar 2006, Bonn, Germany.

Staijen, T. and Rensink, A. (2006) A Graph-Transformation-Based Semantics for Analysing Aspect Interference. In: Workshop on Graph Computation Models, 18 Sept 2006, Natal, Brazil.

2005

Durr, Pascal and Staijen, Tom and Bergmans, Lodewijk and Aksit, Mehmet (2005) Reasoning About Semantic Conflicts Between Aspects. In: European Interactive Workshop on Aspects in Software, EIWAS, September 1-2, 2005, Brussels, Belgium.

Staijen, T. (2005) Towards Safe Advice: Semantic Analysis of Advice Types in Compose*. [Masters Thesis]