Sites Inria

English version

Equipe de recherche SPIRALS

Publications de l'équipe SPIRALS

2019

Article dans une revue

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
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
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
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
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
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

Communication dans un congrès

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 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
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
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
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

Direction d'ouvrage, Proceedings, Dossier

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 Mart{\'{\i}}nez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns
article
The 13th European Conference on Software Architecture, 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

Thèse

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

Pré-publication, Document de travail

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

2018

Article dans une revue

titre
Query Answering with Transitive and Linear-Ordered Data
auteur
Antoine Amarilli, Antone Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
article
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩
Accès au bibtex
BibTex
titre
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
auteur
Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2018, 23 (4), pp.2086-2119. ⟨10.1007/s10664-017-9571-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378523/file/article.pdf BibTex
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, 144, pp.382-396. ⟨10.1016/j.jss.2018.07.001⟩
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, IEEE, 2018, 11 (2), pp.430-447. ⟨10.1109/TSC.2017.2711009⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01529654/file/article.pdf 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

Communication dans un congrès

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. ⟨10.1109/ISSRE.2018.00012⟩
Accès au bibtex
https://arxiv.org/pdf/1803.08725 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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01820197/file/fpscanner_normal.pdf 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. ⟨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
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, ⟨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
IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States. pp.728-741, ⟨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
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), http://conferences.computer.org/IC2E/2018/, 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. ⟨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
Model-Driven Configuration Management of Cloud Applications with OCCI
auteur
Fabian Korte, Stéphanie Challita, Faiez Zalila, Philippe Merle, Jens Grabowski
article
CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, 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
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. ⟨10.1109/SANER.2018.8330203⟩
Accès au bibtex
https://arxiv.org/pdf/1801.06393 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
Accès au bibtex
https://arxiv.org/pdf/1807.11286 BibTex
titre
Coordinating Vertical Elasticity of both Containers and Virtual Machines
auteur
Yahya Al-Dhuraibi, Faiez Zalila, Nabil Djarallah, Philippe Merle
article
CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01683041/file/camera-ready.pdf BibTex

Rapport

titre
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)
auteur
Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen
article
[Autre] CNRS. 2018, pp.1-87
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01956087/file/Rapport%20de%20Prospective%20CSI%20INS2I%202018%20%2B%20%20Annexes.pdf BibTex
titre
Adlet: A Java-based Architecture Description Language
auteur
Lionel Seinturier
article
[Research Report] RR-9242, Inria Lille - Nord Europe. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01964792/file/RR-9242.pdf BibTex
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

Thèse

titre
Inferring Models from Cloud APIs and Reasoning over Them: A Tooled and Formal Approach
auteur
Stéphanie Challita
article
Software Engineering [cs.SE]. Universite Lille 1, 2018. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02016442/file/Challita-Thesis-final.pdf BibTex
titre
Flexible Framework for Elasticity in Cloud Computing
auteur
Yahya Al-Dhuraibi
article
Computer Science [cs]. Université lille1, 2018. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02011337/file/yahya-thesis.pdf BibTex
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

2017

Article dans une revue

titre
A Large-scale Study of Call Graph-based Impact Prediction using Mutation Testing
auteur
Vincenzo Musco, Martin Monperrus, Philippe Preux
article
Software Quality Journal, Springer Verlag, 2017, 25 (3), pp.921-950. ⟨10.1007/s11219-016-9332-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01346046/file/papersqj.pdf BibTex
titre
App Store 2.0: From Crowdsourced Information to Actionable Feedback in Mobile Ecosystems
auteur
María Gómez, Bram Adams, Walid Maalej, Martin Monperrus, Romain Rouvoy
article
IEEE Software, Institute of Electrical and Electronics Engineers, 2017, IEEE Software - Theme Issue on Crowdsourcing for Software Engineering, 34, pp.81-89. ⟨10.1109/MS.2017.46⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406422/file/gomez-ieee-software.pdf BibTex
titre
A Domain-specific Language for The Control of Self-adaptive Component-based Architecture
auteur
Frederico Alvares, Eric Rutten, Lionel Seinturier
article
Journal of Systems and Software, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01450517/file/JSS16.pdf BibTex
titre
Automatic Software Repair: a Bibliography
auteur
Martin Monperrus
article
ACM Computing Surveys, Association for Computing Machinery, 2017, 51, pp.1-24. ⟨10.1145/3105906⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01206501/file/survey-automatic-repair.pdf BibTex
titre
Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset
auteur
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2017, 22 (4), pp.1936-1964. ⟨10.1007/s10664-016-9470-4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01387556/file/automatic-repair-defects4j.pdf https://hal.archives-ouvertes.fr/hal-01387556/file/framework.pdf https://hal.archives-ouvertes.fr/hal-01387556/file/intersection.pdf https://hal.archives-ouvertes.fr/hal-01387556/file/patch_correctness.pdf BibTex
titre
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
auteur
Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clément, Sebastian Lamelas, Thomas Durieux, Daniel Le Berre, Martin Monperrus
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2017, 43 (1), pp.34-55. ⟨10.1109/TSE.2016.2560811⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01285008/file/nopol.pdf BibTex

