Publications

(2022). Automatic Test Amplification for Executable Models. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS ‘22).

PDF Cite DOI

(2019). Domain-Level Observation and Control for Compiled Executable DSLs. IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

Preprint PDF Slides

(2018). Trace Comprehension Operators for Executable DSLs. European Conference on Modelling Foundations and Applications (ECMFA).

Preprint PDF

(2017). Domain-Level Debugging for Compiled DSLs with the GEMOC Studio. International Workshop on Debugging in Model-Driven Engineering (MDEBug).

Preprint PDF

(2014). Towards Scalable Multidimensional Execution Traces for xDSMLs. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa).

Preprint PDF

(2014). Scalable Armies of Model Clones through Data Sharing. International Conference on Model Driven Engineering Languages and Systems (MODELS).

Preprint PDF

(2013). Combining Verification and Validation techniques. PhD Students Workshop of the ECMFA, ECOOP and ECSA 2013 Doctoral Symposium.

PDF