Publications

2020 2019 2018 2017 2016 2015 2014 2013 and before

2019

Publications HAL du labo/EPI spirals

Journal articles

titre
Monadic Datalog, Tree Validity, and Limited Access Containment
auteur
Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2019, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02307999/file/mdl.pdf BibTex
titre
Model-Driven Cloud Resource Management with OCCIware
auteur
Faiez Zalila, Stéphanie Challita, Philippe Merle
article
Future Generation Computer Systems, Elsevier, 2019, 99, pp.260 – 277. ⟨10.1016/j.future.2019.04.015⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375378/file/Model-Driven%20Cloud%20Resource%20Management%20with%20OCCIware.pdf BibTex
titre
A Snowballing Literature Study on Test Amplification
auteur
Benjamin Danglot, Oscar Vera-Pérez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2019, 157, pp.1-16. ⟨10.1016/j.jss.2019.110398⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02290742/file/1705.10692.pdf BibTex
titre
Repairnator patches programs automatically
auteur
Martin Monperrus, Simon Urli, Thomas Durieux, Martin Martinez, Benoit Baudry, Lionel Seinturier
article
Ubiquity, Association for Computing Machinery, 2019, July (2), pp.1-12. ⟨10.1145/3349589⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02267512/file/repairnator.pdf BibTex
titre
On semantic detection of cloud API (anti)patterns
auteur
Hayet Brabra, Achraf Mtibaa, Fabio Petrillo, Philippe Merle, Layth Sliman, Naouel Moha, Walid Gaaloul, Yann-Gael Gueheneuc, Boualem Benatallah, Faiez Gargouri
article
Information and Software Technology, Elsevier, 2019, 107, pp.65 – 82. ⟨10.1016/j.infsof.2018.10.012⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375380/file/On%20Semantic%20Detection%20of%20Cloud%20API%20%28Anti%29Patterns.pdf BibTex
titre
Building Hierarchical Component Directories
auteur
Nour Aboud, Gabriela Arévalo, Olivier Bendavid, Jean-Rémy Falleri, Nicolas Haderer, Marianne Huchard, Chouki Tibermacine, Christelle Urtado, Sylvain Vauttier
article
The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (1), pp.21–37. ⟨10.5381/jot.2019.18.1.a2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02073774/file/article2.pdf BibTex
titre
GreyCat: Efficient What-If Analytics for Data in Motion at Scale
auteur
Thomas Hartmann, François Fouquet, Assaad Moawad, Romain Rouvoy, Yves Le Traon
article
Information Systems, Elsevier, In press, 83, pp.101-117. ⟨10.1016/j.is.2019.03.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02059882/file/is.pdf BibTex
titre
Evaluating Datalog via Tree Automata and Cycluits
auteur
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart
article
Theory of Computing Systems, Springer Verlag, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
Accès au bibtex
https://arxiv.org/pdf/1808.04663 BibTex
titre
Rigorous Design of Cyber-Physical Systems
auteur
Simon Bliudze, Sébastien Furic, Joseph Sifakis, Antoine Viel
article
Software and Systems Modeling, Springer Verlag, In press, Software and System Modeling, 18 (3), pp.1613–1636. ⟨10.1007/s10270-017-0642-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01636392/file/rsd-cps.pdf BibTex
titre
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects
auteur
Benjamin Danglot, Oscar Vera-Pérez, Benoit Baudry, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2019, pp.1-35. ⟨10.1007/s10664-019-09692-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01923575/file/_EmSE18__Automatic_Test_Improvement_with_DSpot__a_Study_with_Ten_Mature_Open_Source_Projects.pdf BibTex
titre
Model-Driven Elasticity Management with OCCI
auteur
Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle
article
IEEE transactions on cloud computing, IEEE, In press, 99, pp.1. ⟨10.1109/TCC.2019.2923686⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375362/file/modemo.pdf BibTex
titre
Characterizing the Usage, Evolution and Impact of Java Annotations in Practice
auteur
Zhongxing Yu, Chenggang Bai, Lionel Seinturier, Martin Monperrus
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TSE.2019.2910516⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02091516/file/TSE_HAL.pdf BibTex
titre
Expressiveness of component-based frameworks: A study of the expressiveness of BIP
auteur
Eduard Baranov, Simon Bliudze
article
Acta Informatica, Springer Verlag, In press, ⟨10.1007/s00236-019-00337-7⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02149934/file/bipglue.pdf BibTex

