Publications

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
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
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
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
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
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
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
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
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
Oblivious and Semi-Oblivious Boundedness for Existential Rules
auteur
Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, Lily Galois
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
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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02124164/file/IEEE%20NetSoft%202019%20demo%20paper.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
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
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
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
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
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
FOUGERE: User-Centric Location Privacy in Mobile Crowdsourcing Apps
auteur
Lakhdar Meftah, Romain Rouvoy, Isabelle Chrisment
article
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), 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
21th International Conference on Coordination Languages and Models (COORDINATION), 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

Theses

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/