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. |