Conference papers

titre
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat
auteur
Adja Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani
article
CNSM 2019 – 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02375386/file/Formal%20Verification%20of%20Orchestration%20Templates%20for%20Reliable%20Deployment%20with%20OpenStack%20Heat.pdf BibTex
titre
A Longitudinal Analysis of Bug Handling Across Eclipse Releases
auteur
Zeinab Abou Khalil, Eleni Constantinou, Tom Mens, Laurence Duchien, Clément Quinton
article
ICSME 2019 – 35th IEEE International Conference on Software Maintenance and Evolution, Sep 2019, Cleveland, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02179172/file/icsme.pdf BibTex
titre
Reasoning about disclosure in data integration in the presence of source constraints
auteur
Michael Benedikt, Pierre Bourhis, Louis Jachiet, Michaël Thomazo
article
IJCAI 2019 – 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02145369/file/hal.pdf BibTex
titre
Oblivious and Semi-Oblivious Boundedness for Existential Rules
auteur
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Gallois
article
IJCAI 2019 – International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/file/camera_ready.pdf BibTex
titre
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics
auteur
Meghyn Bienvenu, Pierre Bourhis
article
Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), Aug 2019, Macao, Macau SAR China. ⟨10.24963/ijcai.2019/216⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02342129/file/datalog-ijcai19-CAMERAREADY-submit-v2.pdf BibTex
titre
AccessiLeaks: Investigating Privacy Leaks Exposed by the Android Accessibility Service
auteur
Mohammad Naseri, Nataniel P. Borges Jr., Andreas Zeller, Romain Rouvoy
article
PETS 2019 – The 19th Privacy Enhancing Technologies Symposium, Jul 2019, Stockholm, Sweden
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01929049/file/naseri-popets19.pdf BibTex
titre
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates
auteur
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
article
PODS, Jun 2019, Amsterdam, France. pp.89-103, ⟨10.1145/3294052.3319702⟩
Accès au bibtex
https://arxiv.org/pdf/1812.09519 BibTex
titre
A Lightweight Toolchain to Validate, Visualize, Analyze, and Deploy ETSI NFV Topologies
auteur
Philippe Merle, Adja Ndeye Sylla, Meryem Ouzzif, Frédéric Klamm, Karine Guillouard
article
NetSoft 2019 – The 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. ⟨10.1109/NETSOFT.2019.8806632⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02124164/file/IEEE%20NetSoft%202019%20demo%20paper.pdf BibTex
titre
FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps
auteur
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment
article
DAIS 2019 – 19th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2019, Kongens Lyngby, Denmark. pp.116-132, ⟨10.1007/978-3-030-22496-7_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02121311/file/paper_2.pdf BibTex
titre
Verification of concurrent design patterns with data
auteur
Simon Bliudze, Ludovic Henrio, Eric Madelaine
article
COORDINATION 2019 – 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02143782/file/paper_18.pdf BibTex
titre
The Rise of Android Code Smells: Who Is to Blame?
auteur
Sarra Habchi, Naouel Moha, Romain Rouvoy
article
MSR 2019 – Proceedings of the 16th International Conference on Mining Software Repositories, May 2019, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02054788/file/main.pdf BibTex
titre
On the Survival of Android Code Smells in the Wild
auteur
Sarra Habchi, Romain Rouvoy, Naouel Moha
article
MOBILESoft 2019 – 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02059097/file/main.pdf BibTex
titre
Testing Nearby Peer-to-Peer Mobile Apps at Large
auteur
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment
article
MOBILESoft 2019 – 6th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2019, Montréal, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02059088/file/ICSE-MOBILESoft-2.pdf BibTex
titre
Constant-Delay Enumeration for Nondeterministic Document Spanners
auteur
Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Matthias Niewerth
article
ICDT, Mar 2019, Lisbon, Portugal. ⟨10.4230/LIPIcs.ICDT.2019.19⟩
Accès au bibtex
https://arxiv.org/pdf/1807.09320 BibTex
titre
Bears: An Extensible Java Bug Benchmark for Automatic Program Repair Studies
auteur
Fernanda Madeiral, Simon Urli, Marcelo Maia, Martin Monperrus
article
SANER 2019 – 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China
Accès au bibtex
https://arxiv.org/pdf/1901.06024 BibTex
titre
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
auteur
Martin White, Michele Tufano, Matias Martinez, Martin Monperrus, Denys Poshyvanyk
article
SANER 2019 – 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2019, Hangzhou, China
Accès au bibtex
https://arxiv.org/pdf/1707.04742 BibTex

