Erwan Bousse
Erwan Bousse
Home
Publications
Talks
Awards
Students
Projects
Services
Software
Teaching
Contact
Publications
Type
Conference paper
Journal article
Preprint
Report
Book section
Thesis
Date
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
Integration and Orchestration of Analysis Tools
Robert Heinrich
,
Erwan Bousse
,
Sandro Koch
,
Arend Rensink
,
Elvinia Riccobene
,
Daniel Ratiu
,
Marjan Sirjani
PDF
Cite
DOI
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 …
Faezeh Khorram
,
Erwan Bousse
,
Jean-Marie Mottu
,
Gerson Sunye
Preprint
PDF
Cite
DOI
Behavioral interfaces for executable DSLs
Dorian Leroy
,
Erwan Bousse
,
Manuel Wimmer
,
Tanja Mayerhofer
,
Benoit Combemale
,
Wieland Schwinger
Preprint
PDF
Cite
DOI
Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
Thibault Beziers la Fosse
,
Massimo Tisi
,
Erwan Bousse
,
Jean-Marie Mottu
,
Gerson Sunye
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 …
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
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
×