Book Chapters
| 2009 | |
| [1] | Testing Model Transformations: A case for Test Generation from Input Domain Models , Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009. |
Refereed Articles
| 2017 | |
| [15] | Omniscient Debugging for Executable DSLs , In Journal of Systems and Software, Elsevier, volume 137, 2017. |
| [14] | Advanced and efficient execution trace management for executable domain-specific modeling languages , In Software and Systems Modeling, Springer Verlag, 2017. |
| [13] | Reverse Engineering Language Product Lines from Existing DSL Variants , In Journal of Systems and Software, Elsevier, 2017. |
| 2015 | |
| [12] | Using Slicing to Improve the Performance of Model Invariant Checking , In Journal of Object Technology, 2015. |
| [11] | Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels , In Information and Software Technology, Elsevier, volume 62, 2015. |
| 2013 | |
| [10] | Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation , In Journal of Software Maintenance and Evolution: Research and Practice, Wiley, 2013. |
| [9] | Automated Measurement of Models of Requirements , In Software Quality Journal, Springer, volume 21, 2013. |
| 2012 | |
| [8] | Kompren: Modeling and Generating Model Slicers , In Software and Systems Modeling, Springer, 2012. |
| [7] | Reusable model transformations , In Journal of Software and Systems Modeling (SoSyM), Springer, volume 11, 2012. |
| [6] | Modeling Modeling Modeling , In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012. |
| 2011 | |
| [5] | Model-driven Generative Development of Measurement Software , In Software and Systems Modeling (SoSyM), Springer, volume 10, 2011. |
| 2010 | |
| [4] | Towards Domain-specific Model Editors with Automatic Model Completion , In SIMULATION, volume 86, 2010. |
| [3] | Construction de tests qualifiés de transformation de modèles , In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. |
| [2] | Barriers to Systematic Model Transformation Testing , In Communications of the ACM, ACM, volume 53, 2010. |
| 2009 | |
| [1] | Towards Dependable Model Transformations: Qualifying Input Test Data , In Journal of Software and Systems Modeling (SoSyM), volume 8, 2009. |
Refereed Conference Papers
| 2018 | |
| [38] | Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications , In Proc. of MODELS'18, 2018. |
| 2016 | |
| [37] | Puzzle: A tool for analyzing and extracting specification clones in DSLs , In Proc. of the Int. Conf. on Software Reuse, 2016. |
| 2015 | |
| [36] | Discovering Model Transformation Pre-conditions using Automatically Generated Test Models , In Proc. of the Int. Symp. on Sofware Reliability Engineering, 2015. |
| [35] | A Generative Approach for Rich Omniscient Model Debugging , In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2015. |
| [34] | A Generative Approach to Define Rich Domain-Specific Trace Metamodels , In Proc. of the Euro.. Conf. on Modeling Foundations and Applications (ECMFA), 2015. |
| 2014 | |
| [33] | Slicing-based Techniques for Visualizing Large Metamodels , In Proc. of the Working Conf. on Software Visualization (VISSOFT), 2014. |
| [32] | INCREMENT: A mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis , In Proc. of the Int. Working Conf. on Requirements Engineering (REFSQ), 2014. |
| [31] | Scalable armies of clone models through data sharing , In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2014. |
| [30] | Automating the Formalization of Product Comparison Matrices , In Proc. of the Int. Conf. on Automated Software Engineering (ASE), 2014. |
| 2013 | |
| [29] | Towards Trust-Aware and Self-Adaptive Systems , In Proc. of IFIPTM, 2013. |
| [28] | Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study , In Int. Software Product Line Conf. (SPLC), 2013. |
| [27] | Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples , In MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Springer, 2013. |
| [26] | Reifying Concurrency for Executable Metamodeling , In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2013. |
| 2012 | |
| [25] | Searching the boundaries of a modeling space to test metamodels , In Proceedings of the International Conference on Software Testing, verification and validation (ICST), 2012. |
| [24] | Formally Defining and Iterating Infinite Models , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012. |
| 2011 | |
| [23] | Modeling Model Slicers , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2011. |
| [22] | Estimating Footprints of Model Operations , In Proceedings of the International Conference on Software Engineering (ICSE), IEEE, 2011. |
| 2010 | |
| [21] | Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués , In Approches Formelles dans l'Assistance de Développement Logiciel, 2010. |
| 2009 | |
| [20] | Modeling Modeling , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM best paper award) |
| [19] | Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. |
| [18] | Meta-model Pruning , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. |
| [17] | Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective , In Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), Springer Lecture Notes in Computer Science (LNCS), 2009. |
| [16] | A Framework for Testing Model Composition Engines , In Proceedings of the International Conference on Software Composition (SC), Springer-Verlag, 2009. |
| [15] | Automatic Model Generation Strategies for Model Transformation Testing , In Proceedings of the International Conference on Model Transformations, 2009. |
| 2008 | |
| [14] | A Model-Based Framework for Security Policy Specification, Deployment and Testing , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2008. |
| [13] | On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing , In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008. |
| [12] | Composing Multi-View Aspect Models , In Proceedings of the International Conference on Composition-Based Software Systems (ICCBSS), 2008. |
| 2007 | |
| [11] | Partial Model Completion in Model Driven Engineering using Constraint Logic Programming , In Proceedings of the International Conference on the Applications of Declarative Programming, 2007. |
| [10] | Providing Support for Model Composition in Metamodels , In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| [9] | Model-Driven Engineering for Software Migration in a Large Industrial Context , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2007. |
| [8] | Producing a Global Requirement Model from Multiple Requirement Specifications , In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| [7] | Model-driven Engineering for Requirements Analysis , In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. |
| 2006 | |
| [6] | Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool , In Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2006. |
| [5] | Reusable MDA Components: A Testing-for-Trust Approach , In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2006. |
| [4] | Mutation Analysis Testing for Model Transformations , In Proceedings of the European Conference on Model Driven Architecture (ECMDA), 2006. |
| 2005 | |
| [3] | , In Proceedings of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. |
| 2004 | |
| [2] | A UML-Based Concept for High Concurrency: The Real-Time Object , In Proceedings of ISORC, 2004. |
| [1] | Software Transformation Engineering , In Proceedings of MDAFA'04, 2004. |
Refereed Workshop Papers
| 2015 | |
| [19] | On Model-Based Testing Advanced GUIs , In Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), 2015. |
| 2012 | |
| [18] | Defining and Retrieving Themes in Nuclear Regulations , In Proceedings of the Requirements Engineering and Law workshop (RELAW'12) at RE'12, 2012. |
| [17] | Toward Multilevel Textual Requirements Traceability Using Model-driven Engineering and Information Retrieval , In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. |
| [16] | Impact of Footprinting on Model Quality , In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. |
| [15] | A Categorical Model of Model Merging and Weaving , In Proceedings of the MiSE workshop at ICSE'12, 2012. |
| 2011 | |
| [14] | Empirical evaluation of the conjunct use of MOF and OCL , In Proceedings of EESSMOD workshop at MODELS'11, 2011. |
| [13] | Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering , In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'11) at RE'11, 2011. |
| 2008 | |
| [12] | Validation challenges in model composition: The case of adaptive systems , In Proceedings of ChaMDE 2000 Workshop at MODELS'08, 2008. |
| 2007 | |
| [11] | Domain-specific Model Editors with Model Completion , In Proceedings of MPM Workshop at MoDELS'07, 2007. |
| [10] | A Generic Approach For Automatic Model Composition , In Proceedings of the AOM Workshop at MODELS'07, 2007. |
| 2006 | |
| [9] | Mutation-based Model Synthesis in Model Driven Engineering , In Proceedings of the mutation'06 workshop at ISSRE'06, 2006. |
| [8] | Report on the 3rd MoDeVa Workshop - Model Design and Validation , In Proceedings of the workshops and Symposia at MoDELS'06, LNCS, 2006. |
| [7] | Testing Executable Themes , In Proceedings of the MDSD workshop at ECOOP 06, 2006. |
| [6] | Model Transformation Testing Challenges , In Proceedings of the IMDDMDT workshop at ECMDA'06, 2006. |
| 2005 | |
| [5] | A Taxonomy of Faults for UML Designs , In Proceedings of the MoDeVa Workshop at MODELS'05, 2005. |
| [4] | Report on the 2nd Workshop on Model Development and Validation: MoDeVa. , In Proceedings of the Satellite Events at the MoDELS'05 (Jean-Michel Bruel, ed.), Springer-Verlag, 2005. |
| [3] | Exploring the Relationship between Model Composition and Model Transformation , In Proceedings of the AOM Workshop at MODELS'05, 2005. |
| [2] | Model Composition - A Signature-Based Approach , In Proceedings of the AOM Workshop at MODELS'05, 2005. |
| 2004 | |
| [1] | MDE and Validation: Testing Model Transformations , In Proceedings of the Modeva workshop at ISSRE'04, 2004. |
Other Publications
| 2010 | |
| [2] | Question-learn-test-feedback pattern to test emerging software construction paradigms , PhD thesis, Université Européenne de Bretagne, 2010. |
| 2008 | |
| [1] | Generating regression tests for software migration , Technical report, , 2008. |