Publications

[54] Execution Framework of the GEMOC Studio (Tool Demo) (Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoit Combemale), In Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016), 2016. [bibtex] [pdf]
[53] Reverse-engineering reusable language modules from legacy domain-specific languages (David Méndez-Acuña, José A. Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic), In International Conference on Software Reuse (ICSR 2016), 2016. [bibtex] [pdf]
[52] Puzzle: A tool for analyzing and extracting specification clones in DSLs (David Méndez-Acuña, José A. Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry), In ICSR 2016 the 15th International Conference on Software Reuse (workshops and demonstrations), 2016. [bibtex] [pdf]
[51] VCU: The Three Dimensions of Reuse (Jörg Kienzle, Gunter Mussbacher, Omar Alam, Matthias Schöttle, Nicolas Belloir, Philippe Collet, Benoit Combemale, Julien Deantoni, Jacques Klein, Bernhard Rumpe), In The 15th International Conference on Software Reuse (ICSR 2016), 2016. [bibtex] [pdf]
[50] A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir), In 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016. [bibtex] [pdf]
[49] Modeling for Sustainability (Benoit Combemale, Betty H.C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray), In Modeling in Software Engineering 2016 (MiSE 2016), ACM, 2016. [bibtex] [pdf]
[48] A Model-Driven Based Environment for Automatic Model Coordination (Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet), In Models 2015 demo and posters (CEUR, ed.), 2015. [bibtex] [pdf]
[47] Weaving Concurrency in eXecutable Domain-Specific Modeling Languages (Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel), In 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), ACM, 2015. [bibtex] [pdf]
[46] Supporting Efficient and Advanced Omniscient Debugging for xDSMLs (Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry), In 8th International Conference on Software Language Engineering (SLE 2015) , ACM, 2015. [bibtex] [pdf]
[45] Melange: A Meta-language for Modular and Reusable Development of DSLs (Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel), In 8th International Conference on Software Language Engineering (SLE 2015), 2015. [bibtex] [pdf]
[44] Formal Verification Techniques for Model Transformations: A Tridimensional Classification (Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy), In Journal of Object Technology (JOT), volume 14, 2015. [bibtex] [pdf] [doi]
[43] A Behavioral Coordination Operator Language (BCOoL) (Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet), In 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015. [bibtex] [pdf]
[42] A Generative Approach to Define Rich Domain-Specific Trace Metamodels (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In 11th European Conference on Modelling Foundations and Applications (ECMFA 2015), 2015. [bibtex] [pdf]
[41] MDE in Practice for Computational Science (Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal), In International Conference on Computational Science (ICCS 2015), 2015. [bibtex] [pdf]
[40] Towards a Meta-Language for the Concurrency Concern in DSLs (Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale), In Design, Automation and Test in Europe Conference and Exhibition (DATE 2015), 2015. [bibtex] [pdf]
[39] Using Slicing to Improve the Performance of Model Invariant Checking (Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray), In Journal of Object Technology (JOT), 2015. [bibtex] [pdf]
[38] Coping with Semantic Variation Points in Domain-Specific Modeling Languages (Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale), In 1st International Workshop on Executable Modeling (EXE 2015), CEUR, 2015. [bibtex] [pdf]
[37] Globalizing Domain-Specific Languages (Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jezequel, Bernhard Rumpe), Springer International Publishing, volume 9400, 2015. [bibtex] [pdf] [doi]
[36] A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio (Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule, Didier Vojtisek), In 8th Transformation Tool Contest (workshop TTC 2015), 2015. [bibtex] [pdf]
[35] Conceptual Model of the Globalization for Domain-Specific Languages (Tony Clark, Mark Van Den Brand, Benoit Combemale, Bernhard Rumpe), Chapter in Globalizing Domain-Specific Languages, Springer International Publishing, volume 9400, 2015. [bibtex] [pdf] [doi]
[34] On the Globalization of Domain-Specific Languages (Betty H.C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe), Chapter in Globalizing Domain-Specific Languages, Springer International Publishing, volume 9400, 2015. [bibtex] [pdf] [doi]
[33] Mashup of metalanguages and its implementation in the Kermeta language workbench (Jean-Marc Jézéquel, Benoît Combemale, Olivier Barais, Martin Monperrus, François Fouquet), In Software and System Modeling, volume 14, 2015. [bibtex] [pdf] [doi]
[32] An analysis of metamodeling practices for MOF and OCL (Juan José Cadavid, Benoît Combemale, Benoit Baudry), In Computer Languages, Systems & Structures (COMLAN), volume 41, 2015. [bibtex] [pdf] [doi]
[31] Towards the use of slicing techniques for an efficient invariant checking (Wuliang Sun, Benoît Combemale, Robert B. France), In Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015 (best poster award) (Robert B. France, Sudipto Ghosh, Gary T. Leavens, eds.), ACM, 2015. [bibtex] [pdf] [doi]
[30] A formal framework to prove the correctness of model driven engineering composition operators (Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux), In 16th International Conference on Formal Engineering Methods (ICFEM 2014), Springer, 2014. [bibtex] [pdf]
[29] When Systems Engineering Meets Software Language Engineering (Jean-Marc Jézéquel, David Mendez, Thomas Degueule, Benoit Combemale, Olivier Barais), In Complex Systems Design & Management (CSD&M 2014), Springer, 2014. [bibtex] [pdf]
[28] Execution of Heterogeneous Models for Thermal Analysis with a Multi-view Approach (Amani Khecharem, Carlos Gomez, Julien Deantoni, Frédéric Mallet, Robert De Simone), In Forum on specification and Design Languages (FDL 2014), IEEE, 2014. [bibtex] [pdf]
[27] Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language (Mathieu Acher, Benoit Combemale, Philippe Collet), In Onward! Essays, 2014. [bibtex] [pdf] [doi]
[26] Towards Scalable Multidimensional Execution Traces for xDSMLs (Erwan Bousse, Benoit Combemale, Benoit Baudry), In 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), 2014. [bibtex] [pdf]
[25] Automating Variability Model Inference for Component-Based Language Implementations (Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher), In 18th International Software Product Line Conference (SPLC 2014) (Patrick Heymans, Julia Rubin, eds.), ACM, 2014. [bibtex] [pdf]
[24] Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (Thorsten Koch, Jörg Holtmann, Julien Deantoni), In European Conference on Software Architecture (ECSA 2014) (Paris Avgeriou, Uwe Zdun, eds.), Springer International Publishing, volume 8627, 2014. [bibtex] [pdf] [doi]
[23] Framework for Heterogeneous Modeling and Composition (Matias Ezequiel Vara Larsen, Julien Deantoni, Frédéric Mallet), In Conférence en IngénieriE du Logiciel (CIEL 2014), 2014. [bibtex] [pdf]
[22] Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jézéquel, Jeff Gray), In Computer, IEEE, 2014. [bibtex] [pdf]
[21] Scalable Armies of Model Clones through Data Sharing (Erwan Bousse, Benoit Combemale, Benoit Baudry), In 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Springer, 2014. [bibtex] [pdf]
[20] Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412) (Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe), In Dagstuhl Reports, volume 4, 2014. [bibtex] [pdf] [doi]
[19] Correct-by-construction model composition: Application to the Invasive Software Composition method (Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux), In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014) (Barbora Buhnova, Lucia Happe, Jan Kofron, eds.), volume 147, 2014. [bibtex]
[18] Proceedings of the 7th International Conference on Software Language Engineering, SLE 2014 2014, Västerås, Sweden, September 15-16, 2014, (Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju, eds.), Springer, volume 8706, 2014. [bibtex] [pdf] [doi]
[17] Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, GEMOC@Models 2014, Valencia, - Spain, September 28, 2014, (Benoît Combemale, Julien DeAntoni, Robert B. France, eds.), CEUR-WS.org, volume 1236, 2014. [bibtex] [pdf]
[16] Formal Verification Integration Approach for DSML (Faiez Zalila, Xavier Crégut, Marc Pantel), In The ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Springer-Verlag, 2013. [bibtex]
[15] First Workshop On the Globalization of Modeling Languages (GEMOC 2013) (Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler), In GEMOC - 1st International Workshop On the Globalization of Modeling Languages (CEUR-WS, ed.), 2013. [bibtex] [pdf]
[14] Railroad Crossing Heterogeneous Model (Matias Vara Larsen, Arda Goknil), In GEMOC workshop 2013 - International Workshop on The Globalization of Modeling Languages, 2013. [bibtex] [pdf]
[13] Using Model Types to Support Contract-Aware Model Substitutability (Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France), In 9th European Conference on Modelling Foundations and Applications (ECMFA 2013) (T. Ritter P. Van Gorp, L.M. Rose, eds.), Springer-Verlag, volume 7949, 2013. [bibtex] [pdf] [doi]
[12] Variability Support in Domain-Specific Language Development (Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale), In 6th International Conference on Software Language Engineering (SLE 2013) (Richard F. Paige Martin Erwig, Eric van Wyk, eds.), Springer-Verlag, 2013. [bibtex]
[11] Reifying Concurrency for Executable Metamodeling (Benoit Combemale, Julien Deantoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France), In 6th International Conference on Software Language Engineering (SLE 2013) (Richard F. Paige Martin Erwig, Eric van Wyk, eds.), Springer-Verlag, 2013. [bibtex] [pdf]
[10] Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare (Arda Goknil, Julien DeAntoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet), In 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2013) (Jin Song Dong, Jun Sun, Yang Liu, Andrew Martin, eds.), IEEE Computer Society, 2013. [bibtex]
[9] Enhance the Reusability of Models and Their Behavioral Correctness (Papa Issa Diallo, Joël Champeau, Loïc Lagadec), In First International Workshop on The Globalization of Modeling Languages (GEMOC 2013), 2013. [bibtex] [pdf]
[8] A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation (Papa Issa Diallo, Joël Champeau, Loïc Lagadec), In 6th International Conference on Software Language Engineering (SLE 2013) (Richard F. Paige Martin Erwig, Eric van Wyk, eds.), Springer-Verlag, 2013. [bibtex] [pdf]
[7] Le nouveau d'efis de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes (Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir), In Génie logiciel, Génie logiciel et ingénierie de système (GL & IS), 2013. [bibtex] [pdf]
[6] A transformation-driven approach to automate feedback verification results (Faiez Zalila, Xavier Crégut, Marc Pantel), In International Conference On Model and Data Engineering (MEDI 2013), Springer-Verlag, 2013. [bibtex]
[5] Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013, (Benoît Combemale, Julien DeAntoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk, eds.), CEUR-WS.org, volume 1102, 2013. [bibtex] [pdf]
[4] Proceedings of the First Workshop on the Globalization of Domain Specific Languages (GlobalDSL 2013), (Benoît Combemale, Walter Cazzola, Robert B. France, eds.), ACM, 2013. [bibtex] [pdf]
[3] A Design Pattern to Build Executable DSMLs and associated V&V tools (Benoit Combemale, Xavier Crégut, Marc Pantel), In The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), IEEE, 2012. [bibtex] [pdf]
[2] Bridging the Chasm between Executable Metamodeling and Models of Computation (Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry), In 5th International Conference on Software Language Engineering (SLE2012), Springer, 2012. [bibtex] [pdf]
[1] Assessing composition in modeling approaches (Gunter Mussbacher, Omar Alam, Mohammed Alhaj, Shaukat Ali, Nuno Am'alio, Balbir Barn, Rolv Bræk, Tony Clark, Benoit Combemale, Luiz Marcio Cysneiros, Urooj Fatima, Robert France, Geri Georg, Jennifer Horkoff, Jörg Kienzle, Julio Cesar Leite, Timothy C. Lethbridge, Markus Luckey, Ana Moreira, Felix Mutz, A. Padua A. Oliveira, Dorina C. Petriu, Matthias Schöttle, Lucy Troup, Vera M. B. Werneck), In Proceedings of the Workshop about Comparing Modeling Approaches 2012 (workshop at MODELS 2012), ACM, 2012. [bibtex] [pdf]