Communication dans un congrès

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. ⟨10.1109/ICST.2018.00023⟩
Accès au bibtex
https://arxiv.org/pdf/1710.09722 BibTex
titre
AndroFleet: Testing WiFi Peer-to-Peer Mobile Apps in the Large
auteur
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, Isabelle Chrisment
article
ASE 2017 - 32nd IEEE/ACM International Conference on Automated Software Engineering , Oct 2017, Urbana-Champaign, Illinois, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01574466/file/meftah-ase17.pdf BibTex
titre
A Model-Driven Tool Chain for OCCI
auteur
Faiez Zalila, Stéphanie Challita, Philippe Merle
article
25th International Conference on Cooperative Information Systems (CoopIS), Oct 2017, Rhodes, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01583165/file/A%20Model-Driven%20Tool%20Chain%20for%20OCCI.pdf BibTex
titre
Analyzing Complex Data in Motion at Scale with Temporal Graphs
auteur
Thomas Hartmann, Francois Fouquet, Matthieu Jimenez, Romain Rouvoy, Yves Le Traon
article
The 29th International Conference on Software Engineering & Knowledge Engineering (SEKE'17), Jul 2017, Pittsburgh, United States. pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01511636/file/seke2017-submitted_08032017.pdf BibTex
titre
Autonomic Vertical Elasticity of Docker Containers with ElasticDocker
auteur
Yahya Al-Dhuraibi, Fawaz Paraiso, Nabil Djarallah, Philippe Merle
article
10th IEEE International Conference on Cloud Computing, IEEE CLOUD 2017, Jun 2017, Honolulu, Hawaii, United States. pp.472 - 479
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01522940/file/2017-CLOUD-ElasticDocker.pdf BibTex
titre
Towards Formal-based Semantic Interoperability in Multi-Clouds
auteur
Stéphanie Challita, Fawaz Paraiso, Philippe Merle
article
10th IEEE International Conference on Cloud Computing (CLOUD), Jun 2017, Honolulu, Hawaii, United States. pp.710-713
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01519831/file/Towards%20Formal-based%20Semantic%20Interoperability%20in%20Multi-Clouds.pdf BibTex
titre
Mobile Cloud Robotics as a Service with OCCIware
auteur
Philippe Merle, Christophe Gourdin, Nathalie Mitton
article
2nd IEEE International Congress on Internet of Things, IEEE ICIOT 2017, Jun 2017, Honolulu, Hawaii, United States. pp.50 - 57, ⟨10.1109/IEEE.ICIOT.2017.15⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01522684/file/2017-ICIOT-OMCRI-camera-ready.pdf BibTex
titre
SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing
auteur
Aurélien Havet, Rafael Pires, Pascal Felber, Marcelo Pasin, Romain Rouvoy, Valerio Schiavoni
article
DEBS'17 - The 11th ACM International Conference on Distributed and Event-Based Systems, Marta Patiño, Jun 2017, Barcelona, Spain. pp.124-133, ⟨10.1145/3093742.3093927⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01510699/file/paper.pdf BibTex
titre
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters
auteur
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
article
12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'17), May 2017, Buenos Aires, Argentina. pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01475635/file/seams17.pdf BibTex
titre
Code Smells in iOS Apps: How do they compare to Android?
auteur
Sarra Habchi, Geoffrey Hecht, Romain Rouvoy, Naouel Moha
article
MOBILESoft'17 - 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, May 2017, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01471294/file/Mobilesoft17-Habchi.pdf BibTex
titre
Extending Dynamic Software Product Lines with Temporal Constraints
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017), May 2017, Buenos Aires, Argentina
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01482014/file/SEAMS__ICSE_2017_paper_34.pdf BibTex
titre
Towards a REST Cloud Computing Lexicon
auteur
Fabio Petrillo, Philippe Merle, Naouel Moha, Yann-Gaël Guéhéneuc
article
7th International Conference on Cloud Computing and Services Science, CLOSER 2017, INSTICC, Apr 2017, Porto, Portugal. pp.376--383, ⟨10.5220/0006281203760383⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01480593/file/closer2017-CloudLex.pdf BibTex
titre
Challenging Anti-fragile Blockchain Applications
auteur
Miguel Alejandro González, Walter Rudametkin, Martin Monperrus, Romain Rouvoy
article
11th EuroSys Doctoral Workshop EuroDW'17, Apr 2017, Belgrade, Serbia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653986/file/eurodw17-final19.pdf BibTex
titre
CloudGC: Recycling Idle Virtual Machines in the Cloud
auteur
Bo Zhang, Yahya Al-Dhuraibi, Romain Rouvoy, Fawaz Paraiso, Lionel Seinturier
article
5th IEEE International Conference on Cloud Engineering (IC2E), Apr 2017, Vancouver, Canada. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403488/file/zhang-ic2e-17.pdf BibTex
titre
GenPack: A Generational Scheduler for Cloud Data Centers
auteur
Aurélien Havet, Valerio Schiavoni, Pascal Felber, Maxime Colmant, Romain Rouvoy, Chistof Fetzer
article
5th IEEE International Conference on Cloud Engineering (IC2E), Apr 2017, Vancouver, Canada. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403486/file/haver-ic2e-17.pdf BibTex
titre
A Study of Virtual Machine Placement Optimization in Data Centers
auteur
Stéphanie Challita, Fawaz Paraiso, Philippe Merle
article
7th International Conference on Cloud Computing and Services Science (CLOSER), INSTICC, Apr 2017, Porto, Portugal. pp.343-350, ⟨10.5220/0006236503430350⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01481631/file/A%20Study%20of%20Virtual%20Machine%20Placement%20Optimization%20in%20Data%20Centers%20%281%29.pdf BibTex
titre
Matrix Factorisation-based Calibration For Air Quality Crowd-sensing
auteur
Clement Dorffer, Matthieu Puigt, Gilles Delmaire, Gilles Roussel, Romain Rouvoy, Isabelle Sagnier
article
European Geosciences Union General Assembly 2017, Apr 2017, Vienna, Austria. pp.EGU2017-16389
Accès au bibtex
BibTex
titre
Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming
auteur
Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus
article
IEEE International Conference on Software Analysis, Evolution and Reengineering, Feb 2017, Klagenfurt, Austria. pp.349-358, ⟨10.1109/SANER.2017.7884635⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01419861/file/main.pdf BibTex
titre
Investigating the Energy Impact of Android Smells
auteur
Antonin Carette, Mehdi Adel Ait Younes, Geoffrey Hecht, Naouel Moha, Romain Rouvoy
article
24th International IEEE Conference on Software Analysis, Evolution and Reengineering (SANER), Feb 2017, Klagenfurt, Austria. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403485/file/carette-saner-17.pdf BibTex
titre
Automated Setup of Multi-Cloud Environments for Microservices Applications
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
2016 IEEE 9th International Conference on Cloud Computing (CLOUD'16), Jun 2016, San Francisco, United States. pp.327-334, ⟨10.1109/CLOUD.2016.0051⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01312606/file/cloud2016_10527.pdf BibTex
titre
WattsKit: Software-Defined Power Monitoring of Distributed Systems
auteur
Maxime Colmant, Pascal Felber, Romain Rouvoy, Lionel Seinturier
article
17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), May 2017, Madrid, Spain. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01439889/file/colmant-ccgrid17-camera-ready.pdf BibTex
titre
Language Support for Modular Autonomic Managers in Reconfigurable Software Components
auteur
Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier
article
SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01575353/file/SeAC.pdf BibTex
titre
Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset
auteur
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, Martin Monperrus
article
ESEC/FSE 2017 - 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Sep 2017, Paderborn, Germany. pp.1936-1964, ⟨10.1007/s10664-016-9470-4⟩
Accès au bibtex
BibTex
titre
Production-Driven Patch Generation
auteur
Thomas Durieux, Youssef Hamadi, Martin Monperrus
article
Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track, May 2017, Buenos Aires, Argentina. pp.23-26, ⟨10.1109/ICSE-NIER.2017.8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01463689/file/main.pdf BibTex
titre
Principles of Antifragile Software
auteur
Martin Monperrus
article
Proceedings of the Salon des Refusés, 2017, Brussels, Belgium. ⟨10.1145/3079368.3079412⟩
Accès au bibtex
https://arxiv.org/pdf/1404.3056 BibTex
titre
Impact of Tool Support in Patch Construction
auteur
Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon
article
26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2017, Santa Barbara, United States. pp.237--248, ⟨10.1145/3092703.3092713⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01575214/file/issta.pdf BibTex

Chapitre d'ouvrage

titre
Contracts-based Control Integration into Software Systems
auteur
Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
article
Rogerio de Lemos; David Garlan; Carlo Ghezzi; Holger Giese. Software Engineering for Self-Adaptive Systems 3: Assurances, 9640, ⟨Springer⟩, 2017, LNCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257205/file/sefsasb3-paper.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Companion Proceedings 11th European Conference on Software Architecture (ECSA 2017)
auteur
Tomas Bures, Rogério de Lemos, Khalil Drira, Laurence Duchien, Raffaela Mirandola, Catia Trubiani, Jennifer Benedí
article
ECSA '17: Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings, Sep 2017, Canterbury, United Kingdom. 2p., 2017
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01583947/file/Tool-demo-and-others.pdf BibTex

Autre publication

titre
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact)
auteur
Bo Zhang, Filip Křikava, Romain Rouvoy, Lionel Seinturier
article
2017, pp.3. ⟨10.4230/DARTS.3.1.1⟩
Accès au bibtex
BibTex

Rapport

titre
The Patches of the Nopol Automatic Repair System on the Bugs of Defects4J version 1.1.0
auteur
Thomas Durieux, Benjamin Danglot, Zhongxing Yu, Matias Martinez, Simon Urli, Martin Monperrus
article
[Research Report] hal-01480084, Université Lille 1 - Sciences et Technologies. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01480084/file/main.pdf BibTex

Pré-publication, Document de travail

