Erwan Bousse
YOU?
Author Swipe
View article: Lossless compaction of model execution traces
Lossless compaction of model execution traces Open
Dynamic verification and validation (V&V) techniques are used to verify and validate the behavior of software systems early in the development process. In the context of model-driven engineering, such behaviors are usually defined using ex…
View article: dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols
dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols Open
International audience
View article: Defining KPIs for Executable DSLs: A Manufacturing System Case Study
Defining KPIs for Executable DSLs: A Manufacturing System Case Study Open
International audience
View article: On the Suitability of LSP and DAP for Domain-Specific Languages
On the Suitability of LSP and DAP for Domain-Specific Languages Open
International audience
View article: A generic framework for representing and analyzing model concurrency
A generic framework for representing and analyzing model concurrency Open
International audience
View article: A generic framework for representing and analyzing model concurrency
A generic framework for representing and analyzing model concurrency Open
Recent results in language engineering simplify the development of tool-supported executable domain-specific modeling languages (xDSMLs), including editing (e.g., completion and error checking) and execution analysis tools (e.g., debugging…
View article: Protocol-Based Interactive Debugging for Domain-Specific Languages.
Protocol-Based Interactive Debugging for Domain-Specific Languages. Open
International audience
View article: From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages Open
International audience
View article: A tool-assisted approach to engineer domain-specific languages (DSLs) using Rust
A tool-assisted approach to engineer domain-specific languages (DSLs) using Rust Open
International audience
View article: Automatic test amplification for executable models
Automatic test amplification for executable models Open
© ACM 2022. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published inMODELS '22: Proceedings of the 25th International Conference on Model D…
View article: Adapting TDL to Provide Testing Support for Executable DSLs.
Adapting TDL to Provide Testing Support for Executable DSLs. Open
Testing is one of the most prevalent and successful verification and validation (V&V) techniques used in the field of software engineering.While a large number of testing frameworks exist for general-purpose programming languages, providin…
View article: Runtime Monitoring for Executable DSLs.
Runtime Monitoring for Executable DSLs. Open
International audience
View article: Behavioral Interfaces for Executable DSLs
Behavioral Interfaces for Executable DSLs Open
This work summarizes our paper [Le20] originally published in the Journal of Software and Systems Modeling in 2020 about a novel language engineering approach.
View article: Domain-Level Observation and Control for Compiled Executable DSLs
Domain-Level Observation and Control for Compiled Executable DSLs Open
International audience
View article: Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages Open
International audience