Journal articles
- titre
- Reactive Model Transformation with ATL
- auteur
- Salvador Martínez, Massimo Tisi, Rémi Douence
- article
- Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
- Accès au texte intégral et bibtex
-
- titre
- A WebRTC Extension to Allow Identity Negotiation at Runtime
- auteur
- Kevin Corre, Simon Bécot, Olivier Barais, Gerson Sunyé
- article
- Lecture Notes in Computer Science, 2017, Web Engineering, 10360, pp.412-419. ⟨10.1007/978-3-319-60131-1_27⟩
- Accès au texte intégral et bibtex
-
- titre
- Protecting Privacy in Large Datasets—First We Assess the Risk; Then We Fuzzy the Data
- auteur
- Giske Ursin, Sagar Sen, Jean-Marie Mottu, Mari Nygård
- article
- Cancer Epidemiology, Biomarkers and Prevention, 2017, 26 (8), pp.1219 - 1224. ⟨10.1158/1055-9965.EPI-17-0172⟩
- Accès au bibtex
-
- titre
- Why can’t users choose their identity providers on the web?
- auteur
- Kevin Corre, Olivier Barais, Gerson Sunyé, Vincent Frey, Jean-Michel Crom
- article
- Proceedings on Privacy Enhancing Technologies, 2017, 2017 (3), pp.72-86. ⟨10.1515/popets-2017-0029⟩
- Accès au texte intégral et bibtex
-
- titre
- NeoEMF: A Multi-database Model Persistence Framework for Very Large Models
- auteur
- Gwendal Daniel, Gerson Sunyé, Amine Benelallam, Massimo Tisi, Yoann Vernageau, Abel Gomez, Jordi Cabot
- article
- Science of Computer Programming, 2017, ⟨10.1016/j.scico.2017.08.002⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-based analysis of Java EE web security misconfigurations
- auteur
- Salvador Martínez, Valerio Cosentino, Jordi Cabot
- article
- Computer Languages, Systems and Structures, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems
- auteur
- Michel Albonico, Stefano Di Alesio, Jean-Marie Mottu, Sagar Sen, Gerson Sunyé
- article
- CLOUD 2017 : 10th IEEE International Conference on Cloud Computing, Jun 2017, Honolulu, United States. ⟨10.1109/CLOUD.2017.56⟩
- Accès au texte intégral et bibtex
-
- titre
- Un outil d'assistance à la construction de tests de modèles à composants et services
- auteur
- Pascal Andre, Gilles Ardourel, Jean-Marie Mottu, Gerson Sunyé
- article
- 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France
- Accès au texte intégral et bibtex
-
- titre
- On Additivity in Transformation Languages
- auteur
- Soichiro Hidaka, Frédéric Jouault, Massimo Tisi
- article
- MODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, Texas, United States. pp.23-33, ⟨10.1109/MODELS.2017.21⟩
- Accès au texte intégral et bibtex
-
- titre
- Incremental Deductive Verification for Relational Model Transformations
- auteur
- Zheng Cheng, Massimo Tisi
- article
- ICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. ⟨10.1109/ICST.2017.41⟩
- Accès au texte intégral et bibtex
-
- titre
- A Deductive Approach for Fault Localization in ATL Model Transformations
- auteur
- Zheng Cheng, Massimo Tisi
- article
- FASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, Apr 2017, Uppsala, Sweden. pp.300-317, ⟨10.1007/978-3-662-54494-5_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Making Cloud-based Systems Elasticity Testing Reproducible
- auteur
- Michel Albonico, Jean-Marie Mottu, Gerson Sunyé, Frederico Alvares
- article
- 7th International Conference on Cloud Computing and Services Science, Apr 2017, Porto, Portugal. ⟨10.5220/0006308905230530⟩
- Accès au texte intégral et bibtex
-
- titre
- Combining Techniques to Verify Service-based Components
- auteur
- Pascal Andre, Christian Attiogbe, Jean-Marie Mottu
- article
- MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩
- Accès au texte intégral et bibtex
-
- titre
- Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE
- auteur
- Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
- article
- ICSEA: International Conference on Software Engineering Advances, Oct 2017, Athenes, Greece
- Accès au texte intégral et bibtex
-
- titre
- The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems
- auteur
- Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
- article
- European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, Aug 2017, Vienna, Austria. ⟨10.1109/DSD.2017.50⟩
- Accès au texte intégral et bibtex
-
- titre
- The MegaM@Rt2 Approach and Tool Set
- auteur
- Hugo Bruneliere, Silvia Mazzini, Andrey Sadovykh
- article
- DeCPS Workshop, 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017, Jun 2017, Vienna, Austria
- Accès au bibtex
-
- titre
- Gremlin-ATL: A Scalable Model Transformation Framework
- auteur
- Gwendal Daniel, Frédéric Jouault, Gerson Sunyé, Jordi Cabot
- article
- ASE2017 : 32nd IEEE/ACM International Conference on Automated Software Engineering, Oct 2017, Urbana-Champaign, United States. ⟨10.1109/ASE.2017.8115658⟩
- Accès au texte intégral et bibtex
-
- titre
- Model Consistency for Distributed Collaborative Modeling
- auteur
- Gerson Gerson Sunyé
- article
- 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⟩
- Accès au texte intégral et bibtex
-
Theses
- titre
- Controlling Cloud-Based Systems for Elasticity Testing
- auteur
- Michel Albonico
- article
- Other [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0027⟩
- Accès au texte intégral et bibtex
-