titre
The Emerging Field of Test Amplification: A Survey
auteur
Martin Monperrus, Benjamin Danglot, Oscar Luis Vera-Perez, Zhongxing Yu, Benoit Baudry
article
2017
Accès au bibtex
https://arxiv.org/pdf/1705.10692 BibTex
titre
Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness
auteur
Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus
article
2017
Accès au bibtex
https://arxiv.org/pdf/1703.00198 BibTex

2016

Article dans une revue

titre
soCloud: A service-oriented component-based PaaS for managing portability, provisioning, elasticity, and high availability across multiple clouds
auteur
Fawaz Paraiso, Philippe Merle, Lionel Seinturier
article
Springer Computing, Springer, 2016, 98 (5), pp.539-565. ⟨10.1007/s00607-014-0421-x⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01019385/file/paper.pdf BibTex
titre
SALOON: a platform for selecting and configuring cloud environments
auteur
Clément Quinton, Daniel Romero, Laurence Duchien
article
Software: Practice and Experience, Wiley, 2016, 46, pp.55-78. ⟨10.1002/spe.2311⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103560/file/SPE.pdf BibTex
titre
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2016, ⟨10.1016/j.jss.2016.02.027⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354999/file/jss.pdf BibTex
titre
Casper: Automatic Tracking of Null Dereferences to Inception with Causality Traces
auteur
Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus
article
Journal of Systems and Software, Elsevier, 2016, 122, pp.52-62. ⟨10.1016/j.jss.2016.08.062⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354090/file/casper-debugging-null-dereferences.pdf BibTex
titre
B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis
auteur
Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus
article
Information and Software Technology, Elsevier, 2016, 76, pp.65-80. ⟨10.1016/j.infsof.2016.04.016⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309004/file/banana-refactoring.pdf BibTex

Communication dans un congrès

