55
Publications
1.8K
Citations
23
H-Index
2006
Active since
Benoît Combemale is an author at Université de Rennes specializing in engineering, software design, and formal methods.
Top concepts
EngineeringSoftware DesignSoftware EngineeringComputer ScienceSoftware AnalysisFormal MethodsProgram AnalysisSystems EngineeringSystem SoftwareFormal Verification
Publications per year
2006–2025
55
55
Romina Eramo, Francis Bordeleau, Benoît Combemale et al. · IEEE Software · 2021 · 113 citations · Full text
Melange: a meta-language for modular and reusable development of DSLs
Thomas Degueule, Benoît Combemale, Arnaud Blouin et al. · 2015 · 93 citations
Globalizing Modeling Languages
Benoît Combemale, Julien Deantoni, Benoît Baudry et al. · Computer · 2014 · 79 citations
Execution framework of the GEMOC studio (tool demo)
Erwan Bousse, Thomas Degueule, Didier Vojtisek et al. · 2016 · 74 citations
Rows per page
1–5 of 55