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.
Hi, is it possible to download the tools?