Benoit Combemale
Benoit Combemale
Professor of Software Engineering at University of Rennes 1
Verified email at irisa.fr - Homepage
Title
Cited by
Cited by
Year
" Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier-DOI)
M Triska, N Musliu
Annals of Operations Research 194 (1), 413-425, 2012
14*2012
A behavioral coordination operator language (BCOoL)
MEV Larsen, J Deantoni, B Combemale, F Mallet
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
522015
A categorical model of model merging and weaving
JY Marchand, B Combemale, B Baudry
2012 4th International Workshop on Modeling in Software Engineering (MISE …, 2012
122012
A Demonstration for Building Modular and Efficient DSLs
O Barais, B Baudry, A Blouin, B Combemale, JM Jézéquel, D Vojtisek
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience
O Barais, B Baudry, A Blouin, B Combemale, JM Jézéquel, D Vojtisek
Conférence en IngénieriE du Logiciel (CIEL), 2013
12013
A Design Pattern to Build Executable DSMLs and Associated V&V Tools
B Combemale, X Crégut, M Pantel
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific 1, 282-287, 2012
612012
A formal framework to prove the correctness of model driven engineering composition operators
MK Hamiaz, M Pantel, B Combemale, X Thirioux
International Conference on Formal Engineering Methods, 235-250, 2014
52014
A formal framework to prove the correctness of model driven engineering composition operators
M Kezadri, M Pantel, B Combemale, X Thirioux
ICFEM'14-16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, 2014
12014
A framework to formalise the MDE foundations
X Thirioux, B Combemale, X Crégut, PL Garoche
International Workshop on Towers of Models (TOWERS 2007), 14-30, 2007
422007
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
242015
A generic tool for tracing executions back to a DSML’s operational semantics
B Combemale, L Gonnord, V Rusu
European Conference on Modelling Foundations and Applications, 35-51, 2011
282011
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems
B Combemale, J Kienzle, G Mussbacher, H Ali, D Amyot, M Bagherzadeh, ...
IEEE Software, 2020
32020
A Model-Driven Based Environment for Automatic Model Coordination
MEV Larsen, J Deantoni, B Combemale, F Mallet
Models 2015 demo and posters, 2015
32015
A principled approach to REPL interpreters
LT van Binsbergen, M Verano Merino, P Jeanjean, T van der Storm, ...
Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas …, 2020
12020
A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software
A Garcia, B Combemale, X Crégut, JN Guyot, B Libert
Embedded Real Time Software and Systems (ERTS2008), 2008
2008
A proof assistant based formalization of MDE components
M Kezadri, B Combemale, M Pantel, X Thirioux
International Workshop on Formal Aspects of Component Software, 223-240, 2011
92011
A property-driven approach to formal verification of process models
B Combemale, X Crégut, PL Garoche, X Thirioux, F Vernadat
International Conference on Enterprise Information Systems, 286-300, 2007
292007
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, ...
8th Transformation Tool Contest, 2015
152015
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
M Amrani, L Lúcio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
Journal of Technology, 2014
81*2014
A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
M Amrani, L Lúcio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
Journal of Technology, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20