Directions of work or proceedings

titre
13th European Conference on Software Architecture, {ECSA} 2019
auteur
Tomas Bures, Laurence Duchien, Paola Inverardi
article
Tomas Bures; Laurence Duchien; Paola Inverardi. Springer, 2019, Lecture Notes in Computer Science, 978-3-030-29982-8. ⟨10.1007/978-3-030-29983-5⟩
Accès au bibtex
BibTex
titre
Proceedings of the 13th European Conference on Software Architecture, {ECSA} 2019, Companion Proceedings (Proceedings Volume 2),
auteur
Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martinez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns
article
ECSA ’19 – Proceedings of the 13th European Conference on Software Architecture – Volume 2, Sep 2019, Paris, France. ACM Press, 2019, 978-1-4503-7142-1. ⟨10.1145/3344948⟩
Accès au bibtex
BibTex
titre
Proceedings of the 23rd International Systems and Software Product Line Conference – Volume B (SPLC)
auteur
Carlos Cetina, Oscar Diaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thum, Tewfik Ziadi
article
2019, 978-1-4503-6668-7
Accès au bibtex
BibTex
titre
SPLC ’19: Proceedings of the 23rd International Systems and Software Product Line Conference – Volume A
auteur
Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thum, Tewfik Ziadi
article
2019
Accès au bibtex
BibTex

Poster communications

titre
Apolline: conception et déploiement d’un réseau de mesure de la qualité de l’air par microcapteurs
auteur
Benjamin Hanoune, Laurent Clavier, Suzanne Crumeyrolle, Samuel Degrande, Redha Kassi, Xavier Le Pallec, Romain Rouvoy
article
AEI 2019 : atelier expérimentation et instrumentation, Jul 2019, Villeneuve d’Ascq, France
Accès au bibtex
BibTex

Theses

titre
Towards Privacy-sensitive Mobile Crowdsourcing
auteur
Lakhdar Meftah
article
Software Engineering [cs.SE]. University of Lille, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02399716/file/thesis.pdf BibTex
titre
Understanding Mobile-Specific Code Smells
auteur
Sarra Habchi
article
Software Engineering [cs.SE]. Université de Lille, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02414928/file/thesis.pdf BibTex
titre
Automatic Unit Test Amplification For DevOps
auteur
Benjamin Danglot
article
Software Engineering [cs.SE]. Université de Lille, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02396530/file/bdanglot_thesis_final.pdf BibTex
titre
Tracking Versus Security: Investigating the Two Facets of Browser Fingerprinting
auteur
Antoine Vastel
article
Computer Science [cs]. Université de Lille Nord de France, 2019. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02343930/file/avastel-thesis.pdf BibTex

Preprints, Working Papers, …

titre
Data Centric Workflows for Crowdsourcing
auteur
Pierre Bourhis, Loïc Hélouët, Rituraj Singh, Zoltán Miklós
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01976280/file/compwork.pdf BibTex

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