titre
Are REST APIs for Cloud Computing Well-Designed? An Exploratory Study
auteur
Petrillo Fabio, Philippe Merle, Naouel Moha, Yann-Gaël Guéhéneuc
article
14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Canada. pp.157 - 170
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01352738/file/icsoc16-final.pdf BibTex
titre
Mutation-Based Graph Inference for Fault Localization
auteur
Vincenzo Musco, Martin Monperrus, Philippe Preux
article
International Working Conference on Source Code Analysis and Manipulation, Oct 2016, Raleigh, United States. ⟨10.1109/SCAM.2016.24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350515/file/scam16.pdf BibTex
titre
Extending Feature Models with Relative Cardinalities
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. ⟨10.1145/2934466.2934475⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01312751/file/SPLC_2016_paper_33%20%282%29.pdf BibTex
titre
Software Product Lines for Multi-Cloud Microservices Configuration
auteur
Gustavo Sousa
article
Journées Cloud GdR RSD, Sep 2016, Nice, France
Accès au bibtex
BibTex
titre
Towards Privacy-Preserving Data Dissemination in Crowd-Sensing Middleware Platform
auteur
Romain Sommerard, Romain Rouvoy
article
11èmes journées francophones Mobilité et Ubiquité (UbiMob'16), Jul 2016, Lorient, France. pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01332588/file/sommerard-ubimob16.pdf BibTex
titre
Gestion de ressources multi-nuages dirigé par des modèles
auteur
Fawaz Paraiso, Yahya Al-Dhuraibi, Stéphanie Challita, Philippe Merle
article
Compas , Jul 2016, Lorient, France. pp.7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01534730/file/paper.pdf BibTex
titre
Model-Driven Management of Docker Containers
auteur
Fawaz Paraiso, Stéphanie Challita, Yahya Al-Dhuraibi, Philippe Merle
article
9th IEEE International Conference on Cloud Computing (CLOUD), Jun 2016, San Francisco, United States. pp.718 - 725, ⟨10.1109/CLOUD.2016.0100⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01314827/file/paper.pdf BibTex
titre
Self-Balancing Job Parallelism and Throughput in Hadoop
auteur
Bo Zhang, Filip Křikava, Romain Rouvoy, Lionel Seinturier
article
16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.129-143, ⟨10.1007/978-3-319-39577-7_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01294834/file/zhang-dais16.pdf BibTex
titre
Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints
auteur
Pierre Laperdrix, Walter Rudametkin, Benoit Baudry
article
37th IEEE Symposium on Security and Privacy (S&P 2016), May 2016, San Jose, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285470/file/beauty-sp16.pdf BibTex
titre
A Learning Algorithm for Change Impact Prediction
auteur
Vincenzo Musco, Antonin Carette, Martin Monperrus, Philippe Preux
article
5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, May 2016, Austin, United States. pp.8-14, ⟨10.1145/2896995.2896996⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01279620/file/main.pdf BibTex
titre
Reproducing Context-sensitive Crashes of Mobile Apps using Crowdsourced Monitoring
auteur
María Gómez, Romain Rouvoy, Bram Adams, Lionel Seinturier
article
IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'16), May 2016, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276926/file/gomez-mobilesoft16-preprint.pdf BibTex
titre
An Empirical Study of the Performance Impacts of Android Code Smells
auteur
Geoffrey Hecht, Naouel Moha, Romain Rouvoy
article
IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'16), May 2016, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01276904/file/hecht-mobilesoft16-preprint.pdf BibTex
titre
Mining Test Repositories for Automatic Detection of UI Performance Regressions in Android Apps
auteur
Maria Gomez, Romain Rouvoy, Bram Adams, Lionel Seinturier
article
13th International Conference on Mining Software Repositories (MSR'16), May 2016, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01280784/file/gomez-msr16-preprint.pdf BibTex
titre
Software Product Lines for Multi-Cloud Microservices-Based Applications
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
6th International Workshop on Cloud Data and Platforms (CloudDP), http://clouddp2016.inesctec.pt/, Apr 2016, London, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01302184/file/CloudDP_2016_paper_1.pdf BibTex
titre
Squirrel: Architecture Driven Resource Management
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Walter Rudametkin, Olivier Barais, Francois Fouquet
article
SAC - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. ⟨10.1145/0000000.0000000⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355000/file/typeinst.pdf BibTex
titre
ASTOR: A Program Repair Library for Java
auteur
Matias Martinez, Martin Monperrus
article
Proceedings of ISSTA, Demonstration Track, 2016, Saarbrücken, Germany. pp.441-444, ⟨10.1145/2931037.2948705⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01321615/file/astor.pdf BibTex
titre
DynaMoth: Dynamic Code Synthesis for Automatic Program Repair
auteur
Thomas Durieux, Martin Monperrus
article
11th International Workshop in Automation of Software Test, May 2016, Austin, United States. ⟨10.1145/2896921.2896931⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01279233/file/main.pdf https://hal.archives-ouvertes.fr/hal-01279233/file/brutpol_algo.pdf https://hal.archives-ouvertes.fr/hal-01279233/file/intersection.pdf BibTex

HDR

titre
On Oracles for Automated Diagnosis and Repair of Software Bugs
auteur
Martin Monperrus
article
Software Engineering [cs.SE]. Université de Lille 2016
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01321718/file/hdr-monperrus-martin.pdf BibTex

Autre publication

titre
APISENSE®: Mobile crowd-sensing made easy!
auteur
Romain Rouvoy
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01332594/file/ECAAS-APISENSE.pdf BibTex

Poster

titre
Traitement de signaux irrégulièrement échantillonnés issus du mobile crowd-sensing pour la surveillance de la qualité de l’air
auteur
Clément Dorffer, Matthieu Puigt, Gilles Delmaire, Gilles Roussel, Romain Rouvoy
article
Innovatives Big Data, Oct 2016, Paris, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01371240/file/A0_BigData_LISIC-CRIStAL.pdf BibTex

Rapport

titre
Towards Model-Driven Multi-Cloud Resource Management
auteur
Fawaz Paraiso, Stéphanie Challita, Yahya Al-Dhuraibi, Philippe Merle
article
[Research Report] Inria Lille - Nord Europe. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01534785/file/CrossCloud.pdf BibTex
titre
Extending Feature Models with Relative Cardinalities
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
[Research Report] RR-8843, Université Lille 1; CRIStAL UMR 9189; Inria Lille - Nord Europe. 2016, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01257909/file/RR-8843.pdf BibTex
titre
IntroClassJava: A Benchmark of 297 Small and Buggy Java Programs
auteur
Thomas Durieux, Martin Monperrus
article
[Research Report] hal-01272126, Universite Lille 1. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01272126/file/main.pdf BibTex

Thèse

titre
Self-optimization of Infrastructure and Platform Resources in Cloud Computing
auteur
Bo Zhang
article
Computer Science [cs]. Lille1, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01417289/file/BoZHANG-The%CC%80se.pdf BibTex
titre
Towards Improving the Quality of Mobile Apps by Leveraging Crowdsourced Feedback
auteur
Maria Gomez
article
Software Engineering [cs.SE]. Universite Lille 1; Inria Lille - Nord Europe, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01418298/file/2016_gomez_thesis-final.pdf BibTex
titre
Détection et analyse de l’impact des défauts de code dans les applications mobiles
auteur
Geoffrey Hecht
article
Génie logiciel [cs.SE]. Université Lille 1 : Sciences et Technologies; Université du Québec à Montréal, 2016. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01418158/file/main.pdf BibTex
titre
Multi-Dimensional Analysis of Software Power Consumptions in Multi-Core Architectures
auteur
Maxime Colmant
article
Software Engineering [cs.SE]. Université Lille 1 - Sciences et Technologies, 2016. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01403559/file/colmant-thesis.pdf BibTex

Pré-publication, Document de travail

titre
Production-Driven Patch Generation and Validation
auteur
Thomas Durieux, Youssef Hamadi, Martin Monperrus
article
2016
Accès au bibtex
https://arxiv.org/pdf/1609.06848 BibTex
titre
BanditRepair: Speculative Exploration of Runtime Patches
auteur
Thomas Durieux, Youssef Hamadi, Martin Monperrus
article
2016
Accès au bibtex
https://arxiv.org/pdf/1603.07631 BibTex

2015

Article dans une revue

titre
Monitoring Energy Hotspots in Software
auteur
Adel Noureddine, Romain Rouvoy, Lionel Seinturier
article
Journal of Automated Software Engineering, Springer, 2015, 22 (3), pp.291-332
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01069142/file/noureddine-ause-2015.pdf BibTex
titre
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
auteur
Benoit Baudry, Martin Monperrus
article
ACM Computing Surveys, Association for Computing Machinery, 2015, 48, pp.1-26. ⟨10.1145/2807593⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182103/file/main.pdf BibTex
titre
A Temporal QoS Ontology for ERTMS/ETCS
auteur
Marc Sango, Olimpia Hoinaru, Christophe Gransart, Laurence Duchien
article
International Journal of Computer, Information, Systems and Control Engineering, 2015, 9 (1), pp.7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01110240/file/paper-ICKEOE.pdf BibTex
titre
Exception Handling Analysis and Transformation Using Fault Injection: Study of Resilience Against Unanticipated Exceptions
auteur
Benoit Cornu, Lionel Seinturier, Martin Monperrus
article
Information and Software Technology, Elsevier, 2015, Information and Software Technology, 57, pp.66-76. ⟨10.1016/j.infsof.2014.08.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01062969/file/exception-analysis-resilience-ist.pdf BibTex
titre
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench
auteur
Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus, François Fouquet
article
Software and Systems Modeling, Springer Verlag, 2015, 14 (2), pp.905-920. ⟨10.1007/s10270-013-0354-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00829839/file/mashup-of-meta-languages.pdf BibTex
titre
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
auteur
Matias Martinez, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2015, 20 (1), pp.176-205. ⟨10.1007/s10664-013-9282-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903808/file/mining-software-repair-models.pdf BibTex
titre
Multitier diversification in Web-based software applications
auteur
Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire
article
IEEE Software, Institute of Electrical and Electronics Engineers, 2015, 32 (1), pp.83--90. ⟨10.1109/MS.2014.150⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01089268/file/final-multi-tier.pdf BibTex
titre
Spoon: A Library for Implementing Analyses and Transformations of Java Source Code
auteur
Renaud Pawlak, Martin Monperrus, Nicolas Petitprez, Carlos Noguera, Lionel Seinturier
article
Software: Practice and Experience, Wiley, 2015, 46, pp.1155-1179. ⟨10.1002/spe.2346⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01078532/file/article.pdf BibTex

Communication dans un congrès

titre
Modèles comportementaux pour le contrôle de composants logiciels autonomes
auteur
Frederico Alvares de Oliveira, Eric Rutten, Lionel Seinturier
article
MSR 2015 - Modélisation des Systèmes Réactifs, Nov 2015, Nancy, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224291/file/paper%2014.pdf BibTex
titre
Tracking the Software Quality of Android Applications along their Evolution
auteur
Geoffrey Hecht, Benomar Omar, Romain Rouvoy, Naouel Moha, Laurence Duchien
article
30th IEEE/ACM International Conference on Automated Software Engineering, Nov 2015, Lincoln, Nebraska, United States. pp.12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178734/file/hecht-ase15-preprint.pdf BibTex
titre
Infrastructure as Runtime Models - Towards Model-Driven Resource Management
auteur
Filip Krikava, Romain Rouvoy, Lionel Seinturier
article
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), Sep 2015, Ottawa, Canada. pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178730/file/models15-preprint.pdf BibTex
titre
SmartyCo: Managing Cyber-Physical Systems for Smart Environments
auteur
Daniel Romero, Clément Quinton, Laurence Duchien, Lionel Seinturier, Carolina Valdez
article
9th European Conference, ECSA 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.294-302
Accès au bibtex
BibTex
titre
Using Feature Models for Distributed Deployment in Extended Smart Home Architecture
auteur
Amal Tahri, Laurence Duchien, Jacques Pulou
article
9th European Conference, ECSA 2015, Danny weyns; Raffaela Mirandola; Ivica Crnkovic, Sep 2015, Dubrovnick, Croatia. pp.285-293
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01180556/file/ECSA-Hal.pdf BibTex
titre
High-level Language Support for the Control of Reconfigurations in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
9th European Conference on Software Architecture (ECSA), Danny weyns; Raffaela Mirandola; Ivica Crnkovic, Sep 2015, Dubrovnick, Croatia. pp.285-293
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01160612/file/main.pdf BibTex
titre
TTC'2015 Case: Refactoring Java Programs using Spoon
auteur
Gérard Paligot, Nicolas Petitprez, Martin Monperrus
article
Transformation Tool Contest, Jul 2015, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185189/file/TTC_2015_submission_spoon.pdf BibTex
titre
TTC’15 Live Contest Case Study: Transformation of Java Annotations
auteur
Filip Křikava, Martin Monperrus
article
Transformation Tool Contest, Louis Rose; Tassilo Horn; Filip Krikava, Jul 2015, L'aquila, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242942/file/case-description.pdf BibTex
titre
OCCIware - A Formal and Tooled Framework for Managing Everything as a Service
auteur
Jean Parpaillon, Philippe Merle, Olivier Barais, Marc Dutoo, Fawaz Paraiso
article
Projects Showcase @ STAF'15, Jul 2015, L'Aquila, Italy. pp.18 - 25
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01188826/file/occiware_staf15.pdf BibTex
titre
Behavioural Model-based Control for Autonomic Software Components
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
12th IEEE International Conference on Autonomic Computing (ICAC), IEEE, Jul 2015, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01143196/file/main.pdf BibTex
titre
Self-configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster
auteur
Bo Zhang, Filip Křikava, Romain Rouvoy, Lionel Seinturier
article
ICAC 2015, Jul 2015, Grenoble, France. pp.149-150
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01143157/file/icac15-paper.pdf BibTex
titre
Estimation de la consommation des systèmes logiciels sur des architectures multi-coeurs
auteur
Maxime Colmant, Romain Rouvoy, Lionel Seinturier
article
Compas, Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01171696/file/paper.pdf BibTex
titre
A Precise Metamodel for Open Cloud Computing Interface
auteur
Philippe Merle, Olivier Barais, Jean Parpaillon, Noël Plouzeau, Samir Tata
article
8th IEEE International Conference on Cloud Computing (CLOUD 2015), IEEE, Jun 2015, New York, United States. pp.852 - 859, ⟨10.1109/CLOUD.2015.117⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01188800/file/8713.pdf BibTex
titre
An Experimental Protocol for Analyzing the Accuracy of Software Error Impact Analysis
auteur
Vincenzo Musco, Martin Monperrus, Philippe Preux
article
Tenth IEEE/ACM International Workshop on Automation of Software Test, May 2015, Florence, Italy. ⟨10.1109/AST.2015.20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120913/file/paper.pdf BibTex
titre
An Approach to Detect Android Antipatterns
auteur
Geoffrey Hecht
article
ICSE 2015 - ACM SRC, May 2015, Firenze, Italy
Accès au bibtex
BibTex
titre
When App Stores Listen to the Crowd to Fight Bugs in the Wild
auteur
Maria Gomez, Matias Martinez, Martin Monperrus, Romain Rouvoy
article
37th International Conference on Software Engineering (ICSE), track on New Ideas and Emerging Results (NIER), May 2015, Firenze, Italy. pp.4, ⟨10.1109/ICSE.2015.195⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105173/file/NIER15-preprint.pdf BibTex
titre
Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification
auteur
Pierre Laperdrix, Walter Rudametkin, Benoit Baudry
article
Proceedings of the IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015, Firenze, Italy. pp.98-108
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01121108/file/blink-seams15.pdf BibTex
titre
Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems
auteur
Sebastian Gotz, Ilias Gerostathopoulos, Filip Krikava, Adnan Shahzada, Romina Spalazzese
article
Proceedings of 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2015, Firenze, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01119490/file/dprm.pdf BibTex
titre
Software Engineering Meets Control Theory
auteur
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas d'Ippolito, Ilias Gerostathopoulos, Andreas Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Papadopoulos, Suprio Ray, Amir Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
article
Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015, Firenze, Italy. pp.71-82
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01119461/file/paper.pdf BibTex
titre
A Recommender System of Buggy App Checkers for App Store Moderators
auteur
Maria Gomez, Romain Rouvoy, Martin Monperrus, Lionel Seinturier
article
2nd ACM International Conference on Mobile Software Engineering and Systems, May 2015, Firenze, Italy. ⟨10.1109/MobileSoft.2015.8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01117376/file/mobilesoft2015-gomez-final.pdf BibTex
titre
MOBILESoft: G: Debugging of Mobile Apps in the Wild Guided by the Wisdom of the Crowd
auteur
Maria Gomez
article
2nd International Conference on Mobile Software Engineering and Systems - ACM Student Reasearch Competition, May 2015, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01130642/file/mariagomez.pdf BibTex
titre
Process-level Power Estimation in VM-based Systems
auteur
Maxime Colmant, Mascha Kurpicz, Pascal Felber, Loïc Huertas, Romain Rouvoy, Anita Sobe
article
European Conference on Computer Systems (EuroSys), Apr 2015, Bordeaux, France. pp.14, ⟨10.1145/2741948.2741971⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01130030/file/paper.pdf BibTex
titre
Optimizing Service Protection with Model Driven Security@run.time
auteur
Francis Wendpanga, Frédérique Biennier, Philippe Merle
article
9th International IEEE Symposium on Service-Oriented System Engineering - IEEE SOSE 2015, Mar 2015, Redwood City, United States. pp.50-58
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01109967/file/sose.pdf BibTex
titre
Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help
auteur
Jifeng Xuan, Xiaoyuan Xie, Martin Monperrus
article
ESEC/FSE 2015 - 10th Joint Meeting on Foundations of Software Engineering, NIER Track, Aug 2015, Bergamo, Italy. pp.910-913, ⟨10.1145/2786805.2803206⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01172102/file/main.pdf https://hal.archives-ouvertes.fr/hal-01172102/file/flow.pdf https://hal.archives-ouvertes.fr/hal-01172102/file/framework.pdf BibTex

Chapitre d'ouvrage

titre
A Cloud-based Infrastructure for Crowdsourcing Data from Mobile Devices
auteur
Nicolas Haderer, Fawaz Paraiso, Christophe Ribeiro, Philippe Merle, Romain Rouvoy, Lionel Seinturier
article
Wenjun Wu. Cloud-based Software Crowdsourcing, Springer, pp.243-265, 2015, 978-3-662-47011-4
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel
auteur
Xavier Blanc, Laurence Duchien
article
7eme journées du GDR Génie de la Programmation et du Logiciel, Jun 2015, Bordeaux, France. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01169584/file/201505_actes-gdr-gpl.pdf BibTex

HDR

titre
Intergiciel d'intergiciels adaptable à base de Services, Composants et Aspects
auteur
Philippe Merle
article
Calcul parallèle, distribué et partagé [cs.DC]. Université Lille 1 Sciences et Technologies, 2015
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01206244/file/HDR%20Philippe%20Merle%202015.pdf BibTex

Poster

titre
Model-Driven Multi-Cloud Resource Management
auteur
Fawaz Paraïso, Jean Parpaillon, Philippe Merle
article
EIT Digital Future Cloud Symposium présenté, Oct 2015, RENNES, France. 2015
Accès au bibtex
BibTex
titre
Process-level Power Estimation in Multi-core Architectures
auteur
Maxime Colmant, Romain Rouvoy, Lionel Seinturier
article
Compas, Jun 2015, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01171704/file/poster.pdf BibTex
titre
Process-level Power Estimation in VM-based Systems
auteur
Maxime Colmant, Mascha Kurpicz, Pascal Felber, Loïc Huertas, Romain Rouvoy, Anita Sobe
article
European Conference on Computer Systems (EuroSys) - Poster session, Apr 2015, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01132495/file/poster_v2.pdf BibTex

Rapport

titre
Reproducing Context-sensitive Crashes in Mobile Apps using Crowdsourced Debugging
auteur
Maria Gomez, Romain Rouvoy, Lionel Seinturier
article
[Research Report] RR-8731, Inria Lille; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01155597/file/RR-8731-upd.pdf BibTex
titre
Detecting Antipatterns in Android Apps
auteur
Geoffrey Hecht, Romain Rouvoy, Naouel Moha, Laurence Duchien
article
[Research Report] RR-8693, INRIA Lille; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01122754/file/RR-8693.pdf BibTex
titre
High-level Language Support for the Control of Reconfiguration in Component-based Architectures
auteur
Frederico Alvares de Oliveira Jr., Eric Rutten, Lionel Seinturier
article
[Research Report] RR-8669, INRIA Grenoble - Rhône-Alpes; INRIA Lille - Nord Europe; Laboratoire d'Informatique Fondamentale de Lille; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01103548/file/RR-8669.pdf BibTex
titre
Automatic Repair of Infinite Loops
auteur
Sebastian Lamelas, Martin Monperrus
article
[Technical Report] hal-01144026, University of Lille. 2015
Accès au bibtex
BibTex
titre
Casper: Debugging Null Dereferences with Dynamic Causality Traces
auteur
Benoit Cornu, Earl T. Barr, Lionel Seinturier, Martin Monperrus
article
[Research Report] hal-01113988, Inria Lille. 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01113988/file/main.pdf BibTex

Thèse

titre
Automatic Analysis and Repair of Exception Bugs for Java Programs
auteur
Benoit Cornu
article
Software Engineering [cs.SE]. Université de Lille, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01250092/file/main.pdf BibTex
titre
Traceability of Concerns and Observer-Based Verification for Railway Safety-Critical Software
auteur
Marc Sango
article
Software Engineering [cs.SE]. Université de Lille 1, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01208083/file/thesis.pdf BibTex

Pré-publication, Document de travail

titre
A Learning Algorithm for Change Impact Prediction: Experimentation on 7 Java Applications
auteur
Vincenzo Musco, Antonin Carette, Martin Monperrus, Philippe Preux
article
2015
Accès au bibtex
https://arxiv.org/pdf/1512.07435 BibTex
titre
Automatic Software Diversity in the Light of Test Suites
auteur
Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1509.00144 BibTex
titre
Dynamic Analysis can be Improved with Automatic Test Suite Refactoring
auteur
Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1506.01883 BibTex
titre
DSpot: Test Amplification for Automatic Assessment of Computational Diversity
auteur
Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1503.05807 BibTex
titre
Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset
auteur
Thomas Durieux, Matias Martinez, Martin Monperrus, Romain Sommerard, Jifeng Xuan
article
2015
Accès au bibtex
https://arxiv.org/pdf/1505.07002 BibTex
titre
NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java
auteur
Benoit Cornu, Thomas Durieux, Lionel Seinturier, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1512.07423 BibTex
titre
Software that Learns from its Own Failures
auteur
Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1502.00821 BibTex

2014

Article dans une revue

titre
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android
auteur
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2014, 40, pp.617-632. ⟨10.1109/TSE.2014.2322867⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055656/file/full.pdf BibTex
titre
Towards Effective Bug Triage with Software Data Reduction Techniques
auteur
Jifeng Xuan, He Jiang, Yan Hu, Zhilei Ren, Weiqin Zou, Zhongxuan Luo, Xindong Wu
article
IEEE Transactions on Knowledge and Data Engineering, Institute of Electrical and Electronics Engineers, 2014, ⟨10.1109/TKDE.2014.2324590⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018934/file/140421_ReductionBugTriage_Paper_R3_2127.pdf BibTex
titre
QoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach
auteur
Gabriel Tamura, Rubby Casallas, Anthony Cleve, Laurence Duchien
article
Science of Computer Programming, Elsevier, 2014, Selected best papers from the 7th International Workshop on Formal Aspects of Component Software (FACS 2010), 94 (3), pp.25. ⟨10.1016/j.scico.2013.12.003⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911844/file/SCICO-D-11-00245R3.pdf BibTex

Communication dans un congrès

titre
An Empirical Study of the Impact of Cloud Patterns on Quality of Service (QoS)
auteur
Geoffrey Hecht, Benjamin Jose-Scheidt, Clément de Figueiredo, Naouel Moha, Foutse Khomh
article
IEEE CloudCom 2014, Dec 2014, Singapour, Singapore
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088298/file/main.pdf BibTex
titre
Challenges for Automatic Multi-Cloud Configuration
auteur
Gustavo Sousa, Walter Rudametkin, Laurence Duchien
article
JLDP 14 - Journée Lignes de Produits, Dec 2014, Luxembourg, Dec 2014, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093220/file/doc-article-hermes%20%281%29.pdf BibTex
titre
Improving the Energy Efficiency of Software Systems for Multi-Core Architectures
auteur
Maxime Colmant, Romain Rouvoy, Lionel Seinturier
article
Middleware 2014 Doctoral Symposium, Dec 2014, Bordeaux, France. ⟨10.1145/2684080.2684081⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01078822/file/paper.pdf BibTex
titre
Test Case Purification for Improving Fault Localization
auteur
Jifeng Xuan, Martin Monperrus
article
FSE - 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Nov 2014, Hong Kong, China. ⟨10.1145/2635868.2635906⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01061911/file/main.pdf BibTex
titre
Contextualised security operation deployment through MDS@run.time architecture
auteur
Wendpanga Francis Ouedraogo, Frédérique Biennier, Philippe Merle
article
ISC 2014 - Intelligent Service Clouds Workshop at the 12th International Conference on Services Oriented Computing 2014, Nov 2014, Paris, France. pp.201-212
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01088034/file/ISC-2014.pdf BibTex
titre
Effective Bug Triage based on Historical Bug-Fix Information
auteur
Hao Hu, Hongyu Zhang, Jifeng Xuan, Weigang Sun
article
ISSRE - The 25th IEEE International Symposium on Software Reliability Engineering, 2014, IEEE, Nov 2014, Naples, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087444/file/140831_BugFixer_ISSRE_1811.pdf BibTex
titre
A Framework for Automated and Composable Testing of Component-based Services
auteur
Miguel A. Jiménez, Angela Villotta Gomez, Norha M. Villegas, Gabriel Tamura, Laurence Duchien
article
Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments, Sep 2014, Victoria BC, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055906/file/MESOCA-Pascani-2014.pdf BibTex
titre
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems
auteur
Marco Biazzini, Martin Monperrus, Benoit Baudry
article
ICSME - 30th IEEE International Conference on Software Maintenance and Evolution, Sep 2014, Victoria, Canada. pp.261-270, ⟨10.1109/ICSME.2014.48⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01063789/file/main.pdf BibTex
titre
Learning to Combine Multiple Ranking Metrics for Fault Localization
auteur
Jifeng Xuan, Martin Monperrus
article
ICSME - 30th International Conference on Software Maintenance and Evolution, Sep 2014, Victoria, Canada. ⟨10.1109/ICSME.2014.41⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018935/file/icsme_14.pdf BibTex
titre
Consistency Checking for the Evolution of Cardinality-based Feature Models
auteur
Clément Quinton, Andreas Pleuss, Daniel Le Berre, Laurence Duchien, Goetz Botterweck
article
SPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. pp.122-131
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01054604/file/splc.pdf BibTex
titre
Component-based modeling and observer-based verification for railway safety-critical applications
auteur
Marc Sango, Laurence Duchien, Christophe Gransart
article
11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. p 248-266
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01197464/file/doc00022227.pdf BibTex
titre
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations
auteur
Filip Krikava, Philippe Collet, Robert France
article
MODELS - 17th International Conference on Model Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01010339/file/models14-paper.pdf BibTex
titre
Solving the TTC'14 FIXML Case Study with SIGMA
auteur
Filip Krikava, Philippe Collet
article
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, University of York, United Kingdom, Jul 2014, York, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01015149/file/ttc14-fixml.pdf BibTex
titre
Learning from evolved next release problem instances
auteur
Zhilei Ren, He Jiang, Jifeng Xuan, Shuwei Zhang, Zhongxuan Luo
article
GECCO - Genetic and Evolutionary Computation Conference, 2014, ACM SIGEVO, Jul 2014, Vancouver, BC, Canada. pp.189 - 190, ⟨10.1145/2598394.2598427⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087436/file/pap299-he.pdf BibTex
titre
Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles
auteur
Clément Quinton, Daniel Romero, Laurence Duchien
article
IEEE CLOUD 2014, Jun 2014, Anchorage, United States. pp.144-151
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00965836/file/cloud.pdf BibTex
titre
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
auteur
Matias Martinez, Westley Weimer, Martin Monperrus
article
ICSE - 36th IEEE International Conference on Software Engineering - New Ideas and Emerging Results Track, Jun 2014, Hyderabad, India. ⟨10.1145/2591062.2591114⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00965410/file/article.pdf BibTex
titre
Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study
auteur
Filip Krikava, Philippe Collet, Romain Rouvoy
article
ICAC - 11th International Conference on Autonomic Computing, USENIX, Jun 2014, Philadelphia, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00991114/file/icac14-paper.pdf BibTex
titre
Gestion contextualisée de la sécurité : implémentation MDS@Runtime avec FraSCAti
auteur
Wendpanga Francis Ouedraogo, Frédérique Biennier, Philippe Merle
article
SAR-SSI 2014 - 9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Saint-Germain-Au-Mont-d'Or (Lyon), France. 10 p
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01088013/file/SARSSI-2014.pdf BibTex
titre
Safety component-based approach and its application to ERTMS/ETCS on-board train control system
auteur
Marc Sango, Christophe Gransart, Laurence Duchien
article
TRA2014 Transport Research Arena 2014, Apr 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918907/file/tra2014_revised.pdf BibTex
titre
Scapegoat: an Adaptive monitoring framework for Component-based systems
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel
article
Working IEEE/IFIP Conference on Software Architecture, IEEE/IFIP, Apr 2014, Syndey, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983045/file/sig-alternate.pdf BibTex
titre
ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures
auteur
Filip Krikava, Philippe Collet, Robert France
article
Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951798/file/dads14-paper.pdf BibTex
titre
Unit Testing of Energy Consumption of Software Libraries
auteur
Adel Noureddine, Romain Rouvoy, Lionel Seinturier
article
Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1200-1205, ⟨10.1145/2554850.2554932⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00912613/file/noureddine-sac-2014.pdf BibTex
titre
Manipulating Models Using Internal Domain-Specific Languages
auteur
Filip Krikava, Philippe Collet, Robert France
article
Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00951803/file/pl14-paper.pdf BibTex
titre
DIVERSIFY: Ecology-inspired software evolution for diversity emergence
auteur
Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhàn Clarke
article
Proceedings of IEEE CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.395-398, ⟨10.1109/CSMR-WCRE.2014.6747203⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916281/file/csmr14-diversify.pdf BibTex
titre
Fine-grained and Accurate Source Code Differencing
auteur
Jean-Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus
article
Proceedings of the International Conference on Automated Software Engineering, 2014, Västeras, Sweden. pp.313-324, ⟨10.1145/2642937.2642982⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01054552/file/main.pdf BibTex
titre
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
auteur
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
article
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, Hyderabad, India. ⟨10.1145/2593735.2593740⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00977798/file/NOPOL-Automatic-Repair-of-Buggy-If-Conditions-and-Missing-Preconditions-with-SMT.pdf BibTex
titre
Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing
auteur
Erwan Abgrall, Sylvain Gombault, Yves Le Traon, Martin Monperrus
article
International Conference on Software Testing, Verification and Validation Workshops, 2014, Cleveland, United States. ⟨10.1109/ICSTW.2014.63⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00979586/file/xss_empirical_study.pdf BibTex
titre
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
auteur
Martin Monperrus
article
International Conference on Software Engineering, 2014, Hyderabad, India. pp.234-242, ⟨10.1145/2568225.2568324⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01054549/file/essay-automatic-repair.pdf BibTex
titre
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
auteur
Benoit Baudry, Simon Allier, Martin Monperrus
article
Proceedings of the International Symposium on Software Testing and Analysis, 2014, San Jose, United States. pp.149-159, ⟨10.1145/2610384.2610415⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00938855/file/sosies.pdf BibTex

Chapitre d'ouvrage

titre
Contrôle de la fiabilité des logiciels à évoluer : un canevas pour le développement incrémental et itératif de logiciels à composants et orientés service
auteur
Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien
article
Abdelhak-Djamel Seriai. Les systèmes logiciels : évolution, maintenance et rénovation (traité IC2, série informatique et si), Hermes Science Publications, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911845/file/waignier-book.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
auteur
Catherine Dubois, Laurence Duchien, Nicole Levy
article
Catherine Dubois; Laurence Duchien; Nicole Levy. France. Conservatoire National des Arts et Métiers, pp.239, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055907/file/201404_actes-gdr-gpl.pdf BibTex
titre
Editorial
auteur
Laurence Duchien, Jean-Louis Giavitto
article
Laurence Duchien and Jean-Louis Giavitto. 33, Technique et Science Informatiques, pp.4, 2014, 3
Accès au bibtex
BibTex

HDR

titre
Contributions to the Autonomy of Ubiquitous Software Systems
auteur
Romain Rouvoy
article
Software Engineering [cs.SE]. Université de Lille 1, Sciences et Technologies, 2014
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01091798/file/RomainRouvoy-HDR-14.pdf BibTex

Brevet

titre
Assets de la ligne de produit YourCast : : assets logiciels utilisés pour réaliser un SDI
auteur
Simon Urli, Mireille Blay-Fornarino, Sébastien Mosser, Daniel Romero
article
France, N° de brevet: IDDN.FR.001.320001.000.S.C.2014.000.31235. 2014
Accès au bibtex
BibTex

Poster

titre
BitWatts: A Process-level Power Monitoring Middleware
auteur
Maxime Colmant, Mascha Kurpicz, Pascal Felber, Loïc Huertas, Romain Rouvoy, Anita Sobe
article
Middleware - Poster session, Dec 2014, Bordeaux, France. 2014, ⟨10.1145/2678508.2678529⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01078825/file/poster.pdf BibTex
titre
Detection of Anti-patterns in Mobile Applications
auteur
Geoffrey Hecht, Laurence Duchien, Naouel Moha, Romain Rouvoy
article
COMPARCH 2014, Jun 2014, Lille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01029994/file/presentation_hecht.pdf BibTex
titre
SARA component approach for the development of railway safety-­critical applications
auteur
Marc Sango, Laurence Duchien, Christophe Gransart
article
ACM SIGSOFT CompArch 2014, Jun 2014, Lille, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01110253/file/poster-cbse.pdf BibTex
titre
Software Evolution Multi-View : From the Smart Home to the Cloud
auteur
Amal Tahri, Laurence Duchien, Jacques Pulou
article
6es Journées Nationales du GDR GPL, Jun 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01012015/file/Poster-06-05-2014_final.pdf BibTex
titre
How energy-efficient is your cloud app?
auteur
Mascha Kurpicz, Maxime Colmant, Loïc Huertas, Anita Sobe, Pascal Felber, Romain Rouvoy
article
Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS), Apr 2014, Neuchâtel, Switzerland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00974400/file/posterWinterschoolMaschaJan17.pdf BibTex

