Journal articles

titre

Query Answering with Transitive and Linear-Ordered Data

auteur

Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

article

Journal of Artificial Intelligence Research, 2018, 63, pp.191-264. ⟨10.1613/jair.1.11240⟩

Accès au 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, 2018, 23 (4), pp.2086-2119. ⟨10.1007/s10664-017-9571-8⟩

Accès au texte intégral et 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, In press, 144, pp.382-396. ⟨10.1016/j.jss.2018.07.001⟩

Accès au texte intégral et 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, 2018, 14 (7), pp.3065 – 3075. ⟨10.1109/TII.2017.2772219⟩

Accès au texte intégral et 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, 2018, 14 (2), pp.117 – 142. ⟨10.1007/s11334-018-0312-y⟩

Accès au texte intégral et 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, 2018, pp.33-67. ⟨10.1007/s10664-018-9619-4⟩

Accès au texte intégral et 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, 2018, 11 (2), pp.430-447. ⟨10.1109/TSC.2017.2711009⟩

Accès au texte intégral et 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, 2018, pp.1-33. ⟨10.1007/s10664-018-9653-2⟩

Accès au texte intégral et 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, 2018, 145, pp.52-78. ⟨10.1016/j.jss.2018.07.053⟩

Accès au texte intégral et bibtex

Conference papers

titre

Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy

auteur

Thomas Durieux, Youssef Hamadi, Martin Monperrus

article

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), Oct 2018, Memphis, United States. ⟨10.1109/ISSRE.2018.00012⟩

Accès au 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

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

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

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

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

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

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

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

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

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

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

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

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

titre

Coordinating Vertical Elasticity of both Containers and Virtual Machines

auteur

Yahya Al-Dhuraibi, Faiez Zalila, Nabil Bachir 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

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

Proceedings

titre

VECoS: International Conference on Verification and Evaluation of Computer and Communication Systems

auteur

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez

article

Mohamed Faouzi Atig; Saddek Bensalem; Simon Bliudze; Bruno Monsuez. 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings, Sep 2018, Grenoble, France. 11181, Springer, Cham, 2018, Lecture Notes in Computer Science, 978-3-030-00359-3. ⟨10.1007/978-3-030-00359-3⟩

Accès au bibtex

titre

Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark)

auteur

Raquel Araujo Oliveira, Levi Lucio, Ernesto Posse, Faiez Zalila

article

15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE – MoDeVVa 2018, Oct 2018, 2245, CEUR-WS.org, pp.553-554, 2018, Proceedings of MODELS 2018 Workshops, ISSN: 1613-0073

Accès au bibtex

Reports

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

[0] CNRS. 2018, pp.1-87

Accès au texte intégral et 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

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

Theses

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. ⟨NNT : ⟩

Accès au texte intégral et bibtex

titre

Flexible Framework for Elasticity in Cloud Computing

auteur

Yahya Al-Dhuraibi

article

Computer Science [cs]. Université lille1, 2018. English. ⟨NNT : ⟩

Accès au texte intégral et 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. ⟨NNT : ⟩

Accès au texte intégral et 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. ⟨NNT : ⟩

Accès au texte intégral et bibtex