Publications

See also HALDBLP, or Google Scholar

 

Books
2016
[8] Engineering Modeling Languages (Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, Jim R.H. Steel, Didier Vojtisek), Chapman and Hall/CRC, 2016. [bibtex] [pdf]
2015
[7] 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]
2014
[6] Proceedings of the 7th International Conference on Software Language Engineering, SLE 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]
[5] 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]
[4] Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, October 1st and 2nd, 2014, (Tao Yue, Benoît Combemale, eds.), CEUR-WS.org, volume 1255, 2014. [bibtex] [pdf]
2013
[3] 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]
[2] Proceedings of the First Workshop on the Globalization of Domain Specific Languages (GlobalDSL '13), (Benoît Combemale, Walter Cazzola, Robert B. France, eds.), ACM, 2013. [bibtex] [pdf]
2012
[1] Ingénierie Dirigée par les Modèles : des concepts à la pratique... (Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek), Ellipses, 2012. [bibtex] [pdf]
Book Chapters
2015
[4] 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]
[3] 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]
2011
[2] Model Transformation Reuse with Model Typing (Jean-Marc Jézéquel, Benoit Combemale, Clément Guy), Chapter in Composition and Evolution of Model Transformations (Kevin Lano, ed.), 2011. (to appear) (Workshop in 2011 organized by King's College London, Dept. of Informatics) [bibtex] [pdf]
2008
[1] A Property-Driven Approach to Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux, Francois Vernadat), Chapter in Enterprise Information System IX (Jorge Cardoso, José Cordeiro, Joaquim Filipe, Vitor Pedrosa, eds.), LNBIP, Springer, volume 12, 2008. [bibtex] [pdf]
Refereed Articles
2016
[15] Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review (David Méndez-Acuña, José A. Galindo, Thomas Degueule, Benoit Combemale, Benoit Baudry), In Computer Languages, Systems and Structures, Elsevier, 2016. [bibtex] [pdf] [doi]
[14] Correct-by-construction model driven engineering composition operators (Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale), In Formal Aspects of Computing, Springer Verlag, volume 28, 2016. [bibtex] [pdf] [doi]
2015
[13] 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]
[12] 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]
[11] Kompren: modeling and generating model slicers (Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux), In Software and System Modeling, volume 14, 2015. [bibtex] [pdf] [doi]
[10] 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]
[9] 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]
2014
[8] Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jézéquel, Jeff Gray), In Computer, IEEE, 2014. [bibtex] [pdf]
2013
[7] Le nouveau défis 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]
2012
[6] Bridging the Chasm Between MDE and the World of Compilation (Jean-Marc Jézéquel, Benoit Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye), In Journal of Software and Systems Modeling (SoSyM), Springer, volume 11, 2012. [bibtex] [pdf] [doi]
[5] Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012. [bibtex] [pdf] [doi]
2009
[4] Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux), In Journal of Software, volume 4, 2009. [bibtex] [pdf]
[3]topPROCESS : vers une ingénierie des procédés dirigée par les modèles (Angel Garcia, Benoit Combemale, Xavier Crégut, Jérome Vandeur), In Revue de l'Electricité et de l'Electronique, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication, volume 02, 2009. (preprint.pdf) (in french) [bibtex]
2008
[2] SéMo'07 : premier atelier sur la Sémantique des Modèles (Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel), In L'Objet (Antoine Beugnard, ed.), Hermès Science Publications, volume 13, 2008. (in french) [bibtex] [pdf]
2006
[1]Evaluation du standard SPEM de représentation des processus (Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois), In Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes, volume 77, 2006. (slide.pdf) (in french) [bibtex]
Refereed Conference Papers
2016
[62] 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]
[61] Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding (Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry), In 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , 2016. [bibtex] [pdf]
[60] 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]
[59] 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]
[58] 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]
2015
[57] 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), ACM, 2015. [bibtex] [pdf]
[56] 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]
[55] 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]
[54] 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]
[53] 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]
[52] 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]
[51] 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), PI, 2015. [bibtex] [pdf]
[50] Product lines can jeopardize their trade secrets (Mathieu Acher, Guillaume Bécan, Benoît Combemale, Benoit Baudry, Jean-Marc Jézéquel), In 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, ACM, 2015. [bibtex] [pdf] [doi]
[49] 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]
2014
[48] 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]
[47] 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]
[46] 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]
[45] 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]
[44] The Relevance of Model-Driven Engineering Thirty Years from Now (Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty Cheng, Philippe Collet, Benoit Combemale, Robert France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle), In 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) (Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfran, eds.), Springer International Publishing Switzerland, volume 8767, 2014. [bibtex] [pdf] [doi]
[43] Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen (Mathieu Acher, Olivier Barais, Benoit Baudry, Arnaud Blouin, Johann Bourcier, Benoit Combemale, Jean-Marc Jézéquel, Noël Plouzeau), In GDR GPL, 2014. [bibtex] [pdf]
[42] Vers une approche centrée humain pour la définition de langages de modélisation graphiques (Sophie Dupuy-Chessa, Benoit Combemale, Marie-Pierre Gervais, Thierry Nodenot, Xavier Le Pallec, Laurent Wouters), In 32ème congrès Inforsid'2014, 2014. [bibtex] [pdf]
[41] 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]
2013
[40]Integrating Software Process Reuse and Automation (Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel), In The 20th Asia-Pacific Software Engineering Conference (APSEC 2013), IEEE, 2013. [bibtex]
[39]Composing your Compositions of Variability Models (Mathieu Acher, Benoit Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert France), In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013. [bibtex]
[38]Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013. [bibtex]
[37]Process-driven Reuse of Automated Tasks (Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel), In 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), IEEE, 2013. [bibtex]
[36] A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience (Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, Didier Vojtisek), In Conférence en IngénieriE du Logiciel (CIEL), 2013. (in french) [bibtex] [pdf]
[35] Contract-Aware Substitutability of Modeling Languages (Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France), In 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Springer, 2013. [bibtex] [pdf]
[34] 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] [pdf]
[33] Reifying Concurrency for Executable Metamodeling (Benoit Combemale, Julien Deantoni, Matias Vara Larsen, Fr'ed'eric 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]
2012
[32] 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]
[31] Leveraging CVL to Manage Variability in Software Process Lines (Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel), In The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), 2012. [bibtex] [pdf]
[30] Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proceedings of the 15th international conference on Model driven engineering languages and systems (MODELS 2012) (Robert France, Juergen Kazmeier, Colin Atkinson, Ruth Breu, eds.), Springer, volume 7590, 2012. (slides) (AR=23\%) [bibtex] [pdf]
[29] On Model Subtyping (Clément Guy, Benoit Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel), In 8th European Conference on Modelling Foundations and Applications (ECMFA 2012) (Antonio Valecillo, ed.), Springer, 2012. [bibtex] [pdf]
[28] Découpez vos Modèles avec Kompren : une Démonstration (Arnaud Blouin, Benoit Combemale, Benoit Baudry), In 4ièmes journées nationales du GDR-GPL 2012, p. 201--202, 2012. (in french) [bibtex] [pdf]
[27]Polarsys Industry Working Group - Model Driven and Organizational Interoperability in the Eclipse Ecosystem (Gaël Blondelle, Benoit Combemale, Xavier Dolques, Maurice Heitz, Salvador Martinez, An Phung-Khac, Massimo Tisi), In Cesar Artemis interoperability conference, 2012. [bibtex]
[26] 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 (SLE 2012), Springer, 2012. [bibtex] [pdf]
2011
[25] Model-Driven Engineering and Optimizing Compilers: A bridge too far? (Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, Robert France), In Proceedings of the 14th international conference on Model driven engineering languages and systems (MODELS 2011), Springer Berlin / Heidelberg, volume 6981, 2011. [bibtex] [pdf]
[24] Modeling Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Proceedings of the 14th international conference on Model driven engineering languages and systems (MODELS 2011), Springer Berlin / Heidelberg, volume 6981, 2011. [bibtex] [pdf]
[23] A Proof Assistant Based Formalization of MDE Components (Kezadri Mounira, Benoit Combemale, Marc Pantel, Xavier Thirioux), In 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Springer, 2011. [bibtex] [pdf]
[22] A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics (Benoit Combemale, Laure Gonnord, Vlad Rusu), In 7th European Conference on Modelling Foundations and Applications (ECMFA 2011), Springer Verlag, volume 6698, 2011. [bibtex] [pdf]
[21] Bridging the Gap Between Software Process and Software Development (Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel), In Journées sur l'Ingénierie Dirigée par les Modèles, 2011. (in french) [bibtex] [pdf]
[20] Vers un rapprochement de l'IDM et de la compilation (Clément Guy, Steven Derrien, Benoit Combemale, Jean-Marc Jézéquel), In Journées sur l'Ingénierie Dirigée par les Modèles, 2011. (in french) [bibtex] [pdf]
[19] V&V support for DSML in TOPCASED (Bernard Berthomieu, Benoit Combemale, Xavier Crégut, Stéphane Duprat, Raphael Faudou, Marc Pantel, Francois Vernadat), In Congress Topcased Days 2011, 2011. [bibtex] [pdf]
2010
[18] Generative technologies for model animation in the TopCased platform (Xavier Crégut, Benoit Combemale, Marc Pantel, Raphael Faudoux, Jonatas Pavei), In 6th European Conference on Modelling Foundations and Applications (ECMFA 2010) (T. Kühne et al., ed.), Springer, volume 6138, 2010. (AR=31\%) [bibtex] [pdf]
[17] End-User Modelling (M. Blay-Fornarino, P. Collet, Benoit Combemale, S. Dupuy-Chessa, A. Front, A. Grost, P. Lahire, X. Le Pallec, L. Ledrich, T. Nodenot, A.M. Pinna-Dery, S. Rusinek), In Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010. (slide.pdf) (in french) [bibtex] [pdf]
2009
[16]Exploitation des techniques de virtualisation pour l'administration autonome d'infrastructures logicielles réparties (Alain Tchana, Suzy Temate, Benoit Combemale, Laurent Broto, Daniel Hagimont), In Actes de la Conférence Francophone sur les Architectures Logicielles (CAL, in french), Editions Cépaduès, RNTI, 2009. [bibtex]
2008
[15] Autonomic Management Policy Specification: from UML to DSML (Benoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont), In ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MODELS 2008), Springer, volume 5301, 2008. (preprint.pdf) (AR=21\%) [bibtex] [pdf]
[14] Ladder Metamodeling & PLC Program Validation through Time Petri Nets (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Fourth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2008), Springer, volume 5095, 2008. (preprint.pdf, slide.pdf) (AR=27\%) [bibtex] [pdf]
[13] A Model Driven Autonomic Management System (Laurent Broto, Estella Annoni, Daniel Hagimont, Benoit Combemale, Jean-Paul Bahsoun), In 5th International Conference on Information Technology : New Generations (ITNG 2008), IEEE Computer Society, 2008. (preprint.pdf, slide.pdf) (AR=39\%) [bibtex] [pdf]
[12]Métamodélisation des diagrammes Ladder et validation de programme PLC à travers les réseaux de Petri temporels (Darlam Bender, Benoit Combemale, Xavier Crégut, Jean-Marie Farines, Francois Vernadat), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2008. [bibtex]
[11]Simulation et animation de modèles dans l'atelier TOPCASED (Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2008. [bibtex]
[10] Introducing Simulation and Model Animation in the MDE Topcased Toolkit (Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel), In 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS 2008), SIA & SEE, 2008. [bibtex] [pdf]
[9] topPROCESS : a Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software (Benoit Combemale, Xavier Crégut, Angel Garcia, Jean-Noël Guyot, Boris Libert), In 4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS 2008), SIA & SEE, 2008. [bibtex] [pdf]
2007
[8] Definition of an eXecutable SPEM2.0 (Réda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais), In 14th Asian-Pacific Software Engineering Conference (APSEC 2007), IEEE Computer Society, 2007. (preprint.pdf, slide.pdf) (AR=31\%) [bibtex] [pdf]
[7] Towards a Formal Verification of Process Model's Properties -- SimplePDL and TOCL case study (Benoit Combemale, Pierre-Loic Garoche, Xavier Crégut, Xavier Thirioux), In 9th International Conference on Enterprise Information Systems (ICEIS 2007), INSTICC press, 2007. (preprint.pdf, slide.pdf (long paper)) (AR=12\%) [bibtex] [pdf]
[6] SimplePDL2Tina : Mise en oeuvre d'une Validation de Modèles de Processus (Benoit Combemale, Xavier Crégut, Bernard Berthomieu, Francois Vernadat), In 3ieme journées sur l'Ingénierie Dirigée par les Modeles (IDM, in french), 2007. (slide.pdf) [bibtex] [pdf]
[5]Validation de Modèles de Processus (Benoit Combemale, Xavier Crégut, Bernard Berthomieu, Francois Vernadat), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2007. [bibtex]
2006
[4] Expériences pour décrire la sémantique en ingénierie des modèles (Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel), In 2ième journées sur l'Ingénierie Dirigée par les Modèles (IDM, in french) (Hermes Sciences/Lavoisier, ed.), 2006. (slide.pdf) [bibtex] [pdf]
[3] Towards a rigorous use of SPEM (Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette), In 8th International Conference on Enterprise Information Systems (ICEIS 2006), INSTICC press, 2006. (poster.pdf (poster)) (AR=60\%) [bibtex] [pdf]
[2] Modélisation rigoureuse en SPEM de procédé de développement (Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette), In 12ième conférence sur les Langages et Modèles à Objets (LMO, in french) (Hermes Sciences/Lavoisier, ed.), 2006. (preprint.pdf, slide.pdf) (AR=37\%) [bibtex] [pdf]
[1] Vers une vérification d'un procédé de développement modélisé en SPEM (Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette, Angel Garcia), In Journées Formalisation des Activités Concurrentes (FAC, in french), 2006. (slide.pdf) [bibtex] [pdf]
Refereed Workshop Papers
2016
[25] Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework (Gurvan Le Guernic, Benoit Combemale, José A Galindo), In 3rd Workshop on Formal Integrated Development Environment (F-IDE), 2016. [bibtex] [pdf]
[24] 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 The 15th International Conference on Software Reuse (ICSR 2016, workshops and demonstrations), 2016. [bibtex] [pdf]
[23] 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]
[22] Lightning Talk:''I solemnly pledge'' A Manifesto for Personal Responsibility in the Engineering of Academic Software (Alice Allen, Cecilia Aragon, Christophe Becker, Jeffrey C. Carver, Andrei Chis, Benoit Combemale, Mike Croucher, Kevin CROWSTON, Daniel Garijo, Ashish Gehani, Carole Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn Huff, Caroline Jay, Daniel Katz, Claude Kirchner, Kateryna Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matthew Turk, Rob V. van Nieuwpoort, Matthew Vaughn, Jurgen Vinju), In Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4) (Jeffrey Carver Sou-Cheng T. Choi Tom Crick Michael R. Crusoe Sandra Gesing Robert Haines Michael Heroux Lorraine J. Hwang Daniel S. Katz Kyle E. Niemeyer Manish Parashar Colin C. Venters Gabrielle Allen, ed.), CEUR, volume 1686, 2016. [bibtex] [pdf]
2015
[21] 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 (workshop proceedings) (CEUR, ed.), 2015. [bibtex] [pdf]
[20] 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]
[19] 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 (TTC 2015 workshop), 2015. [bibtex] [pdf]
[18] CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella (Christophe Boudjennah, Benoit Combemale, Daniel Exertier, Stéphane Lacrampe, Marie-Agnès Peraldi-Frati), In 2nd Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2015), CEUR, 2015. [bibtex] [pdf]
2014
[17] 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]
[16]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]
2013
[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]
2012
[14] Aligning SysML with the B Method to Provide V&V for Systems Engineering (Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Katsuragi Takaya), In Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), workshop at MoDELS'12, 2012. [bibtex] [pdf]
[13] A Categorical Model of Model Merging and Weaving (Jonathan Marchand, Benoit Combemale, Benoit Baudry), In 4th International Workshop on Modelling in Software Engineering (MiSE 2012), in conjunction with ICSE 2012, IEEE, 2012. [bibtex] [pdf]
[12] A Tridimensional Approach for Studying the Formal Verification of Model Transformations (Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy), In Verification and validation Of model Transformations (VOLT), workshop at ICST 2012, IEEE, 2012. [bibtex] [pdf]
[11] Impact of Footprinting on Model Quality: An Experimental Evaluation (Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale), In Model-Driven Requirements Engineering (MoDRE'12), workshop at RE 2012, IEEE, 2012. [bibtex] [pdf]
[10] Using CVL to Operationalize Product Line Development with Reusable Aspect Models (Benoit Combemale, Olivier Barais, Omar Alam, Jörg Kienzle), In VARY, workshop at MoDELS'12, ACM, 2012. [bibtex] [pdf]
[9] 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]
[8] The 8th Educators' Symposium @ MODELS 2012: software modeling in education (Dan Chiorean, Benoit Combemale), In Proceedings of the 8th edition of the Educators' Symposium, workshop at MODELS 2012, ACM, 2012. [bibtex] [pdf] [doi]
2011
[7] Teaching MDE through the Formal Verification of Process Models (Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila), In , volume 52, 2011. (7th Educators' Symposium: Software Modeling in Education (EduSymp 2011), workshop at MODELS'11) [bibtex] [pdf]
[6] Empirical evaluation of the conjunct use of MOF and OCL (Juan Cadavid, Benoit Baudry, Benoît Combemale), In EESSMod, CEUR-WS.org, volume 785, 2011. [bibtex] [pdf]
2010
[5] Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges (Vincent Mahé, Benoit Combemale, Juan Cadavid), In 3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010. [bibtex] [pdf]
2008
[4] Metamodeling Autonomic System Management Policies -- Ongoing Works (Benoit Combemale, Laurent Broto, Alain Tchana, Daniel Hagimont), In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC), The First IEEE International Workshop on Model-Driven Development of Autonomic Systems (MDDAS), IEEE Computer Society, 2008. (slide.pdf,) (AR=50\%) [bibtex] [pdf]
2007
[3] A Framework to Formalise the MDE Foundations (Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche), In International Workshop on Towers of Models (TOWERS 2007) (Richard Paige, Jean Bézivin, eds.), 2007. (slide.pdf) [bibtex] [pdf]
[2] Expérimentation pour la définition d'une sémantique dans l'IDM (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux), In Sémantique des Modèles (SéMo), Workshop at IDM, 2007. (slide.pdf) (in french) [bibtex] [pdf]
2006
[1] Towards a Rigorous Metamodeling (Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette), In 2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS), INSTICC press, 2006. (slide.pdf) (AR=47\%) [bibtex] [pdf]
Other Publications
2015
[6] Towards Language-Oriented Modeling (Benoit Combemale), PhD thesis, Université de Rennes 1, 2015. [bibtex] [pdf]
2014
[5] Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412) (Betty H. C. Cheng, Benoît Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe), Technical report, , volume 4, 2014. [bibtex] [pdf] [doi]
2012
[4] Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices (Juan Cadavid, Benoit Combemale, Benoit Baudry), Technical report, INRIA, 2012. [bibtex] [pdf]
2010
[3] Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics (Vlad Rusu, Laure Gonnord, Benoit Combemale), Technical report, INRIA, 2010. [bibtex] [pdf]
2008
[2] Approche de métamodélisation pour la simulation et la vérification de modèle -- Application à l'ingénierie des procédés (Benoit Combemale), PhD thesis, Institut National Polytechnique, Université de Toulouse, 2008. (on amazon) (in french) [bibtex] [pdf]
2005
[1] Spécification et Vérification de Modèles de Procédés de Développement (Benoit Combemale), Master's thesis, Université Toulouse II & INPT ENSEEIHT, 2005. (in french) [bibtex] [pdf]