Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry. Leveraging metamorphic testing to automatically detect inconsistencies in code generator families. Journal of : Software Testing, Verification and Reliability, Wiley, 2019, ⟨10.1002/stvr.1721⟩. ⟨hal-02422437⟩

Thibault Béziers La Fosse, Jean-Marie Mottu, Massimo Tisi, Gerson Sunyé. Source-Code Level Regression Test Selection: the Model-Driven Way. The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (2), pp.13:1. ⟨10.5381/jot.2019.18.2.a13⟩. ⟨hal-02333538⟩

Gwendal Daniel, Gerson Sunyé, Jordi Cabot. Advanced Prefetching and Caching of Models with PrefetchML. Software and Systems Modeling, Springer Verlag, 2018, pp.1-35. ⟨10.1007/s10270-018-0671-8⟩. ⟨hal-01725030⟩

Kevin Corre, Olivier Barais, Gerson Sunyé, Vincent Frey, Jean-Michel Crom. Why can’t users choose their identity providers on the web?. Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (3), pp.72-86. ⟨10.1515/popets-2017-0029⟩. ⟨hal-01611048⟩

Kevin Corre, Simon Bécot, Olivier Barais, Gerson Sunyé. A WebRTC Extension to Allow Identity Negotiation at Runtime. Lecture Notes in Computer Science, Springer, 2017, Web Engineering, 10360, pp.412-419. ⟨10.1007/978-3-319-60131-1_27⟩. ⟨hal-01611057⟩

Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, et al.. NeoEMF: A Multi-database Model Persistence Framework for Very Large Models. Science of Computer Programming, Elsevier, 2017, ⟨10.1016/j.scico.2017.08.002⟩. ⟨hal-01589588⟩

Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel. Model-Based Testing of Global Properties on Large-Scale Distributed Systems. Information and Software Technology, Elsevier, 2014. ⟨hal-00942576⟩

Jorge Augusto Meira, Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. Stress Testing of Transactional Database Systems. Journal of Information and Data Management, Brazilian Computer Society, 2013, 4 (3). ⟨hal-01018103⟩

Eduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. Testing Peer-to-Peer Systems. Empirical Software Engineering, Springer Verlag, 2010, 15 (4), pp.346-379. ⟨10.1007/s10664-009-9124-x⟩. ⟨hal-00483085⟩

Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel. Using UML Action Semantics for Model Execution and Transformation. Information Systems, Elsevier, 2002, 27 (6), pp.445-457. ⟨hal-00442712⟩

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé. Towards Personalized Change Propagation for Collaborative Modeling. International Hands-on Workshop on Collaborative Modeling (co-located with the 24th International Conference on Model Driven Engineering Languages and Systems - MODELS 2021), Oct 2021, Virtual Event, Japan. ⟨hal-03327055⟩

Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé. Executing Certified Model Transformations on Apache Spark. 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States. ⟨hal-03343942⟩

Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé. A Formalism for Specifying Model Merging Conflicts. System Analysis and Modelling (SAM) conference, Oct 2020, Virtual Event, Canada. ⟨10.1145/3419804.3421447⟩. ⟨hal-02930770⟩

Thibault Béziers La Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé. Annotating Executable DSLs with Energy Estimation Formulas. SLE 2020 - Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩. ⟨hal-03001493⟩

Thibault Béziers La Fosse, Massimo Tisi, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé. Towards platform specific energy estimation for executable domain-specific modeling languages. International Workshop on Modeling Language Engineering and Execution (MLE), Sep 2019, Munich, Germany. ⟨hal-02297501⟩

Gwendal Daniel, Gerson Sunyé, Jordi Cabot. Scalable Queries and Model Transformations with the Mogwaï Tool. ICMT 2018, Jun 2018, Toulouse, France. ⟨hal-01802009⟩

Thibault Béziers La Fosse, Jean-Marie Mottu, Massimo Tisi, Gerson Sunyé. Characterizing a Source Code Model with Energy Measurements. Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland. ⟨hal-01952724⟩

Pascal Andre, Gilles Ardourel, Jean-Marie Mottu, Gerson Sunyé. Un outil d'assistance à la construction de tests de modèles à composants et services. 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01628306⟩

Gerson Sunyé. Model Consistency for Distributed Collaborative Modeling. ECMFA 2017 - 13th European Conference on Modelling Foundations and Applications, Jul 2017, Marburg, Germany. pp.197-212, ⟨10.1007/978-3-319-61482-3_12⟩. ⟨hal-01629475⟩

Michel Albonico, Stefano Alesio, Jean-Marie Mottu, Sagar Sen, Gerson Sunyé. Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems. CLOUD 2017 : 10th IEEE International Conference on Cloud Computing, Jun 2017, Honolulu, United States. ⟨10.1109/CLOUD.2017.56⟩. ⟨hal-01526275⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé, Frederico Alvares. Making Cloud-based Systems Elasticity Testing Reproducible. 7th International Conference on Cloud Computing and Services Science, Apr 2017, Porto, Portugal. ⟨10.5220/0006308905230530⟩. ⟨hal-01471916v2⟩

