Erwan Bousse
TitreCitée parAnnée
Supporting efficient and advanced omniscient debugging for xDSMLs
E Bousse, J Corley, B Combemale, J Gray, B Baudry
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
402015
Execution framework of the gemoc studio (tool demo)
E Bousse, T Degueule, D Vojtisek, T Mayerhofer, J Deantoni, ...
Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016
322016
Aligning SysML with the B method to provide V&V for systems engineering
E Bousse, D Mentré, B Combemale, B Baudry, T Katsuragi
Proceedings of the Workshop on Model-Driven Engineering, Verification and …, 2012
262012
A generative approach to define rich domain-specific trace metamodels
E Bousse, T Mayerhofer, B Combemale, B Baudry
European Conference on Modelling Foundations and Applications, 45-61, 2015
202015
Concern-oriented language development (cold): Fostering reuse in language engineering
B Combemale, J Kienzle, G Mussbacher, O Barais, E Bousse, W Cazzola, ...
Computer Languages, Systems & Structures 54, 139-155, 2018
132018
Advanced and efficient execution trace management for executable domain-specific modeling languages
E Bousse, T Mayerhofer, B Combemale, B Baudry
Software & Systems Modeling 18 (1), 385-421, 2019
112019
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
B Combemale, J Deantoni, O Barais, A Blouin, E Bousse, C Brun, ...
112015
Omniscient debugging for executable DSLs
E Bousse, D Leroy, B Combemale, M Wimmer, B Baudry
Journal of Systems and Software 137, 261-288, 2018
92018
Scalable armies of model clones through data sharing
E Bousse, B Combemale, B Baudry
International Conference on Model Driven Engineering Languages and Systems …, 2014
62014
Towards scalable multidimensional execution traces for xDSMLs
E Bousse, B Combemale, B Baudry
52014
Requirements management led by formal verification
E Bousse
Research Masters Degree in Computer Science, University of Rennes, 2012
52012
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug17)
S Van Mierlo, E Bousse, H Vangheluwe, M Wimmer, C Verbrugge, ...
CEUR workshop proceedings 2019, 441-446, 2017
22017
Model execution tracing: a systematic mapping study
F Hojaji, T Mayerhofer, B Zamani, A Hamou-Lhadj, E Bousse
Software & Systems Modeling, 1-25, 2019
12019
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)
D Leroy, E Bousse, M Wimmer, B Combemale, W Schwinger
12017
Combining verification and validation techniques
E Bousse
12013
Domain-Level Observation and Control for Compiled Executable DSLs
E Bousse, M Wimmer
2019
Lossless compaction of model execution traces
F Hojaji, B Zamani, A Hamou-Lhadj, T Mayerhofer, E Bousse
Software & Systems Modeling, 1-32, 2019
2019
Trace Comprehension Operators for Executable DSLs
D Leroy, E Bousse, A Megna, B Combemale, M Wimmer
European Conference on Modelling Foundations and Applications, 293-310, 2018
2018
Third International Workshop on Executable Modeling (EXE 2017)
T Mayerhofer, P Langer, E Seidewitz, J Gray, E Bousse
2017
Domain-Level Debugging for Compiled DSLs with the GEMOC Studio (Tool Demo)
E Bousse, T Mayerhofer, M Wimmer
2017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20