Document associé à des manifestations scientifiques

titre
Self-Adaptation in Highly Distributed Dynamic Systems
auteur
Ilias Gerostathopoulos, Sebastian Götz, Filip Krikava, Adnan Shahzada, Romina Spalazzese
article
Report from the GI Dagstuhl Seminar 14433: Software Engineering for Self-Adaptive Systems, Oct 2014, Dagstuhl, Germany. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01108475/file/abstract.pdf BibTex
titre
Offloading Cyber-Physical Tasks using Mobile Crowdsourcing
auteur
Nicolas Haderer, Christophe Ribeiro, Romain Rouvoy, Lionel Seinturier, Vassili Rivron
article
Crowdsourcing and human computation multidisciplinary workshop, Sep 2014, Auditorium Marie Curie CNRS, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087396/file/mastodons-apisense-14.pdf BibTex
titre
SALOON, a Platform for Selecting and Configuring Cloud Environments
auteur
Clément Quinton, Daniel Romero, Laurence Duchien
article
EIT ICT Labs Future Cloud Symposium, Jun 2014, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01011039/file/poster.pdf BibTex

Rapport

titre
A Recommender System of Buggy App Checkers for App Store Moderators
auteur
Maria Gomez, Romain Rouvoy, Martin Monperrus, Lionel Seinturier
article
[Research Report] RR-8626, Inria Lille; INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01079681/file/RR_BuggyAppCheckers-v2.pdf BibTex
titre
An Energy-efficient Location Provider for Daily Trips
auteur
Julien Duribreux, Romain Rouvoy, Martin Monperrus
article
[Research Report] RR-8586, INRIA. 2014, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01058830/file/RR-8586.pdf BibTex
titre
Automatic Inference of Roadmaps from Raw Mobility Traces
auteur
Mickaël Duruisseau, Romain Rouvoy
article
[Research Report] RR-8585, INRIA. 2014, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01058824/file/RR-8585.pdf BibTex
titre
Recommandations d’architecture pour une optimisation de la configuration d’applications entre le Digital Home et le Cloud
auteur
Laurence Duchien, Clément Quinton, Lionel Seinturier
article
[Rapport de recherche] Livrable L4, Orange - France Télécom. 2014
Accès au bibtex
BibTex
titre
D2.1.2 - CloudML Implementation Documentation - First version
auteur
Alessandro Rossini, Nikolay Nikolov, Daniel Romero, Jörg Domaschka, Kiriakos Kritikos, Tom Kirkham, Arnor Solberg
article
[Research Report] . 2014
Accès au bibtex
BibTex
titre
D3.1.1 - Upperware Prototype
auteur
Amin Bsila, Nicolàs Ferry, Geir Horn, Tom Kirkham, Maciej Malawski, Nikos Parlavantzas, Christian Pérez, Jonathan Rouzaud-Cornabas, Daniel Romero, Alessandro Rossini, Arnor Solberg, Hui Song
article
[Research Report] 2014
Accès au bibtex
BibTex
titre
Rapport de prospective sur l'interopérabilité dans le monde du Cloud et du SaaS
auteur
Clément Quinton, Daniel Romero, Laurence Duchien, Lionel Seinturier
article
[Rapport de recherche] Inria. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01256654/file/l51.pdf BibTex
titre
Handling Constraints in Cardinality-Based Feature Models: The Cloud Environment Case Study
auteur
Clément Quinton, Daniel Romero, Laurence Duchien
article
[Research Report] RR-8478, INRIA. 2014, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00946922/file/RR-8478.pdf BibTex
titre
Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis
auteur
Matias Martinez, Laurence Duchien, Martin Monperrus
article
[Technical Report] hal-01075938, Inria. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01075938/file/bug-fix-pattern-identification.pdf https://hal.archives-ouvertes.fr/hal-01075938/file/figures%2FfigureHunk_reduce.pdf https://hal.archives-ouvertes.fr/hal-01075938/file/figures%2FfigureVCS_reduce.pdf BibTex
titre
ASTOR: Evolutionary Automatic Software Repair for Java
auteur
Matias Martinez, Martin Monperrus
article
[Technical Report] hal-01075976, Inria. 2014
Accès au bibtex
https://arxiv.org/pdf/1410.6651 BibTex
titre
Debugging with the Crowd: a Debug Recommendation System based on Stackoverflow
auteur
Martin Monperrus, Anthony Maia
article
[Research Report] hal-00987395, Université Lille 1 - Sciences et Technologies. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00987395/file/article.pdf BibTex
titre
Analysis and Exploitation of Natural Software Diversity: The Case of API Usages
auteur
Diego Mendez, Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01095501, Inria. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095501/file/analysis-exploitation-api-diversity.pdf BibTex
titre
A Generative Model of Software Dependency Graphs to Better Understand Software Evolution
auteur
Vincenzo Musco, Martin Monperrus, Philippe Preux
article
[Technical Report] hal-01078716, Inria. 2014
Accès au bibtex
https://arxiv.org/pdf/1410.7921 BibTex
titre
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
auteur
Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01067782, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01067782/file/survey-software-diversity.pdf BibTex
titre
Challenging Analytical Knowledge On Exception-Handling: An Empirical Study of 32 Java Software Packages
auteur
Martin Monperrus, Maxence Germain de Montauzan, Benoit Cornu, Raphael Marvie, Romain Rouvoy
article
[Technical Report] hal-01093908, Laboratoire d'Informatique Fondamentale de Lille. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01093908/file/empirical-study-exceptions-v20141211.pdf BibTex

