Publications

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