| 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 | 155 | 2007 |
| 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 | 94 | 2009 |
| 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 | 91 | 2014 |
| Globalizing modeling languages B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray Computer 47 (6), 68-71, 2014 | 78 | 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 | 76* | 2014 |
| 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 | 75 | 2015 |
| 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 | 73 | 2012 |
| Modeling modeling modeling PA Muller, F Fondement, B Baudry, B Combemale Software & Systems Modeling 11 (3), 347-359, 2012 | 65 | 2012 |
| 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 | 64 | 2015 |
| Ingénierie Dirigée par les Modèles: des concepts à la pratique... JM Jézéquel, B Combemale, D Vojtisek | 60 | 2012 |
| Modeling model slicers A Blouin, B Combemale, B Baudry, O Beaudoux International Conference on Model Driven Engineering Languages and Systems …, 2011 | 57 | 2011 |
| 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 | 56 | 2008 |
| 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 | 55 | 2012 |
| Kompren: modeling and generating model slicers A Blouin, B Combemale, B Baudry, O Beaudoux Software & Systems Modeling 14 (1), 321-337, 2015 | 48 | 2015 |
| Kompren: modeling and generating model slicers A Blouin, B Combemale, B Baudry, O Beaudoux Software & Systems Modeling 14 (1), 321-337, 2015 | 48 | 2015 |
| 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 | 43 | 2016 |
| 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 | 42 | 2015 |
| 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 | 42 | 2008 |
| 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 | 41 | 2015 |
| 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 | 41 | 2013 |
Benoit BaudryProfessor in Software Technology, KTHVerified email at kth.se
