Publications

Steffen Zschaler, Erwan Bousse, Julien Deantoni, Benoit Combemale (2023). A generic framework for representing and analyzing model concurrency. Software and Systems Modeling.

Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunye, Manuel Wimmer (2022). From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages. 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022).

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye, Pablo Gómez-Abajo, Pablo C Cañizares, Esther Guerra, Juan de Lara (2022). Automatic Test Amplification for Executable Models. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS ‘22).

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye (2022). Advanced Testing and Debugging Support for Reactive Executable DSLs. Software and Systems Modeling (Sosym).

Robert Heinrich, Erwan Bousse, Sandro Koch, Arend Rensink, Elvinia Riccobene, Daniel Ratiu, Marjan Sirjani (2021). Integration and Orchestration of Analysis Tools. Composing Model-Based Analysis Tools.

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye (2021). Adapting TDL to Provide Testing Support for Executable DSLs.. The Journal of Object Technology.

Preprint PDF Cite DOI

Dorian Leroy, Erwan Bousse, Manuel Wimmer, Tanja Mayerhofer, Benoit Combemale, Wieland Schwinger (2020). Behavioral interfaces for executable DSLs. Software and Systems Modeling (SoSym).

Preprint PDF Cite DOI

Dorian Leroy, Pierre Jeanjean, Erwan Bousse, Manuel Wimmer, Benoit Combemale (2020). Runtime Monitoring for Executable DSLs. The Journal of Object Technology.

Thibault Beziers la Fosse, Massimo Tisi, Erwan Bousse, Jean-Marie Mottu, Gerson Sunye (2019). Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages. International Workshop on Modeling Language Engineering and Execution (MLE).

Erwan Bousse, Manuel Wimmer (2019). Domain-Level Observation and Control for Compiled Executable DSLs. IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

Preprint PDF Slides

Fazilat Hojaji, Bahman Zamani, Abdelwahab Hamou-Lhadj, Tanja Mayerhofer, Erwan Bousse (2019). Lossless compaction of model execution traces. Software & Systems Modeling (SoSyM).

Preprint PDF DOI

Fazilat Hojaji, Tanja Mayerhofer, Bahman Zamani, Abdelwahab Hamou-Lhadj, Erwan Bousse (2019). Model execution tracing: a systematic mapping study. Software & Systems Modeling (SoSyM).

Preprint PDF DOI

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 (2018). Concern-Oriented Language Development (COLD). Computer Languages, Systems & Structures (COMLAN).

Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer (2018). Trace Comprehension Operators for Executable DSLs. European Conference on Modelling Foundations and Applications (ECMFA).

Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry (2018). Omniscient debugging for executable DSLs. _Journal of Systems and Software (JSS).

Tanja Mayerhofer, Philip Langer, Ed Seidewitz, Jeff Gray, Erwan Bousse (2017). Third International Workshop on Executable Modeling (EXE 2017). EXE 2017-Third International Workshop on Executable Modeling.

Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin (2017). Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17). MDEbug 2017-1st International Workshop on Debugging in Model-Driven Engineering.

Erwan Bousse, Tanja Mayerhofer, Manuel Wimmer (2017). Domain-Level Debugging for Compiled DSLs with the GEMOC Studio. International Workshop on Debugging in Model-Driven Engineering (MDEBug).

Dorian Leroy, Erwan Bousse, Manuel Wimmer, Wieland Schwinger (2017). Create and Play your Pac-Man Game with the GEMOC Studio. International Workshop on Executable Modeling (EXE).

Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry (2017). Advanced and efficient execution trace management for executable domain-specific modeling languages. Software & Systems Modeling.

Erwan Bousse, Manuel Wimmer, Wieland Schwinger, Elisabeth Kapsammer (2016). On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages. International Workshop on Executable Modeling (EXE).

Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoit Combemale (2016). Execution Framework of the GEMOC Studio (Tool Demo). International Conference on Software Language Engineering (SLE).

Erwan Bousse, J. Corley, Benoit Combemale, Jeff Gray, Benoit Baudry (2015). Supporting Efficient and Advanced Omniscient Debugging for xDSMLs. International Conference on Software Language Engineering (SLE).

Erwan Bousse (2015). Execution Trace Management to Support Dynamic V&V for Executable DSMLs. PhD thesis.

Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule, Didier Vojtisek (2015). A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio. Transformation Tool Contest (TTC).

Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry (2015). A Generative Approach to Define Rich Domain-Specific Trace Metamodels. European Conference on Modeling Foundations and Applications (ECMFA).

Erwan Bousse, Benoit Combemale, Benoit Baudry (2014). Towards Scalable Multidimensional Execution Traces for xDSMLs. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa).

Erwan Bousse, Benoit Combemale, Benoit Baudry (2014). Scalable Armies of Model Clones through Data Sharing. International Conference on Model Driven Engineering Languages and Systems (MODELS).

Erwan Bousse (2013). Combining Verification and Validation techniques. PhD Students Workshop of the ECMFA, ECOOP and ECSA 2013 Doctoral Symposium.

Erwan Bousse (2012). Requirements management led by formal verification. Master thesis.

Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Takaya Katsuragi (2012). Aligning SysML with the B method to provide V&V for systems engineering. Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa).