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
Axo: Detection and Recovery for Delay and Crash Faults in Real-Time Control Systems
auteur
Maaz Mohiuddin, Wajeb Saab, Simon Bliudze, Jean-Yves Le Boudec
article
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2018, 14 (7), pp.3065 – 3075. 〈10.1109/TII.2017.2772219〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01846124/file/Axo_TII_preprint.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
Phase II Studies with Refametinib or Refametinib plus Sorafenib in Patients with RAS-Mutated Hepatocellular Carcinoma
auteur
Ho Yeong Lim, Philippe Merle, Karl Heinz Weiss, Thomas Yau, Paul Ross, Vincenzo Mazzaferro, Jean-Frederic Blanc, Yuk Ting Ma, Chia Jui Yen, Judit Kocsis, Su Pin Choo, Wattana Sukeepaisarnjaroen, Rene Gerolami, Jean-Francois Dufour, Edward J. Gane, Baek-Yeol Ryoo, Markus Peck-Radosavljevic, Thong Dao, Winnie Yeo, Wisut Lamlertthon, Satawat Thongsawat, Michael Teufel, Katrin Roth, Diego Reis, Barrett H. Childs, Heiko Krissel, Josep M. Llovet
article
Clinical Cancer Research, American Association for Cancer Research, 2018, 24 (19), pp.4650-4661. 〈10.1158/1078-0432.CCR-17-3588〉
Accès au bibtex
BibTex
titre
Early validation of system requirements and design through correctness-by-construction
auteur
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
article
Journal of Systems and Software, Elsevier, 2018, 145, pp.52-78. 〈10.1016/j.jss.2018.07.053〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01873999/file/CSSPjournalPaper.pdf BibTex
titre
A Comprehensive Study of Pseudo-tested Methods
auteur
Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry
article
Empirical Software Engineering, Springer Verlag, 2018, pp.1-33. 〈10.1007/s10664-018-9653-2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01867423/file/main.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
Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy
auteur
Thomas Durieux, Youssef Hamadi, Martin Monperrus
article
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Oct 2018, Memphis, United States
Accès au bibtex
https://arxiv.org/pdf/1803.08725 BibTex
titre
Towards an automated approach for bug fix pattern detection
auteur
Fernanda Madeiral, Thomas Durieux, Victor Sobreira, Marcelo Maia
article
VEM ’18 – Proceedings of the VI Workshop on Software Visualization, Evolution and Maintenance, Sep 2018, São Carlos, Brazil. 2018
Accès au bibtex
https://arxiv.org/pdf/1807.11286 BibTex
titre
On Adopting Linters to Deal with Performance Concerns in Android Apps
auteur
Sarra Habchi, Xavier Blanc, Romain Rouvoy
article
ASE18 – Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering, Sep 2018, Montpellier, France. ACM Press, 11, 2018, 〈http://www.ase2018.com〉. 〈10.1145/3238147.3238197〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01829135/file/habchi-ase-18.pdf 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
CLOUD 2018 – 11th IEEE International Conference on Cloud Computing, 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
40th International Conference on Software Engineering, Track Software Engineering in Practice, 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.728-741, Proceedings of the 39th IEEE Symposium on Security and Privacy (S&P). 〈https://www.ieee-security.org/TC/SP2018〉. 〈10.1109/SP.2018.00008〉
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
Ordering Events Based on Intentionality in Cyber-Physical Systems
auteur
Wajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec
article
ICCPS 2018 – 9th ACM/IEEE International Conference on Cyber-Physical Systems, Apr 2018, Porto, Portugal. IEEE, 〈10.1109/ICCPS.2018.00019〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889067/file/Ordering.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, 〈10.1109/ICST.2018.00023〉
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, 〈10.1109/SANER.2018.8330203〉
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
From Runtime Failures to Patches: Study of Patch Generation in Production
auteur
Thomas Durieux
article
Software Engineering [cs.SE]. University of Lille, 2018. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01883676/file/thomas_durieux_thesis.pdf BibTex
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
Evaluating Datalog via Tree Automata and Cycluits
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
53 pages, 61 references. Journal version of “Combined Tractability of Query Evaluation via Tree A.. 2018
Accès au bibtex
https://arxiv.org/pdf/1808.04663 BibTex

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