Follow
Benoit Combemale
Benoit Combemale
Full Professor of Software Engineering at the University of Rennes, IRISA & ESIR
Verified email at irisa.fr - Homepage
Title
Cited by
Cited by
Year
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
1912007
The relevance of model-driven engineering thirty years from now
G Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...
Model-Driven Engineering Languages and Systems: 17th International …, 2014
1682014
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
1472015
Modeling languages in Industry 4.0: an extended systematic mapping study
A Wortmann, O Barais, B Combemale, M Wimmer
Software and Systems Modeling 19, 67-94, 2020
1372020
Globalizing modeling languages
B Combemale, J Deantoni, B Baudry, RB France, JM Jézéquel, J Gray
Computer, 10-13, 2014
1212014
Essay on semantics definition in MDE. An instrumented approach for model verification
B Combemale, X Crégut, PL Garoche, X Thirioux
Journal of software 4 (9), 943-958, 2009
1152009
Engineering modeling languages: Turning domain knowledge into tools
B Combemale, R France, JM Jézéquel, B Rumpe, J Steel, D Vojtisek
CRC Press, 2016
1092016
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
1042016
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, 905-920, 2015
962015
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
96*2014
Modeling modeling modeling
PA Muller, F Fondement, B Baudry, B Combemale
Software & Systems Modeling 11, 347-359, 2012
852012
On model subtyping
C Guy, B Combemale, S Derrien, JRH Steel, JM Jézéquel
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012 …, 2012
832012
Towards model-driven digital twin engineering: Current opportunities and future challenges
F Bordeleau, B Combemale, R Eramo, M Van Den Brand, M Wimmer
Systems Modelling and Management: First International Conference, ICSMM 2020 …, 2020
822020
Ingénierie Dirigée par les Modèles: des concepts à la pratique...
JM Jézéquel, B Combemale, D Vojtisek
Ellipses, 2012
802012
Leveraging software product lines engineering in the development of external dsls: A systematic literature review
D Méndez-Acuña, JA Galindo, T Degueule, B Combemale, B Baudry
Computer Languages, Systems & Structures 46, 206-235, 2016
762016
Ladder metamodeling and PLC program validation through time Petri nets
DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ...
Model Driven Architecture–Foundations and Applications: 4th European …, 2008
732008
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
692012
A systematic mapping study on modeling for industry 4.0
A Wortmann, B Combemale, O Barais
2017 ACM/IEEE 20th International Conference on Model Driven Engineering …, 2017
662017
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
642015
Conceptual model of the globalization for domain-specific languages
T Clark, M Van den Brand, B Combemale, B Rumpe
Globalizing Domain-Specific Languages: International Dagstuhl Seminar …, 2015
642015
The system can't perform the operation now. Try again later.
Articles 1–20