- 41
- 14
- 5
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
GS
Gerson Sunyé
78
Documents
Researcher identifiers
sunye
-
0000-0001-6407-8075
- IdRef : 151750467
Presentation
Publications
- 6
- 6
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 14
- 13
- 9
- 9
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 4
- 3
- 4
- 7
- 12
- 5
- 3
- 3
- 7
- 1
- 3
- 4
- 1
- 1
- 2
- 2
- 3
- 4
- 2
- 5
- 3
|
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022), Dec 2022, Auckland, New Zealand. ⟨10.1145/3567512.3567532⟩
Conference papers
hal-03815772v1
|
|
A Tool-Assisted Approach to Engineer Domain-Specific Languages (DSLs) using Rust4th International Workshop on Modeling Language Engineering, 23-25 October, 2022 Co-located with ACM MODELS 2022, Oct 2022, Montréal, Canada. 10 p., ⟨10.1145/3550356.3563133⟩
Conference papers
hal-03790527v1
|
|
Towards Personalized Change Propagation for Collaborative ModelingInternational 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
Conference papers
hal-03327055v1
|
|
Executing Certified Model Transformations on Apache SparkSLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago IL, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩
Conference papers
hal-03343942v1
|
|
Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩
Conference papers
hal-02952952v1
|
|
Annotating Executable DSLs with Energy Estimation FormulasSLE 2020 - Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩
Conference papers
hal-03001493v1
|
|
Challenges & Opportunities in Low-Code TestingACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), Oct 2020, Virtual, Canada. ⟨10.1145/3417990.3420204⟩
Conference papers
hal-02946812v1
|
|
A Formalism for Specifying Model Merging ConflictsSystem Analysis and Modelling (SAM) conference, Oct 2020, Virtual Event, Canada. ⟨10.1145/3419804.3421447⟩
Conference papers
hal-02930770v1
|
|
Towards platform specific energy estimation for executable domain-specific modeling languagesMODELS-C 2019: ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, Sep 2019, Munich, Germany. ⟨10.1109/MODELS-C.2019.00048⟩
Conference papers
hal-02297501v1
|
|
Characterizing a Source Code Model with Energy MeasurementsWorkshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Conference papers
hal-01952724v1
|
|
Scalable Queries and Model Transformations with the Mogwaï ToolICMT 2018, Jun 2018, Toulouse, France
Conference papers
hal-01802009v1
|
|
Model Consistency for Distributed Collaborative ModelingECMFA 2017 - 13th European Conference on Modelling Foundations and Applications, Jul 2017, Marburg, Germany. pp.197-212, ⟨10.1007/978-3-319-61482-3_12⟩
Conference papers
hal-01629475v1
|
|
Generating Test Sequences to Assess the Performance of Elastic Cloud-based SystemsCLOUD 2017 : 10th IEEE International Conference on Cloud Computing, Jun 2017, Honolulu, United States. ⟨10.1109/CLOUD.2017.56⟩
Conference papers
hal-01526275v1
|
|
Making Cloud-based Systems Elasticity Testing Reproducible7th International Conference on Cloud Computing and Services Science, Apr 2017, Porto, Portugal. ⟨10.5220/0006308905230530⟩
Conference papers
hal-01471916v2
|
|
Un outil d'assistance à la construction de tests de modèles à composants et services16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Conference papers
hal-01628306v1
|
|
KevoreeJS: Enabling Dynamic Software Reconfigurations in the BrowserWICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. ⟨10.1109/CBSE.2016.20⟩
Conference papers
hal-01354997v1
|
|
NeoEMF: a Multi-database Model Persistence Framework for Very Large ModelsProceedings 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
Conference papers
hal-01436047v1
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF Project Showcase 2016, 2016, Vienna, Austria
Conference papers
hal-01394407v1
|
|
Monitoring-Based Testing of Elastic Cloud Computing ApplicationsICPE Companion (LT Workshop), Mar 2016, Delft, Netherlands. ⟨10.1145/2859889.2859890⟩
Conference papers
hal-01317719v1
|
|
UMLtoGraphDB: Mapping Conceptual Schemas to Graph DatabasesER 2016 - 35th International Conference on Conceptual Modeling, Nov 2016, Gifu, Japan. pp.430-444, ⟨10.1007/978-3-319-46397-1_33⟩
Conference papers
hal-01344015v1
|
|
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⟩
Conference papers
hal-01436067v1
|
|
Automatic Non-functional Testing of Code Generators Families15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11
Conference papers
hal-01356849v1
|
|
NOTICE: A Framework for Non-functional Testing of Compilers2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria
Conference papers
hal-01344835v1
|
|
A Novelty Search-based Test Data Generator for Object-oriented ProgramsGECCO 2015, Jul 2015, Madrid, Spain. pp.1359--1360, ⟨10.1145/2739482.2764716⟩
Conference papers
hal-01248177v1
|
|
A Novelty Search Approach for Automatic Test Data Generation8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4
Conference papers
hal-01121228v1
|
|
Map-Based Transparent Persistence for Very Large ModelsFundamental 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⟩
Conference papers
hal-01140776v1
|
|
MONDO: Scalable Modelling and Model Management on the CloudSTAF2015 Project Showcase, 2015, L'Aquila, Italy
Conference papers
hal-01394222v1
|
|
Neo4EMF, a Scalable Persistence Layer for EMF ModelsECMFA- 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⟩
Conference papers
hal-00968516v1
|
|
Improving memory efficiency for processing large-scale modelsBigMDE, University of York, Jul 2014, York, UK, United Kingdom
Conference papers
hal-01033188v1
|
|
Using Meta-model Coverage to Qualify Test OraclesAnalysis of Model Transformations, Sep 2013, Miami, United States. pp.1613-0073
Conference papers
hal-00918569v1
|
|
Partial Test Oracle in Model Transformation TestingInternational Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩
Conference papers
hal-00823231v1
|
|
A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud ComputingEuropean Conference on Service-Oriented and Cloud Computing, Sep 2012, Bertinoro, Italy. pp.107-121, ⟨10.1007/978-3-642-33427-6_8⟩
Conference papers
hal-03774793v1
|
Poster : Comparaison de modèles filtrée pour le test de transformations de modèlesJournées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Conference papers
hal-00920300v1
|
|
Comparaison de Modèles Filtrée pour le Test de Transformations de ModèlesCIEL 2012, 2012, Rennes, France
Conference papers
hal-00726538v1
|
|
Peer-to-Peer Load Testing2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.642-647
Conference papers
hal-00726404v1
|
|
|
A Model-Based Approach for Optimizing Power Consumption of IaaSIEEE 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⟩
Conference papers
hal-00796221v1
|
|
Filtered Comparison for Oracle in ModelTransformation TestingICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Conference papers
hal-00918590v1
|
A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud ComputingEuropean Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Sep 2012, Bertinoro, Italy. pp.107-121
Conference papers
hal-00726086v1
|
|
Testing MapReduce-Based SystemsSBBD - XXVI Simpósio Brasileiro de Banco de Dados, Oct 2011, Florianopolis, SC, Brazil
Conference papers
hal-00728729v1
|
|
Efficient Distributed Test Architectures for Large-Scale SystemsICTSS 2010 - International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.174-187, ⟨10.1007/978-3-642-16573-3_13⟩
Conference papers
inria-00541696v1
|
|
PeerUnit: a framework for testing peer-to-peer systemsASE, IEEE/ACM, 2010, Antwerp, Belgium. pp.169-170, ⟨10.1145/1858996.1859030⟩
Conference papers
inria-00541699v1
|
|
|
Testing Architectures for Large Scale Systems8th International Conference High Performance Computing for Computational Science (VECPAR 2008), Jun 2008, Toulouse, France
Conference papers
inria-00377416v1
|
|
A Framework for Testing Peer-to-Peer Systems19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), 2008, Seattle, WA, USA, United States
Conference papers
inria-00371781v1
|
|
Testing Peers' Volatility23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008, L'Aquila, Italy, Italy
Conference papers
inria-00371199v1
|
|
Action synchronization in P2P system testingDAMAP 2008 - International Workshop on Data Management in Peer-to-Peer Systems (EDBT Workshop), Mar 2008, Nantes, France. pp.43-49, ⟨10.1145/1379350.1379357⟩
Conference papers
inria-00377411v2
|
Synchronization in Peer-to-Peer TestingWorkshop Gestion de données en pair-à-pair (GDP2P), Jun 2007, Le Croisic, France
Conference papers
hal-00696191v1
|
|
The Bosco Project - A JMI-Compliant Template-based Code Generator13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering. (IASSE-2004, 2004, Nice, France. pp.157-162
Conference papers
hal-00448041v1
|
|
The Bosco Project, A JMI-Compliant Template-based Code GeneratorISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004, Nice, France, France. pp.157--162
Conference papers
hal-00458122v1
|
|
|
Measuring and improving design patterns testabilityProceedings of Metrics Symposium 2003, Sep 2003, Sydney, Australia
Conference papers
hal-00794846v1
|
Measuring and Improving Design Patterns Testability9th IEEE International Software Metrics Symposium (METRICS 2003), 2003, Australia. pp.50-61
Conference papers
hal-00448043v1
|
|
|
Ai analysis patterns as UML meta-model constructsThe 14th international conference on Software Engineering and Knowledge Engineering, Jul 2002, Seke, Congo - Kinshasa
Conference papers
hal-00794653v1
|
Oo analysis patterns as UML metalevel collaborationsproc. 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
Conference papers
hal-00794643v1
|
|
|
UML reflectionsProc. of Reflection 2001, Sep 2001, Kyoto, Japan
Conference papers
hal-00794325v1
|
|
Refactoring UML modelsProceedings of UML 2001, 2001, RENNES, France
Conference papers
hal-00794510v1
|
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability12th International Symposium on Software Reliability Engineering ISSRE 2001, 2001, Hong Kong SAR China. pp.324-331
Conference papers
hal-00448044v1
|
|
|
Towards a 'safe' use of design patterns to improve oo software testabilityProceedings of ISSRE 2001, Nov 2001, RENNES, France
Conference papers
hal-00794514v1
|
|
Design pattern application in UMLECOOP'2000 proceedings, Jun 2000, BERLIN, Germany
Conference papers
hal-00794299v1
|
|
Precise modeling of design patternsProceedings of UML 2000, 2000, YORK, United Kingdom
Conference papers
hal-00794308v1
|
|
Poster: A Procedure for Testing Applications Through Cloud Computing ElasticityJDoc Day - ED STIM, Apr 2016, Nantes, France. 2016
Conference poster
hal-01317543v1
|
|
Poster: Controlling the Elasticity of Web Applications on Cloud ComputingSAC, Apr 2016, Pisa, Italy
Conference poster
hal-01317728v1
|
|
Controlling Cloud-Based Systems for Elasticity Test ReproductionCloud Computing and Service Science, 864, Springer International Publishing, pp.200-222, 2018, Communications in Computer and Information Science, ⟨10.1007/978-3-319-94959-8_11⟩
Book sections
hal-03603307v1
|
Un cadre pour la vérification de modèles UML2005
Other publications
hal-00458117v1
|
|
Controlling the Elasticity of Web Applications on Cloud Computing - Extended Version2016
Preprints, Working Papers, ...
hal-01317715v1
|
|
Automated Workload Generation for Testing Elastic Web Applications2016
Preprints, Working Papers, ...
hal-01317723v1
|
|
A Model-Based Approach for Testing Large Scale SystemsSoftware Engineering [cs.SE]. Université de Nantes, 2015
Habilitation à diriger des recherches
tel-01255818v1
|