Business Informatics Group
+43 (1) 58801 - 188698
His thesis focused on providing means to enable the dynamic V&V of executable models, such as efficient model cloning, the creation of multi-dimensional execution traces of executable models, and the use of such traces for advanced model omniscient debugging.
- model driven engineering
- model transformation
- verification of model transformations
- language engineering
- model execution
- dynamic verification and validation of executable models
- execution traces of executable models
He is currently working in the context of the Tetrabox project.
More information in his personal webpage.