Publications

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, Djamel Eddine Khelladi, Pablo Gómez-Abajo, Pablo C. Cañizares, Esther Guerra, Juan De Lara (2025). A Language-Parametric Test Amplification Framework for Executable Domain-Specific Languages. Software and Systems Modeling (SoSym).

Léna Bamouh, Erwan Bousse (2024). Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing. 21st Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2024).

Cite DOI Preprint Slides

Hiba Ajabri, Jean-Marie Mottu, Erwan Bousse (2024). Defining KPIs for Executable DSLs: A Manufacturing System Case Study. 12th International Conference on Model-Based Software and Systems Engineering (MODELSWARD 2024).

Cite DOI Preprint

Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé (2024). dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols. MODELS Tools and Demonstrations.

Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, Manuel Wimmer (2024). A language-parametric test coverage framework for executable domain-specific languages. Journal of Systems and Software.

Cite DOI Preprint

Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé (2023). On the Suitability of LSP and DAP for Domain-Specific Languages. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

Cite DOI Preprint

Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé (2023). Protocol-Based Interactive Debugging for Domain-Specific Languages.. The Journal of Object Technology.

Cite DOI Preprint

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

Cite DOI Preprint

Faezeh Khorram, Erwan Bousse, Antonio Garmendia, Jean-Marie Mottu, Gerson Sunyé, 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).

Preprint Cite DOI

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé, 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).

Preprint Cite DOI

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé (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 Sunyé (2021). Adapting TDL to Provide Testing Support for Executable DSLs.. The Journal of Object Technology.

Preprint 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 Cite DOI

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

Preprint Cite DOI

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).

Cite DOI Preprint

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 DOI

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

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

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).

Preprint PDF DOI

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).

Preprint PDF DOI

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).

Preprint PDF DOI

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).

Preprint PDF DOI

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).

Preprint PDF DOI