Gwendal Daniel, Gerson Sunyé, Jordi Cabot. UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases. ER 2016 - 35th International Conference on Conceptual Modeling, Nov 2016, Gifu, Japan. pp.430-444, ⟨10.1007/978-3-319-46397-1_33⟩. ⟨hal-01344015⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé. Monitoring-Based Testing of Elastic Cloud Computing Applications. ICPE Companion (LT Workshop), Mar 2016, Delft, Netherlands. ⟨10.1145/2859889.2859890⟩. ⟨hal-01317719⟩

Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, et al.. NeoEMF: a Multi-database Model Persistence Framework for Very Large Models. Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint-Malo, France. ⟨hal-01436047⟩

Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. NOTICE: A Framework for Non-functional Testing of Compilers. 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria. ⟨hal-01344835⟩

Dimitrios Kolovos, Antonio Garcia-Dominguez, Richard Paige, Esther Guerra, Jesús Cuadrado, et al.. MONDO: Scalable Modelling and Model Management on the Cloud. STAF Project Showcase 2016, 2016, Vienna, Austria. ⟨hal-01394407⟩

Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. Automatic Non-functional Testing of Code Generators Families. 15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11. ⟨hal-01356849⟩

Pascal Andre, Jean-Marie Mottu, Gerson Sunyé. COSTOTest: a tool for building and running test harness for service-based component models (demo). ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, Jul 2016, Saarbrücken, Germany. pp.437-440, ⟨10.1145/2931037.2948704⟩. ⟨hal-01436067⟩

Maxime Tricoire, Olivier Barais, Manuel Leduc, Johann Bourcier, François Fouquet, et al.. KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser. WICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. ⟨10.1109/CBSE.2016.20⟩. ⟨hal-01354997⟩

Abel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot. Map-Based Transparent Persistence for Very Large Models. Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, Apr 2015, London, United Kingdom. pp.19-34, ⟨10.1007/978-3-662-46675-9_2⟩. ⟨hal-01140776⟩

Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry. A Novelty Search-based Test Data Generator for Object-oriented Programs. GECCO 2015, Jul 2015, Madrid, Spain. pp.1359--1360, ⟨10.1145/2739482.2764716⟩. ⟨hal-01248177⟩

Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry. A Novelty Search Approach for Automatic Test Data Generation. 8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4. ⟨hal-01121228⟩

Dimitrios Kolovos, Louis Rose, Richard Paige, Esther Guerra, Jesús Cuadrado, et al.. MONDO: Scalable Modelling and Model Management on the Cloud. STAF2015 Project Showcase, 2015, L'Aquila, Italy. ⟨hal-01394222⟩

Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi. Improving memory efficiency for processing large-scale models. BigMDE, University of York, Jul 2014, York, UK, United Kingdom. ⟨hal-01033188⟩

Amine Benelallam, Abel Gómez, Gerson Sunyé, Massimo Tisi, David Launay. Neo4EMF, a Scalable Persistence Layer for EMF Models. ECMFA- European conference on Modeling Foundations and applications, University of York, Apr 2014, York, UK, United Kingdom. pp.230-241, ⟨10.1007/978-3-319-09195-2_15⟩. ⟨hal-00968516⟩

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Partial Test Oracle in Model Transformation Testing. International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩. ⟨hal-00823231⟩

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Thomas Degueule. Using Meta-model Coverage to Qualify Test Oracles. Analysis of Model Transformations, Sep 2013, Miami, United States. pp.1613-0073. ⟨hal-00918569⟩

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Poster : Comparaison de modèles filtrée pour le test de transformations de modèles. Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5. ⟨hal-00920300⟩

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, J. Christian Attiogbe. Filtered Comparison for Oracle in ModelTransformation Testing. ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590. ⟨hal-00918590⟩

Jorge Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé. Peer-to-Peer Load Testing. 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.642-647. ⟨hal-00726404⟩

Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé. Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles. CIEL 2012, 2012, Rennes, France. ⟨hal-00726538⟩

Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel. A Model-Based Approach for Optimizing Power Consumption of IaaS. IEEE NCCA 2012 IEEE Second Symposium on Network Cloud Computing and Applications, Dec 2012, London, United Kingdom. pp.978-0-7695-4943-9/12, ⟨10.1109/NCCA.2012.22⟩. ⟨hal-00796221⟩

Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel. A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing. European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Sep 2012, Bertinoro, Italy. pp.107-121. ⟨hal-00726086⟩

João Eugenio Marynowski, Michel Albonico, Eduardo Cunha de Almeida, Gerson Sunyé. Testing MapReduce-Based Systems. SBBD - XXVI Simpósio Brasileiro de Banco de Dados, Oct 2011, Florianopolis, SC, Brazil. ⟨hal-00728729⟩

Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Patrick Valduriez. PeerUnit: a framework for testing peer-to-peer systems. ASE, IEEE/ACM, 2010, Antwerp, Belgium. pp.169-170, ⟨10.1145/1858996.1859030⟩. ⟨inria-00541699⟩

Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. Efficient Distributed Test Architectures for Large-Scale Systems. ICTSS 2010 - International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.174-187, ⟨10.1007/978-3-642-16573-3_13⟩. ⟨inria-00541696⟩

