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.
He is currently working in the context of the Tetrabox project.
More information in his personal webpage.
Model transformations are crucial for the success of Model-Driven Engineering (MDE), comparable in role and importance to compilers for programming languages, allowing to transform models between languages and abstraction levels, e.
Domain-specific modeling languages are increasingly being developed to continuously leverage the domain-specific expertise of the various stakeholders involved in the development of complex software-intensive system as, for instance, found in the automation, production, and automotive domains.
IEEE C.P.S. Publishing Services, USA, 2019, ISBN: 978-1-7281-5125-0; 801 pages.