Publications in the area of MDE

2019
[75] Advanced and efficient execution trace management for executable domain-specific modeling languages (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In Journal of Software and Systems Modeling, volume 18, 2019. [bibtex] [pdf] [doi]
2018
[74] Omniscient Debugging for Executable DSLs (Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry), In Journal of Systems and Software, volume 137, 2018. [bibtex] [pdf] [doi]
[73] Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications (Brice Morin, Jakob Hø genes, Hui Song, Nicolas Harrand, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2018. [bibtex] [pdf] [doi]
2017
[72] Reverse Engineering Language Product Lines from Existing DSL Variants (David A Méndez-Acuña, José A Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry), In Journal of Systems and Software, volume 133, 2017. [bibtex] [pdf] [doi]
2016
[71] 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 Proc. of the Int. Conf. on Software Reuse, 2016. [bibtex] [pdf]
2015
[70] Discovering Model Transformation Pre-conditions using Automatically Generated Test Models (Jean-Marie Mottu, Sagar Sen, Juan Cadavid, Benoit Baudry), In Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), 2015. [bibtex] [pdf]
[69]An analysis of metamodeling practices for MOF and OCL (Juan Cadavid, Benoit Baudry, Benoit Combemale), In Computer Languages, Systems and Structures, volume 41, 2015. [bibtex]
[68] On Model-Based Testing Advanced GUIs (Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon), In Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), 2015. [bibtex] [pdf]
[67] 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, volume 14, 2015. [bibtex] [pdf]
[66] Supporting efficient and advanced omniscient debugging for xDSMLs (Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry), In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2015. [bibtex] [pdf] [doi]
[65] A Generative Approach to Define Rich Domain-Specific Trace Metamodels (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In Proc. of the Euro.. Conf. on Modeling Foundations and Applications (ECMFA), 2015. [bibtex] [pdf]
[64] Kompren: Modeling and Generating Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Journal of Software and Systems Modeling, volume 14, 2015. [bibtex] [pdf]
2014
[63] Slicing-based Techniques for Visualizing Large Metamodels (Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui), In Proc. of the Working Conf. on Software Visualization (VISSOFT), 2014. [bibtex] [pdf]
[62] INCREMENT: A mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (Nicolas Sannier, Benoit Baudry), In Proc. of the Conf. on Requirement Engineering: Foundation for Software Quality (REFSQ), 2014. [bibtex] [pdf]
[61] Scalable armies of clone models through data sharing (Erwan Bousse, Benoit Combemale, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2014. [bibtex] [pdf]
[60] Automating the Formalization of Product Comparison Matrices (Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry), In Proc. of the Automated Software Engineering Conference (ASE), 2014. [bibtex] [pdf]
2013
[59] Towards Trust-Aware and Self-Adaptive Systems (Francisco Moyano, Benoit Baudry, Javier Lopez), In Proc. of IFIPTM, 2013. [bibtex] [pdf]
[58] Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation (Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White), In Journal of Software Maintenance and Evolution: Research and Practice, volume 25, 2013. [bibtex] [pdf]
[57] Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study (Joao Bosco Ferreira Filho, Benoit Baudry, Olivier Barais, Jérôme Le Noir, Mathieu Acher), In Proc. of the Int. Software Product Line Conf. (SPLC), 2013. [bibtex] [pdf]
[56] Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013. [bibtex] [pdf]
[55] Reifying Concurrency for Executable Metamodeling (Benoit Combemale, Julien Deantoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France), In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2013. [bibtex] [pdf]
[54] Automated Measurement of Models of Requirements (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software Quality Journal, Springer, volume 21, 2013. [bibtex] [pdf]
2012
[53] Toward Multilevel Textual Requirements Traceability Using Model-driven Engineering and Information Retrieval (Nicolas Sannier, Benoit Baudry), In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. [bibtex] [pdf]
[52] Defining and Retrieving Themes in Nuclear Regulations (Nicolas Sannier, Benoit Baudry), In Proc. of the Requirements Engineering and Law workshop (RELAW'12) at RE'12, 2012. [bibtex] [pdf]
[51] A Categorical Model of Model Merging and Weaving (Jonathan Marchand, Benoit Combemale, Benoit Baudry), In Proc. of the MiSE workshop at ICSE'12, 2012. [bibtex] [pdf]
[50]Bridging the Chasm between Executable Metamodeling and Models of Computation (Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry), In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2012. [bibtex]
[49] Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2012. [bibtex] [pdf]
[48] Reusable model transformations (Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel), In Journal of Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [pdf] [doi]
[47] Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling, Springer-Verlag, volume 11, 2012. [bibtex] [pdf]
[46] Searching the boundaries of a modeling space to test metamodels (Juan Cadavid, Benoit Baudry, Houari Sahraoui), In Proc. of the Int. Conf. on Software Testing, Validation and Verification (ICST), 2012. [bibtex] [pdf]
2011
[45]Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering (Nicolas Sannier, Benoit Baudry, Thuy Nguyen), In Proc. of the Model-Driven Requirements Engineering workshop (MoDRE'11) at RE'11, 2011. [bibtex]
[44] Model-driven Generative Development of Measurement Software (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Journal of Software and Systems Modeling, Springer, volume 10, 2011. [bibtex] [pdf]
[43] Estimating Footprints of Model Operations (Cédric Jeanneret, Martin Glinz, Benoit Baudry), In Proc. of the Int. Conf. on Software Engineering (ICSE), 2011. [bibtex] [pdf]
[42]Empirical evaluation of the conjunct use of MOF and OCL (Juan Cadavid, Benoit Baudry, Benoit Combemale), In Proc. of EESSMOD workshop at MODELS'11, 2011. [bibtex]
[41] Modeling Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2011. [bibtex] [pdf]
2010
[40] Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués (Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry "), In Approches Formelles dans l'Assistance de Développement Logiciel, 2010. [bibtex] [pdf]
[39] Question-learn-test-feedback pattern to test emerging software construction paradigms (Benoit Baudry), PhD thesis, Université Européenne de Bretagne, 2010. [bibtex] [pdf]
[38] Towards Domain-specific Model Editors with Automatic Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In SIMULATION, volume 86, 2010. [bibtex] [pdf] [doi]
[37] Construction de tests qualifiés de transformation de modèles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. [bibtex] [pdf]
[36] Barriers to Systematic Model Transformation Testing (Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu), In Communications of the ACM, ACM, volume 53, 2010. [bibtex] [pdf]
2009
[35] A Framework for Testing Model Composition Engines (Freddy Munoz, Benoit Baudry), In Proc. of the International Conference on Software Composition (SC), 2009. [bibtex] [pdf]
[34] Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry), In Proc. of the the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM distinguished paper award) [bibtex] [pdf]
[33] Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
[32] Meta-model Pruning (Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
[31] Automatic Model Generation Strategies for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proc. of the International Conference on Model Transformations (ICMT), 2009. [bibtex] [pdf]
[30] Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon), In Proc. of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ), 2009. [bibtex] [pdf]
[29] Towards Dependable Model Transformations: Qualifying Input Test Data (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling, volume 8, 2009. [bibtex] [pdf]
[28] Testing Model Transformations: A case for Test Generation from Input Domain Models (Benoit Baudry), Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009. [bibtex] [pdf]
2008
[27] Validation challenges in model composition: The case of adaptive systems (Freddy Munoz, Benoit Baudry), In Proc. of ChaMDE 2000 Workshop at MODELS'08, 2008. [bibtex] [pdf]
[26] On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2008. [bibtex] [pdf]
[25] A Model-Based Framework for Security Policy Specification, Deployment and Testing (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2008. [bibtex] [pdf]
[24] Generating regression tests for software migration (Franck Fleurey, Benoit Baudry, Alain Nicolas, Erwan Breton, Jean-Marc Jézéquel), Technical report, , 2008. [bibtex] [pdf]
[23] Composing Multi-View Aspect Models (Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke), In Proc. of the International Conference on Composition-Based Software Systems (ICCBSS), 2008. [bibtex] [pdf]
2007
[22] Domain-specific Model Editors with Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In Proc. of MPM Workshop at MoDELS'07, 2007. [bibtex] [pdf]
[21]Partial Model Completion in Model Driven Engineering using Constraint Logic Programming (Sagar Sen, Benoit Baudry, Doina Precup), In Proc. of the International Conference on the Applications of Declarative Programming (INAP), 2007. [bibtex]
[20] Providing Support for Model Composition in Metamodels (Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh), In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
[19] Model-Driven Engineering for Software Migration in a Large Industrial Context (Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2007. [bibtex] [pdf]
[18] Producing a Global Requirement Model from Multiple Requirement Specifications (Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas), In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
[17] Model-driven Engineering for Requirements Analysis (Benoit Baudry, Clémentine Nebut, Yves Le Traon), In Proc. of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
[16] A Generic Approach For Automatic Model Composition (Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh), In Proc. of the AOM Workshop at MODELS'07, 2007. [bibtex] [pdf]
2006
[15] Report on the 3rd MoDeVa Workshop - Model Design and Validation (Benoit Baudry, David Hearnden, Nicolas Rapin, Jˆrn Guy Suss), In Proc. of the workshops and Symposia at MoDELS'06, LNCS, 2006. [bibtex] [pdf]
[14] Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proc. of the MDSD workshop at ECOOP 06, 2006. [bibtex] [pdf]
[13] Mutation-based Model Synthesis in Model Driven Engineering (Sagar Sen, Benoit Baudry), In Proc. of the mutation'06 workshop at ISSRE'06, 2006. [bibtex] [pdf]
[12] Model Transformation Testing Challenges (Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon), In Proc. of the IMDDMDT workshop at ECMDA'06, 2006. [bibtex] [pdf]
[11] Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2006. [bibtex] [pdf]
[10] Mutation Analysis Testing for Model Transformations (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proc. of the European Conference on Model Driven Architecture (ECMDA), 2006. [bibtex] [pdf]
[9] Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool (Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon), In Proc. of Int. Symp. on Software Reliability Engineering (ISSRE), 2006. [bibtex] [pdf]
2005
[8]Model Composition - A Signature-Based Approach (Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry), In Proc. of the AOM Workshop at MODELS'05, 2005. [bibtex]
[7] Report on the 2nd Workshop on Model Development and Validation: MoDeVa. (Benoit Baudry, Christophe Gaston, Sudipto Ghosh), In Proc. of the Satellite Events at the MoDELS'05, 2005. [bibtex] [pdf]
[6] Exploring the Relationship between Model Composition and Model Transformation (Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy), In Proc. of the AOM Workshop at MODELS'05, 2005. [bibtex] [pdf]
[5] , In Proc. of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. [bibtex] [pdf]
[4] A Taxonomy of Faults for UML Designs (Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey), In Proc. of the MoDeVa Workshop at MODELS'05, 2005. [bibtex] [pdf]
2004
[3] MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proc. of the Modeva workshop at ISSRE'04, 2004. [bibtex] [pdf]
[2]A UML-Based Concept for High Concurrency: The Real-Time Object (Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry), In Proc. of ISORC, 2004. [bibtex]
[1]Software Transformation Engineering (Benoit Baudry, Sébastien Gérard), In Proc. of MDAFA'04, 2004. [bibtex]