Benoit Combemale
Benoit Combemale
Professor of Software Engineering at University of Rennes 1
Geverifieerd e-mailadres voor irisa.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1632007
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
1102014
Essay on semantics definition in MDE. An instrumented approach for model verification
B Combemale, X Crégut, PL Garoche, X Thirioux
962009
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer 47 (6), 68-71, 2014
872014
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
862015
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
77*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
762012
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
712015
Modeling modeling modeling
PA Muller, F Fondement, B Baudry, B Combemale
Software & Systems Modeling 11 (3), 347-359, 2012
702012
Ingénierie Dirigée par les Modèles: des concepts à la pratique...
JM Jézéquel, B Combemale, D Vojtisek
Ellipses, 2012
652012
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
602012
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
582008
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
572016
Modeling model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
International Conference on Model Driven Engineering Languages and Systems …, 2011
572011
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
502015
Kompren: modeling and generating model slicers
A Blouin, B Combemale, B Baudry, O Beaudoux
Software & Systems Modeling 14 (1), 321-337, 2015
502015
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
482015
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
Institut National Polytechnique de Toulouse-INPT, 2008
462008
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
452015
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
442013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20