Publications

Adapting TDL to Provide Testing Support for Executable DSLs.
Testing is one of the most prevalent and successful verification and validation (V&V) techniques used in the field of software …
Preprint PDF Cite DOI
Behavioral interfaces for executable DSLs
Preprint PDF Cite DOI
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
PDF Cite DOI
Domain-Level Observation and Control for Compiled Executable DSLs
Executable Domain-Specific Languages (DSLs) are commonly defined with either operational semantics (i.e., interpretation) or …
Preprint PDF Slides
Lossless compaction of model execution traces
Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the …
Preprint PDF DOI
Model execution tracing: a systematic mapping study
Preprint PDF DOI
Concern-Oriented Language Development (COLD)
Preprint PDF
Trace Comprehension Operators for Executable DSLs
Preprint PDF
Omniscient debugging for executable DSLs
Preprint PDF
Third International Workshop on Executable Modeling (EXE 2017)
Preprint PDF
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
Preprint PDF
Domain-Level Debugging for Compiled DSLs with the GEMOC Studio
Preprint PDF
Create and Play your Pac-Man Game with the GEMOC Studio
Preprint PDF
Advanced and efficient execution trace management for executable domain-specific modeling languages
Preprint PDF
On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
Preprint PDF
Execution Framework of the GEMOC Studio (Tool Demo)
Preprint PDF
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
Preprint PDF
Execution Trace Management to Support Dynamic V&V for Executable DSMLs
PDF
A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
PDF
A Generative Approach to Define Rich Domain-Specific Trace Metamodels
Preprint PDF
Towards Scalable Multidimensional Execution Traces for xDSMLs
Preprint PDF
Scalable Armies of Model Clones through Data Sharing
Preprint PDF
Combining Verification and Validation techniques
PDF
Requirements management led by formal verification
Aligning SysML with the B method to provide V&V for systems engineering
Preprint PDF