Research

Publications

My publications can be found on my Google scholar page.

Below is a list most of the time outdated.

2016

Bousse, Erwan; Degueule, Thomas; Vojtisek, Didier; Mayerhofer, Tanja; Deantoni, Julien; Combemale, Benoit

Execution Framework of the GEMOC Studio (Tool Demo) Inproceedings

ACM, (Ed.): Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering (SLE '16), pp. 6, Amsterdam, Netherlands, 2016, ISBN: 978-1-4503-4447-0/16/10.

Links | BibTeX

2015

Bousse, Erwan; Mayerhofer, Tanja; Combemale, Benoit; Baudry, Benoit

A Generative Approach to Define Rich Domain-Specific Trace Metamodels Inproceedings

11th European Conference on Modelling Foundations and Applications (ECMFA), L’Aquila, Italy, 2015.

Links | BibTeX

Bousse, Erwan

Execution Trace Management to Support Dynamic V&V for Executable DSMLs PhD Thesis

Rennes 1, 2015.

Links | BibTeX

Combemale, Benoit; Deantoni, Julien; Barais, Olivier; Blouin, Arnaud; Bousse, Erwan; Brun, C'edric; Degueule, Thomas; Vojtisek, Didier

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio Inproceedings

8th Transformation Tool Contest, CEUR, l'Aquila, Italy, 2015.

Links | BibTeX

Bousse, Erwan; Corley, Jonathan; Combemale, Benoit; Gray, Jeff; Baudry, Benoit

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs Inproceedings

8th International Conference on Software Language Engineering (SLE), Pittsburg, United States, 2015.

Links | BibTeX

2014

Bousse, Erwan; Combemale, Benoit; Baudry, Benoit

Scalable Armies of Model Clones through Data Sharing Inproceedings

Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Valencia, Spain, 2014.

Links | BibTeX

Bousse, Erwan; Combemale, Benoit; Baudry, Benoit

Towards Scalable Multidimensional Execution Traces for xDSMLs Inproceedings

11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Valencia, Spain, 2014.

Links | BibTeX

2013

Bousse, Erwan

Combining Verification and Validation techniques Inproceedings

Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, pp. 10, Montpellier, France, 2013.

Links | BibTeX

2012

Bousse, Erwan; Mentr'e, David; Combemale, Benoit; Baudry, Benoit; Takaya, Katsuragi

Aligning SysML with the B Method to Provide V&V for Systems Engineering Inproceedings

Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Innsbruck, Austria, 2012.

Links | BibTeX

Talks (outdated list)