2013
- Sidra Nadeem. Visual OCL and Incremental Constraint Validation Framework for the DPF Workbench. Master thesis, Department of Informatics, University of Bergen, Department of Computing, Mathematics and Physics Bergen University College, Norway, April 2013.
- Yngve Lamo, Xiaoliang Wang, Florian Mantz, Øyvind Bech, Anders Sandven and Adrian Rutle. DPF Workbench: a multi-level language workbench for MDE. In Proceedings of the Estonian Academy of Sciences, 62(1):3–15, 2013.
2012
- Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo. A Graph Transformation-Based Semantics for Deep Metamodelling. In Andy Schürr, Dániel Varró and Gergely Varró, editors, AGTIVE 2011: 4th International Symposium on Applications of Graph Transformations with Industrial Relevance, volume 7233 of LNCS, pages 19–34, Springer, 2012.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A formal approach to the specification and transformation of constraints in MDE. Journal of Logic and Algebraic Programming 81(4): 422-457. Elsevier, 2012.
- Adrian Rutle, Wendy MacCaull, Hao Wang and Yngve Lamo. A Metamodelling Approach to Behavioural Modelling. In BM-FA ’12 Proceedings of the Fourth Workshop on Behaviour Modelling – Foundations and Applications.
- Yngve Lamo, Xiaoliang Wang, Florian Mantz, Wendy MacCaull and Adrian Rutle. DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-) Modelling Environment. Computer and Information Science 2012, Studies in Computational Intelligence Volume 429/2012, 37-52. Springer, 2012.
- Yngve Lamo and Adrian Rutle. A Metamodel Approach to Model Driven Service Development. In AWoSS2012: 4th Atlantic Workshop on Semantics and Services, pages 5–6, May 2012.
- Anders Sandven. Metamodel based Code Generation in DPF Editor. Master thesis, Department of Informatics, University of Bergen, Department of Computing, Mathematics and Physics Bergen University College, Norway, March 2012.
- Suneetha Kalakata. Formalisation of Simple MethOd Declaration Language (SMODL) by DPF. Master thesis, Department of Informatics, University of Bergen, Department of Computing, Mathematics and Physics Bergen University College, Norway, November 2012.
2011
- Alessandro Rossini. Diagram Predicate Framework meets Model Versioning and Deep Metamodelling. PhD thesis, Department of Informatics, University of Bergen, Norway, December 2011.
- Florian Mantz, Alessandro Rossini, Gabriele Taentzer, Yngve Lamo and Uwe Wolter. Formalising Metamodel Evolution based on Category Theory. In NWPT 2011: 23rd Nordic Workshop on Programming Theory, pages 73–75, October 2011.
- Xiaoliang Wang and Yngve Lamo. Correctness of Constraint-Aware Model Transformations. In NWPT 2011: 23rd Nordic Workshop on Programming Theory, pages 63–65, October 2011.
- Yngve Lamo, Xiaoling Wang, Florian Mantz, Øyvind Bech and Adrian Rutle. DPF Editor: A Multi-Layer Diagrammatic (Meta)Modelling Environment. In SPLST 2011: 12th Symposium on Programming Languages and Software Tools, October 2011.
- Alessandro Rossini, Adrian Rutle, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. A Formal Approach to Data Validation Constraints in MDE. In TTSS 2011: 5th International Workshop on Harnessing Theories for Tool Support in Software, pages 65–76, September 2011.
- Øyvind Bech. DPF Editor: A Multi-Layer Modelling Environment for Diagram Predicate Framework in Eclipse. Master’s thesis, Department of Informatics, University of Bergen, Norway, May 2011.
2010
- Adrian Rutle. Diagram Predicate Framework: A Formal Approach to MDE. PhD thesis, Department of Informatics, University of Bergen, Norway, November 2010.
- Yngve Lamo, Adrian Rutle and Florian Mantz. Enforcement of Patterns by Constraint-Aware Model Transformations. In ECEASST 2010: Electronic Communications of ECEASST. Invited talk at 2nd International Workshop on Visual Formalisms for Patterns, September 2010.
- Florian Mantz, Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. Towards a Formal Approach to Metamodel Evolution. In NWPT 2010: 22nd Nordic Workshop on Programming Theory, pages 52–54, November 2010.
- Alessandro Rossini, Adrian Rutle, Florian Mantz, Yngve Lamo and Uwe Wolter. Constraint-Aware Model Merging. In NWPT 2010: 22nd Nordic Workshop on Programming Theory, pages 31–33, November 2010.
- Kent Inge Fagerland Simonsen, Florian Mantz, Alessandro Rossini, Adrian Rutle. Groovy and Grails meet Eclipse Modelling Framework. In NIK 2010: 23rd Norsk Informatikkonferanse, pages 34–43, November 2010.
- Alessandro Rossini, Adrian Rutle, Yngve Lamo and Uwe Wolter. A formalisation of the copy-modify-merge approach to version control in MDE. Journal of Logic and Algebraic Programming 79(7): 636-658. Elsevier, 2010.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Formalisation of Constraint-Aware Model Transformations. In David Rosenblum and Gabriele Taentzer, editors, FASE 2010: 13th International Conference on Fundamental Approaches to Software Engineering, volume 6013 of LNCS, pages 13–28, Springer, 2010.
2009
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. Constraint-Aware Model Transformations. In NWPT 2009: 21st Nordic Workshop on Programming Theory, pages 89–91, October 2009.
- Alessandro Rossini, Adrian Rutle, Federico Mancini, Dag Hovland, Khalid A. Mughal, Yngve Lamo and Uwe Wolter. Data Validation Constraints in MDE. In NWPT 2009: 21st Nordic Workshop on Programming Theory, pages 86–88, October 2009.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Diagrammatic Formalisation of MOF-Based Modelling Languages. In Manuel Oriol and Bertrand Meyer, editors, TOOLS Europe 2009: 47th International Conference on Objects, Models, Components and Patterns, volume 33 of LNBIP, pages 37–56, Springer, 2009.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In Marsha Chechik and Martin Wirsing, editors, FASE 2009: 12th International Conference on Fundamental Approaches to Software Engineering, volume 5503 of LNCS, pages 64–78, Springer, 2009.
2008
- Zinovy Diskin and Uwe Wolter. A Diagrammatic Logic for Object-Oriented Visual Modeling. In ACCAT 2007: 2nd Workshop on Applied and Computational Category Theory, volume 203 of ENTCS, pages 19–41, Elsevier Science Publishers B. V., 2008.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. Version Control in MDE. In NWPT 2008: 20th Nordic Workshop on Programming Theory, pages 78–80, November 2008.
- Adrian Rutle, Alessandro Rossini, Yngve Lamo and Uwe Wolter. Automatic Definition of Model Transformations at the Instance Level. In NWPT 2008: 20th Nordic Workshop on Programming Theory, pages 81–83, November 2008.
- Uwe Wolter and Zinovy Diskin. Contexts and Context Awareness in View of the Diagram Predicate Framework. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA 2008: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. volume 17 of CCIS, pages 534–547, Springer, 2008.
- Adrian Rutle and Alessandro Rossini. A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE. In ChaMDE 2008: 1st International Workshop on Challenges in Model-Driven Software Engineering, pages 57–61, September 2008.
- Adrian Rutle, Uwe Wolter and Yngve Lamo. A Diagrammatic Approach to Model Transformations. In EATIS 2008: Euro American Conference on Telematics and Information Systems, 2008.
- Stian Skjerveggen. (Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform. Master’s thesis, Department of Informatics, University of Bergen, Norway, June 2008.
- Adrian Rutle. Towards a Formal, Diagrammatic Framework for MDA. In ECOOP-DS 2008: 18th Doctoral Symposium and PhD Students Workshop, pages 37–40, 2008.
- Adrian Rutle, Uwe Wolter and Yngve Lamo. Generalized Sketches and Model-Driven Architecture. Technical Report 367, Department of Informatics, University of Bergen, Norway, February 2008.
- Adrian Rutle, Uwe Wolter and Yngve Lamo. A Formal Approach to Modeling and Model Transformations in Software Engineering. Technical Report 48, Turku Centre for Computer Science, Finland, 2008. Abstract.
2007
- Adrian Rutle, Uwe Wolter and Yngve Lamo. Generalized Sketches and Model-Driven Development. In NWPT 2007: 19th Nordic Workshop on Programming Theory, October 2007.
- Uwe Wolter and Zinovy Diskin. From Indexed to Fibred Semantics. Technical Report 361, Department of Informatics, University of Bergen, Norway, October 2007.
- Adrian Rutle, Uwe Wolter and Yngve Lamo. Generalized Sketches and Model-Driven Development. In CALCO-jnr 2007: CALCO Young Researchers Workshop, August 2007.
- Uwe Wolter and Zinovy Diskin. The Next Hundred Specification Techniques – An Introduction to Generalized Skecthes. Technical Report 358, Department of Informatics, University of Bergen, Norway, July 2007.
- Adrian Rutle, Uwe Wolter and Yngve Lamo. Generalized Sketches and its Implementation in EMF. In EclipseCon 2007, 2007.
2006