Erwan Bousse
Home
Publications
Talks
Awards
Students
Projects
Services
Software
Contact
Publications
Type
Conference paper
Journal article
Preprint
Report
Thesis
Date
2019
2018
2017
2016
2015
2014
2013
2012
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 …
Erwan Bousse
,
Manuel Wimmer
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 …
Fazilat Hojaji
,
Bahman Zamani
,
Abdelwahab Hamou-Lhadj
,
Tanja Mayerhofer
,
Erwan Bousse
Preprint
PDF
DOI
Model execution tracing: a systematic mapping study
Fazilat Hojaji
,
Tanja Mayerhofer
,
Bahman Zamani
,
Abdelwahab Hamou-Lhadj
,
Erwan Bousse
Preprint
PDF
DOI
Concern-Oriented Language Development (COLD)
Benoit Combemale
,
Julien Deantoni
,
Gunter Mussbacher
,
Olivier Barais
,
Erwan Bousse
,
Walter Cazzola
,
Philippe Collet
,
Thomas Degueule
,
Robert Heinrich
,
Jean-Marc Jézéquel
,
Manuel Leduc
,
Tanja Mayerhofer
,
Sébastien Mosser
,
Matthias Schöttle
,
Misha Strittmatter
,
Andreas Wortmann
Preprint
PDF
Trace Comprehension Operators for Executable DSLs
Dorian Leroy
,
Erwan Bousse
,
Anaël Megna
,
Benoit Combemale
,
Manuel Wimmer
Preprint
PDF
Omniscient debugging for executable DSLs
Erwan Bousse
,
Dorian Leroy
,
Benoit Combemale
,
Manuel Wimmer
,
Benoit Baudry
Preprint
PDF
Third International Workshop on Executable Modeling (EXE 2017)
Tanja Mayerhofer
,
Philip Langer
,
Ed Seidewitz
,
Jeff Gray
,
Erwan Bousse
Preprint
PDF
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
Simon Van Mierlo
,
Erwan Bousse
,
Hans Vangheluwe
,
Manuel Wimmer
,
Clark Verbrugge
,
Martin Gogolla
,
Matthias Tichy
,
Arnaud Blouin
Preprint
PDF
Domain-Level Debugging for Compiled DSLs with the GEMOC Studio
Erwan Bousse
,
Tanja Mayerhofer
,
Manuel Wimmer
Preprint
PDF
Create and Play your Pac-Man Game with the GEMOC Studio
Dorian Leroy
,
Erwan Bousse
,
Manuel Wimmer
,
Wieland Schwinger
Preprint
PDF
Advanced and efficient execution trace management for executable domain-specific modeling languages
Erwan Bousse
,
Tanja Mayerhofer
,
Benoit Combemale
,
Benoit Baudry
Preprint
PDF
Publications
Last updated on
Apr 10, 2019
On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
Erwan Bousse
,
Manuel Wimmer
,
Wieland Schwinger
,
Elisabeth Kapsammer
Preprint
PDF
Execution Framework of the GEMOC Studio (Tool Demo)
Erwan Bousse
,
Thomas Degueule
,
Didier Vojtisek
,
Tanja Mayerhofer
,
Julien Deantoni
,
Benoit Combemale
Preprint
PDF
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
Erwan Bousse
,
J. Corley
,
Benoit Combemale
,
Jeff Gray
,
Benoit Baudry
Preprint
PDF
Execution Trace Management to Support Dynamic V&V for Executable DSMLs
Erwan Bousse
PDF
A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
Benoit Combemale
,
Julien Deantoni
,
Olivier Barais
,
Arnaud Blouin
,
Erwan Bousse
,
Cédric Brun
,
Thomas Degueule
,
Didier Vojtisek
PDF
A Generative Approach to Define Rich Domain-Specific Trace Metamodels
Erwan Bousse
,
Tanja Mayerhofer
,
Benoit Combemale
,
Benoit Baudry
Preprint
PDF
Towards Scalable Multidimensional Execution Traces for xDSMLs
Erwan Bousse
,
Benoit Combemale
,
Benoit Baudry
Preprint
PDF
Scalable Armies of Model Clones through Data Sharing
Erwan Bousse
,
Benoit Combemale
,
Benoit Baudry
Preprint
PDF
Combining Verification and Validation techniques
Erwan Bousse
PDF
Requirements management led by formal verification
Erwan Bousse
Aligning SysML with the B method to provide V&V for systems engineering
Erwan Bousse
,
David Mentré
,
Benoit Combemale
,
Benoit Baudry
,
Takaya Katsuragi
Preprint
PDF
Cite
×