• Model-driven software development
• View-based software development
• Multi-view modelling and consistency preservation
• Model transformations and transformation networks
• Consistency-preserving collaborative model evolution

• Vitruvius (since 2016)

Publications are listed on a separate page.

• Programmierparadigmen WS 19/20
• Programmierparadigmen WS 18/19
• Programmierparadigmen WS 17/18
• Praxis der Software-Entwicklung SS 17
• Programmierparadigmen WS 16/17
• Praxis der Software-Entwicklung WS 16/17

• Aurélien Pepin. Decomposition of Relations for Multi-model Consistency Preservation. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019. [ http | bib | pdf ]
• Roland Osterrieter. Combining Imperative and Declarative Language Constructs in Mappings for Model-driven Software Consistency Preservation. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019.
• Andreas Lang. Eigenschaftsbasierte Konsistenzerhaltung in AutomationML. Master's thesis, Karlsruhe Institute of Technology (KIT), 2019.
• Torsten Syma. Multi-model Consistency through Transitive Combination of Binary Transformations. Master's thesis, Karlsruhe Institute of Technology (KIT), 2018. [ http | bib | pdf ]
• Dominik Klooz. Semi-automatic Consistency Preservation of Models. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2018.
• Joshua Gleitze. A Declarative Language for Preserving Consistency of Multiple Models. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017. 
  [ http | bib | pdf ]
• Patrick Stöckle. Model Versioning with Consistency Conservation in Vitruvius. Master's thesis, Karlsruhe Institute of Technology (KIT), 2017.
• Matthias Klatte. Konsistenzhaltung zwischen UML- und PCM-Komponentenmodellen. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
• Fei Chen. Änderungsgetriebene Konsistenzhaltung zwischen UML-Klassenmodellen und Java-Code. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
• Stefan Elbert. Darstellung und Anwendung von Änderungssequenzen an Ecore-Modellen. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017.
• Benjamin Rupp. Fallstudie zur Evaluierung einer Sprache zur Konsistenzerhaltung von Softwaremodellen für Automobilsysteme. Master's thesis, Karlsruhe Institute of Technology (KIT), 2017.
• Timur Sağlam. Automatic Integration of Ecore Functionality into Java Code. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2017. [ http | bib | pdf ]