Eduardo Cunha de Almeida, Gerson Sunye, Patrick Valduriez. Testing Architectures for Large Scale Systems. 8th International Conference High Performance Computing for Computational Science (VECPAR 2008), Jun 2008, Toulouse, France. ⟨inria-00377416⟩

Eduardo Cunha de Almeida, Gerson Sunye, Patrick Valduriez. Action synchronization in P2P system testing. DAMAP 2008 - International Workshop on Data Management in Peer-to-Peer Systems (EDBT Workshop), Mar 2008, Nantes, France. pp.43-49, ⟨10.1145/1379350.1379357⟩. ⟨inria-00377411v2⟩

Eduardo de Almeida, Gerson Sunye, Yves Le Traon, Patrick Valduriez. Testing Peers' Volatility. 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008, L'Aquila, Italy, Italy. ⟨inria-00371199⟩

Eduardo de Almeida, Gerson Sunye, Yves Le Traon, Patrick Valduriez. A Framework for Testing Peer-to-Peer Systems. 19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), 2008, Seattle, WA, USA, United States. ⟨inria-00371781⟩

Eduardo Cunha de Almeida, Gerson Sunyé, Patrick Valduriez. Synchronization in Peer-to-Peer Testing. Workshop Gestion de données en pair-à-pair (GDP2P), Jun 2007, Le Croisic, France. ⟨hal-00696191⟩

Pascal André, Gilles Ardourel, Gerson Sunyé. The Bosco Project - A JMI-Compliant Template-based Code Generator. 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering. (IASSE-2004, 2004, Nice, France. pp.157-162. ⟨hal-00448041⟩

Pascal André, Gilles Ardourel, Gerson Sunye. The Bosco Project, A JMI-Compliant Template-based Code Generator. ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004, Nice, France, France. pp.157--162. ⟨hal-00458122⟩

Benoît Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. Measuring and Improving Design Patterns Testability. 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003, Australia. pp.50-61. ⟨hal-00448043⟩

Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. Measuring and improving design patterns testability. Proceedings of Metrics Symposium 2003, Sep 2003, Sydney, Australia. ⟨hal-00794846⟩

Angeles Manjarrés, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel. Ai analysis patterns as UML meta-model constructs. The 14th international conference on Software Engineering and Knowledge Engineering, Jul 2002, Seke, Congo - Kinshasa. ⟨hal-00794653⟩

Angeles Manjarrés, Simon Pickin, Gerson Sunyé, Damien Pollet, Jean-Marc Jézéquel. Oo analysis patterns as UML metalevel collaborations. proc. of ES2002. The 22nd SGAI International Conference on Knowledge Based Systems and Applied Artificial Intelligence: Research and Development in Intelligent Systems XIX, BCS Conference Series, Dec 2002, RENNES, France. ⟨hal-00794643⟩

Benoît Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. 12th International Symposium on Software Reliability Engineering ISSRE 2001, 2001, Hong Kong SAR China. pp.324-331. ⟨hal-00448044⟩

François Pennaneac'H, Jean-Marc Jézéquel, Jacques Malenfant, Gerson Sunyé. UML reflections. Proc. of Reflection 2001, Sep 2001, Kyoto, Japan. ⟨hal-00794325⟩

Gerson Sunyé, Damien Pollet, Yves Le Traon, Jean-Marc Jézéquel. Refactoring UML models. Proceedings of UML 2001, 2001, RENNES, France. ⟨hal-00794510⟩

Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel. Towards a 'safe' use of design patterns to improve oo software testability. Proceedings of ISSRE 2001, Nov 2001, RENNES, France. ⟨hal-00794514⟩

Alain Le Guennec, Gerson Sunyé, Jean-Marc Jézéquel. Precise modeling of design patterns. Proceedings of UML 2000, 2000, YORK, United Kingdom. ⟨hal-00794308⟩

Gerson Sunyé, Alain Le Guennec, Jean-Marc Jézéquel. Design pattern application in UML. ECOOP'2000 proceedings, Jun 2000, BERLIN, Germany. ⟨hal-00794299⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé. Poster: A Procedure for Testing Applications Through Cloud Computing Elasticity. JDoc Day - ED STIM, Apr 2016, Nantes, France. 2016. ⟨hal-01317543⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé. Poster: Controlling the Elasticity of Web Applications on Cloud Computing. SAC, Apr 2016, Pisa, Italy. ⟨hal-01317728⟩

Pascal André, Gilles Ardourel, Gerson Sunye. Un cadre pour la vérification de modèles UML. 2005. ⟨hal-00458117⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé. Automated Workload Generation for Testing Elastic Web Applications. 2016. ⟨hal-01317723⟩

Michel Albonico, Jean-Marie Mottu, Gerson Sunyé. Controlling the Elasticity of Web Applications on Cloud Computing - Extended Version. 2016. ⟨hal-01317715⟩

Gerson Sunyé. A Model-Based Approach for Testing Large Scale Systems. Software Engineering [cs.SE]. Université de Nantes, 2015. ⟨tel-01255818⟩