Thèse

titre
APISENSE® : une plate-forme répartie pour la conception,le déploiement et l'exécution de campagnes de collecte de données sur des terminaux intelligents
auteur
Nicolas Haderer
article
Informatique mobile. Université des Sciences et Technologie de Lille - Lille I, 2014. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01087240/file/haderer-thesis.pdf BibTex
titre
Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach
auteur
Clément Quinton
article
Software Engineering [cs.SE]. Université Lille 1, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01079956/file/thesis.pdf BibTex
titre
Extraction and Analysis of Knowledge for Automatic Software Repair
auteur
Matias Martinez
article
Software Engineering [cs.SE]. Université Lille 1, 2014. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01078911/file/manuscript-mmartinez.pdf BibTex
titre
Une approche agile, fiable et minimale pour le maintien de la qualité de service lors de l'évolution d'applications à base de processus métiers
auteur
Alexandre Feugas
article
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2014. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01073193/file/main.pdf BibTex
titre
soCloud : une plateforme multi-nuages distribuée pour la conception, le déploiement et l'exécution d'applications distribuées à large échelle
auteur
Fawaz Paraiso
article
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2014. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01009918/file/paraiso-thesis.pdf BibTex
titre
Towards a Better Understanding of the Energy Consumption of Software Systems
auteur
Adel Noureddine
article
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2014. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00961346/file/noureddine-thesis-2014.pdf BibTex

2013

Communication dans un congrès

titre
Feedbacks Control Loops as 1st Class Entities - The SALTY Experiment
auteur
Romain Rouvoy
article
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511), Dec 2013, Dagstuhl, Germany. pp.12, ⟨10.4230/DagRep.3.12.67⟩
Accès au bibtex
BibTex

Rapport

titre
Engineering Multi-Cloud Service-Oriented Applications
auteur
Fawaz Paraiso, Philippe Merle, Lionel Seinturier
article
[Research Report] Inria Lille - Nord Europe. 2013, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020318/file/paper.pdf BibTex

2012

Direction d'ouvrage, Proceedings, Dossier

titre
Première Conférence en IngénieriE du Logiciel, CIEL'2012
auteur
Philippe Collet, Philippe Merle
article
Jun 2012, Rennes, France. 2012
Accès au bibtex
BibTex

Suivez Inria