Publications

2018 2017 2016 2015 2014 2013 and before

2018

Publications HAL du labo/EPI spirals

Journal articles

titre
The Next 700 CPU Power Models
auteur
Maxime Colmant, Romain Rouvoy, Mascha Kurpicz, Anita Sobe, Pascal Felber, Lionel Seinturier
article
Journal of Systems and Software, Elsevier, In press
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01827132/file/colmant-jss.pdf BibTex
titre
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm
auteur
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Lenabec
article
Innovations in Systems and Software Engineering, Springer Verlag, 2018, 14 (2), pp.117 – 142. 〈10.1007/s11334-018-0312-y〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01823749/file/main.pdf BibTex
titre
Elasticity in Cloud Computing: State of the Art and Research Challenges
auteur
Yahya Al-Dhuraibi, Fawaz Paraiso, Nabil Djarallah, Philippe Merle
article
IEEE Transactions on Services Computing (TSC), 2018, 11 (2), pp.430-447. 〈https://www.computer.org/web/tsc〉. 〈10.1109/TSC.2017.2711009〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01529654/file/article.pdf BibTex
titre
Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair System
auteur
Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, In press, 〈10.1007/s10664-018-9619-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01774223/file/alleviating_Overfitting.pdf BibTex

Conference papers

titre
On Adopting Linters to Deal with Performance Concerns in Android Apps
auteur
Sarra Habchi, Xavier Blanc, Romain Rouvoy
article
33rd IEEE/ACM International Conference on Automated Software Engineering, Sep 2018, Montpellier, France. ASE18 – Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering. 〈http://www.ase2018.com〉
Accès au bibtex
BibTex
titre
FP-Scanner: The Privacy Implications of Browser Fingerprint Inconsistencies
auteur
Antoine Vastel, Pierre Laperdrix, Walter Rudametkin, Romain Rouvoy
article
Proceedings of the 27th USENIX Security Symposium, Aug 2018, Baltimore, United States. 〈https://www.usenix.org/conference/usenixsecurity18〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01820197/file/fpscanner_normal.pdf BibTex
titre
Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language
auteur
Stéphanie Challita, Faiez Zalila, Philippe Merle
article
11th IEEE International Conference on Cloud Computing (CLOUD), Jul 2018, San Francisco, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01790629/file/Specifying%20Semantic%20Interoperability%20between%20Heterogeneous%20Cloud%20Resources%20with%20the%20FCLOUDS%20Formal%20Language.pdf BibTex
titre
Explanations and Transparency in Collaborative Workflows
auteur
Serge Abiteboul, Pierre Bourhis, Victor Vianu
article
PODS 2018 – 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles Of Database Systems, Jun 2018, Houston, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01744978/file/pods050withoutcopyright.pdf BibTex
titre
How to Design a Program Repair Bot? Insights from the Repairnator Project
auteur
Simon Urli, Zhongxing Yu, Lionel Seinturier, Martin Monperrus
article
ICSE 2018 – 40th International Conference on Software Engineering, Track Software Engineering in Practice (SEIP), May 2018, Gothenburg, Sweden. pp.95-104, 〈https://www.icse2018.org/〉. 〈10.1145/3183519.3183540〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01691496/file/SEIP_63_Camera-Ready-no-copyright.pdf BibTex
titre
FP-STALKER: Tracking Browser Fingerprint Evolutions
auteur
Antoine Vastel, Pierre Laperdrix, Walter Rudametkin, Romain Rouvoy
article
Bryan Parno; Christopher Kruegel. IEEE S&P 2018 – 39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States. IEEE, pp.1-14, Proceedings of the 39th IEEE Symposium on Security and Privacy (S&P). 〈https://www.ieee-security.org/TC/SP2018〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652021/file/FPStalker-hal-version.pdf BibTex
titre
FP-TESTER: Automated Testing of Browser Fingerprint Resilience
auteur
Antoine Vastel, Walter Rudametkin, Romain Rouvoy
article
IWPE 2018 – 4th International Workshop on Privacy Engineering, Apr 2018, London, United Kingdom. pp.1-5, 2018, Proceedings of the 4th International Workshop on Privacy Engineering (IWPE’18)
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01717158/file/fptester.pdf BibTex
titre
Towards Sustainable Software Infrastructures for Data-Intensive Systems
auteur
Guillaume Fieni, Romain Rouvoy, Lionel Seinturier
article
EuroDW 2018 – 12th EuroSys Doctoral Workshop, Apr 2018, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01784225/file/eurodw18-Fieni.pdf BibTex
titre
A Precise Model for Google Cloud Platform
auteur
Stéphanie Challita, Faiez Zalila, Christophe Gourdin, Philippe Merle
article
6th IEEE International Conference on Cloud Engineering (IC2E), Apr 2018, Orlando, Florida, United States. pp.177-183
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01689659/file/A%20Precise%20Model%20for%20Google%20Cloud%20Platform.pdf BibTex
titre
Exhaustive Exploration of the Failure-oblivious Computing Search Space
auteur
Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus
article
ICST 2018 – 11th IEEE Conference on Software Testing, Validation and Verification, Apr 2018, Västerås, Sweden. 2017
Accès au bibtex
https://arxiv.org/pdf/1710.09722 BibTex
titre
Dissection of a Bug Dataset: Anatomy of 395 Patches from Defects4J
auteur
Victor Sobreira, Thomas Durieux, Fernanda Madeiral, Martin Monperrus, Marcelo A. Maia
article
SANER 2018 – 25th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2018, Campobasso, Italy. 2018
Accès au bibtex
https://arxiv.org/pdf/1801.06393 BibTex
titre
Model-Driven Configuration Management of Cloud Applications with OCCI
auteur
Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski
article
8th International Conference on Cloud Computing and Services Science (CLOSER), Mar 2018, Funchal, Madeira, Portugal. pp.100-111
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01678945/file/Model-Driven%20Configuration%20Management%20of%20Cloud%20Applications%20with%20OCCI.pdf BibTex
titre
Coordinating Vertical Elasticity of both Containers and Virtual Machines
auteur
Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle
article
8th International Conference on Cloud Computing and Services Science – CLOSER 2018, Mar 2018, Funchal, Madeira, Portugal. 2018, 〈http://closer.scitevents.org/〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01683041/file/camera-ready.pdf BibTex

Reports

titre
Using SMT engine to generate Symbolic Automata -Extended version
auteur
Xudong Qin, Simon Bliudze, Eric Madelaine, Min Zhang
article
[Research Report] RR-9177, Inria & Université Cote d’Azur, CNRS, I3S, Sophia Antipolis, France; inria. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01823507/file/RR-9177.pdf BibTex

Theses

titre
A Software Product Lines-Based Approach for the Setup and Adaptation of Multi-Cloud Environments
auteur
Gustavo Sousa
article
Software Engineering [cs.SE]. Université de Lille, 2018. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01808779/file/sousa-thesis.final.pdf BibTex

Preprints, Working Papers, …

titre
Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy
auteur
Thomas Durieux, Youssef Hamadi, Martin Monperrus
article
2018
Accès au bibtex
https://arxiv.org/pdf/1803.08725 BibTex

Permanent link to this article: https://team.inria.fr/spirals/publications/