Sebastian Gabmeyer

Dipl.-Ing. Dr.techn.

Sebastian Gabmeyer studied Business Informatics at the Vienna University of Technology where he received his master’s degree for his thesis on the Formalization of the Operation Recorder based on Graph Transformation Theory. Currently, he is a researcher in the FAME project and working on his PhD thesis concerned with the verification of software models and model transformations.

List of Publications


Research Interests

  • Model-Driven/Model-Based Development
  • Model Transformations
  • Verification of Software Systems
  • Model Checking
  • Term rewriting



Formalizing and Managing Evolution in Model-Driven Engineering

Like traditional program code, software models are not resistant to change, but evolve over time by undergoing continuous extensions, corrections, and modifications. In model-driven engineering (MDE), evolution is multidimensional leading to the model management tasks of synchronization, versioning, and co-evolution.

Read more


(2012). On Formalizing EMF Modeling Operations with Graph Transformations.

Talk: UML and FM 2012, Paris; 08-27-2012; in: “ACM SIGSOFT Software Engineering Notes”, W. Tracz (ed.); ACM, Volume 37 Issue 4 (2012), ISSN: 0163-5948; 8 pages.


(2012). Towards Scenario-Based Testing of UML Diagrams.

Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: “Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.


(2012). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

in: “Models in Software Engineering - Workshops and Symposia at MODELS 2011, Reports and Revised Selected Papers”, Springer LNCS, Berlin-Heidelberg, 2012, ISSN: 0302-9743, 246 - 256.


(2011). Towards Semantics-Aware Merge Support in Optimistic Model Versioning.

Talk: Models & Evolution Workshop @ ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, New Zealand; 10-18-2011; in: “Proceedings of the Models and Evolution Workshop @ MoDELS'11”, (2011), 10 pages.