Benoit Combemale
Benoit Combemale
Professor of Software Engineering (Univ. Toulouse - Jean Jaurès) and Research Scientist (Inria)
Verified email at inria.fr - Homepage
TitleCited byYear
Definition of an Executable SPEM 2.0
R Bendraou, B Combemale, X Crégut, MP Gervais
14th Asia-Pacific Software Engineering Conference (APSEC'07), 390-397, 2007
1492007
Essay on semantics definition in MDE. An instrumented approach for model verification
B Combemale, X Crégut, PL Garoche, X Thirioux
Journal of Software (JSW) 4 (9), 943-958, 2009
902009
The relevance of model-driven engineering thirty years from now
G Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...
International Conference on Model Driven Engineering Languages and Systems …, 2014
762014
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer 47 (6), 68-71, 2014
722014
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
72*2014
On model subtyping
C Guy, B Combemale, S Derrien, JRH Steel, JM Jézéquel
European Conference on Modelling Foundations and Applications, 400-415, 2012
712012
Melange: A meta-language for modular and reusable development of dsls
T Degueule, B Combemale, A Blouin, O Barais, JM Jézéquel
Proceedings of the 2015 ACM SIGPLAN International Conference on Software …, 2015
662015
Modeling modeling modeling
PA Muller, F Fondement, B Baudry, B Combemale
Software & Systems Modeling 11 (3), 347-359, 2012
642012
Mashup of metalanguages and its implementation in the kermeta language workbench
JM Jézéquel, B Combemale, O Barais, M Monperrus, F Fouquet
Software & Systems Modeling 14 (2), 905-920, 2015
592015
Ingénierie Dirigée par les Modèles: des concepts à la pratique...
JM Jézéquel, B Combemale, D Vojtisek
592012
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
European Conference on Model Driven Architecture-Foundations and …, 2008
562008
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
552012
Modeling model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
International Conference on Model Driven Engineering Languages and Systems …, 2011
542011
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
472015
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
472015
Approche de métamodélisation pour la simulation et la vérification de modèle--Application à l'ingénierie des procédés
B Combemale
422008
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
Reifying concurrency for executable metamodeling
B Combemale, J De Antoni, MV Larsen, F Mallet, O Barais, B Baudry, ...
International Conference on Software Language Engineering, 365-384, 2013
402013
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
382007
An analysis of metamodeling practices for MOF and OCL
JJ Cadavid, B Combemale, B Baudry
Computer Languages, Systems & Structures 41, 42-65, 2015
37*2015
The system can't perform the operation now. Try again later.
Articles 1–20