Erwan Bousse

Latest

Defining KPIs for Executable DSLs: A Manufacturing System Case Study
A language-parametric test coverage framework for executable domain-specific languages
On the Suitability of LSP and DAP for Domain-Specific Languages
A generic framework for representing and analyzing model concurrency
Protocol-Based Interactive Debugging for Domain-Specific Languages.
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
Automatic Test Amplification for Executable Models
Advanced Testing and Debugging Support for Reactive Executable DSLs
Adapting TDL to Provide Testing Support for Executable DSLs.
Integration and Orchestration of Analysis Tools
Behavioral interfaces for executable DSLs
Runtime Monitoring for Executable DSLs
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
Domain-Level Observation and Control for Compiled Executable DSLs
Lossless compaction of model execution traces
Model execution tracing: a systematic mapping study
Concern-Oriented Language Development (COLD)
Trace Comprehension Operators for Executable DSLs
Omniscient debugging for executable DSLs
Create and Play your Pac-Man Game with the GEMOC Studio
Domain-Level Debugging for Compiled DSLs with the GEMOC Studio
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
Third International Workshop on Executable Modeling (EXE 2017)
Advanced and efficient execution trace management for executable domain-specific modeling languages
Execution Framework of the GEMOC Studio (Tool Demo)
On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
A Generative Approach to Define Rich Domain-Specific Trace Metamodels
A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
Execution Trace Management to Support Dynamic V&V for Executable DSMLs
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
Scalable Armies of Model Clones through Data Sharing
Towards Scalable Multidimensional Execution Traces for xDSMLs
Combining Verification and Validation techniques
Aligning SysML with the B method to provide V&V for systems engineering
Requirements management led by formal verification