Presentations

2012

• Yngve Lamo. Model Driven Engineering and Diagram Predicate Framework. Presented at University of New Brunswick, Canada.
• Yngve Lamo. A Metamodel Approach to Model Driven Service Development. Presented at AWoSS2012.

2011

• Alessandro Rossini. Diagram Predicate Framework meets Model Versioning and Deep Metamodelling. Presented at his PhD defence.
• Florian Mantz. Formalising Metamodel Evolution based on Category Theory. Presented at NWPT 2011.
• Xiaoliang Wang. Correctness of Constraint-Aware Model Transformations. Presented at NWPT 2011.
• Alessandro Rossini. A Graph Transformation-Based Semantics for Deep Metamodelling. Presented at AGTIVE 2011.
• Florian Mantz. Graph Transformation Concepts for Meta-Model Evolution Guaranteeing Permanent Type Compliance Throughout Model Migration. Presented at AGTIVE 2011.
• Yngve Lamo. DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Enviroment. Presented at SPLST 2011.
• Alessandro Rossini. A Formal Approach to Data Validation Constraints in MDE. Presented at TTSS 2011.
• Yngve Lamo. Model Driven Engineering (MDE). Presented at Ålesund University College, Norway.

2010

• Adrian Rutle. Diagram Predicate Framework: A Formal Approach to MDE. Presented at his PhD defence.
• Florian Mantz. Towards a Formal Approach to Metamodel Evolution. Presented at NWPT 2010.
• Alessandro Rossini. Constraint-Aware Model Merging. Presented at NWPT 2010.
• Yngve Lamo. A Formal Approach to Patterns in MDE. Presented at VFfP 2010.
• Adrian Rutle. Constraint-Aware Model Transformations. Presented at FASE 2010.
• Uwe Wolter. Indexed vs. Fibred Semantics in view of Metamodeling. Presented at ACCAT 2010.

2009

• Uwe Wolter. Generalized Sketches and Indexed vs. Fibred Semantics. Presented at the Institute of Mathematics of the Romanian Academy, Bucharest, Romania.
• Alessandro Rossini. Data Validation Constraints in MDE. Presented at NWPT 2009.
• Adrian Rutle. Constraint-Aware Model Transformations. Presented at NWPT 2009.
• Adrian Rutle. A Diagrammatic Formalisation of MOF-Based Modelling Languages. Presented at TOOLS Europe 2009.
• Yngve Lamo. Model-Driven Engineering (MDE) and Diagrammatic Predicate Logic (DPL). Presented at the NTNU, Trondheim, Norway.
• Alessandro Rossini. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. Presented at FASE 2009.

2008

• Alessandro Rossini. Version Control in MDE. Presented at NWPT 2008.
• Adrian Rutle. Automatic Definition of Model Transformations at the Instance Level. Presented at NWPT 2008.
• Adrian Rutle. A Diagrammatic Approach to Model Transformations. Presented at EATIS 2008.
• Adrian Rutle. Towards a Formal, Diagrammatic Framework for MDA. Presented at the Doctoral Symposium of ECOOP 2008.
• Adrian Rutle. A Formal Approach to Modeling and Model Transformations in Software Engineering. Presented at EXPO 2008 Integration and Architecture.
• Yngve Lamo. Model-Driven Engineering (MDE) and Diagrammatic Predicate Logic (DPL). Presented at the Institute of Mathematics and Informatics, Vilnius, Lithuania.
• Adrian Rutle. A Formal Approach to Modeling and Model Transformations in Software Engineering. Presented at the Doctoral Symposium of FM 2008.

2007

• Adrian Rutle. Generalized Sketches and Model-Driven Development. Presented at NWPT 2007.
• Adrian Rutle. Generalized Sketches and Model-Driven Development. Presented at CALCO-jnr 2007.
• Adrian Rutle. Generalized Sketches and its Implementation in EMF. Presented at EclipseCon 2007.

2006

• Adrian Rutle. Diagrammatic Software Specifications. Presented at NWPT 2006.