Search - Archive ouverte HAL Access content directly

Filter your results

362 Results
Image document

Optimal privacy protection of mobility data: a predictive approach

Emilio Molina , Mirko Fiacchini , Sophie Cerf , Bogdan Robu
22nd IFAC World Congress 2023, Jul 2023, Yokohama, Japan
Conference papers hal-04040962v1
Image document

Configuration Optimization with Limited Functional Impact

Edouard Guégain , Amir Taherkordi , Clément Quinton
CAISE 2023 - 35th International Conference on Advanced Information Systems Engineering, Jun 2023, Zaragoza, Spain
Conference papers hal-04034888v1
Image document

The ICO Tool Suite: Optimizing Highly Configurable Systems

Edouard Guégain , Amirhosein Taherkordi , Clément Quinton
2023
Preprints, Working Papers, ... hal-03874051v2
Image document

Design of Correct-by-Construction Self-adaptive Cloud Applications using Formal Methods

Trinh Le Khanh
Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2023. English. ⟨NNT : ⟩
Theses tel-03979518v1
Image document

Breaking Bad: Quantifying the Addiction of Web Elements to JavaScript

Romain Fouquet , Pierre Laperdrix , Romain Rouvoy
ACM Transactions on Internet Technology, 2023, 23 (1), pp.1-28. ⟨10.1145/3579846⟩
Journal articles hal-03936503v1
Image document

Playing with power at runtime

Raphaël Bleuse , Sophie Cerf , Éric Rutten
JCAD 2022 - Journées calcul et données, Oct 2022, Dijon, France. pp.1-27
Conference papers hal-03940588v1
Image document

MoDMaCAO: a model-driven framework for the design, validation and configuration management of cloud applications based on OCCI

Faiez Zalila , Fabian Korte , Johannes Erbel , Stéphanie Challita , Jens Grabowski et al.
Software and Systems Modeling, 2022, pp.1-17
Journal articles hal-03927522v1
Image document

Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels

Mohammed chakib belgaid
Informatique [cs]. Lille University; Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189; SPIRALS - Self-adaptation for distributed services and large software systems, 2022. Français. ⟨NNT : ⟩
Theses tel-03906025v3
Image document

Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance

Emile Cadorel , Hélène Coullon , Jean-Marc Menaud
CLOUD 2022 - IEEE 15th International Conference on Cloud Computing, Jul 2022, Barcelona, Spain. pp.49-58, ⟨10.1109/CLOUD55607.2022.00021⟩
Conference papers hal-03922772v1
Image document

Zen: LSTM-based generation of individual spatiotemporal cellular traffic with interactions

Anne Josiane Kouam , Aline Carneiro Viana , Alain Tchana
2023
Preprints, Working Papers, ... hal-03910141v1
Image document

Towards Modeling the Power Usage Efficiency of Software-Defined Computing Infrastructures

Guillaume Fieni
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille, 2022. English. ⟨NNT : ⟩
Theses tel-03917088v1
Image document

Ephemeral data handling in microservices with Tquery

Saverio Giallorenzo , Fabrizio Montesi , Larisa Safina , Stefano Pio Zingaro
PeerJ Computer Science, 2022, 8, pp.e1037. ⟨10.7717/peerj-cs.1037⟩
Journal articles hal-03915136v1
Image document

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Simon Bliudze , Petra van den Bos , Marieke Huisman , Robert Rubbens , Larisa Safina et al.
26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France
Conference papers hal-03911393v1
Image document

Towards Understanding Web Applications: Automated Abstraction Inference and its Applications

Sacha Brisset
Computational Engineering, Finance, and Science [cs.CE]. Université de lille; inria lille, 2022. English. ⟨NNT : ⟩
Theses tel-03887742v1
Image document

Leveraging browser fingerprinting to strengthen web authentication

Antonin Durey
Cryptography and Security [cs.CR]. Université de Lille, 2022. English. ⟨NNT : 2022ULILB001⟩
Theses tel-03544475v2
Image document

Multi-variant Execution at the Edge

Javier Cabrera-Arteaga , Pierre Laperdrix , Martin Monperrus , Benoit Baudry
MTD 2022 - 9th ACM Workshop on Moving Target Defense, Nov 2022, Los Angeles, United States. ⟨10.1145/3560828.3564007⟩
Conference papers hal-03824601v1
Image document

Characterizing Prefetchers using CacheObserver

Guillaume Didier , Clémentine Maurice , Antoine Geimer , Walid J Ghandour
IEEE 34th International Symposium on Computer Architecture and High Performance Computing, Nov 2022, Bordeaux, France
Conference papers hal-03798500v1
Image document

CPU Port Contention Without SMT

Thomas Rokicki , Clémentine Maurice , Michael Schwarz
27th European Symposium on Research in Computer Security (ESORICS 2022), Sep 2022, Copenhagen, Denmark. pp.209-228, ⟨10.1007/978-3-031-17143-7_11⟩
Conference papers hal-03798342v1
Image document

A robust control-theory-based exploration strategy in deep reinforcement learning for virtual network embedding

Ghina Dandachi , Sophie Cerf , Yassine Hadjadj-Aoul , Abdelkader Outtagarts , Eric Rutten et al.
Computer Networks, 2022, 218, pp.1-27. ⟨10.1016/j.comnet.2022.109366⟩
Journal articles hal-03792078v1
Image document

SFTM: Fast Matching of Web Pages using Similarity-based Flexible Tree Matching

Sacha Brisset , Romain Rouvoy , Lionel Seinturier , Renaud Pawlak
Information Systems, 2023, ⟨10.1016/j.is.2022.102126⟩
Journal articles hal-03774245v1
Image document

Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption

Zakaria Ournani , Romain Rouvoy , Pierre Rust , Joel Penhoat
ICSOFT, Jul 2021, Virtual Event, France. pp.94-116, ⟨10.1007/978-3-031-11513-4⟩
Conference papers hal-03774328v1
Image document

Empowering Mobile Crowdsourcing Apps with User Privacy Control

Lakhdar Meftah , Romain Rouvoy , Isabelle Chrisment
Journal of Parallel and Distributed Computing, 2020, pp.15. ⟨10.1016/j.jpdc.2020.07.011⟩
Journal articles hal-02910246v1
Image document

Adaptive Power Control for Sober High-Performance Computing

Ismail Hawila , Sophie Cerf , Raphaël Bleuse , Swann Perarnau , Eric Rutten et al.
CCTA 2022 - 6th IEEE Conference on Control Technology and Applications, Aug 2022, Trieste, Italy. pp.1-8
Conference papers hal-03765849v1
Image document

SoK: In Search of Lost Time: A Review of JavaScript Timers in Browsers

Thomas Rokicki , Clémentine Maurice , Pierre Laperdrix
6th IEEE European Symposium on Security and Privacy (EuroS&P'21), Sep 2021, Vienna, Austria
Conference papers hal-03215569v2
Image document

Enabling Dynamic Virtual Frequency Scaling for Virtual Machines in the Cloud

Emile Cadorel , Romain Rouvoy
Proceedings of the the IEEE Cluster Conference, Sep 2022, Heidelberg, Germany
Conference papers hal-03741013v1
Image document

Computing Possible and Certain Answers over Order-Incomplete Data

Antoine Amarilli , Mouhamadou Lamine Ba , Daniel Deutch , Pierre Senellart
Theoretical Computer Science, 2019, 797, pp.42-76. ⟨10.1016/j.tcs.2019.05.013⟩
Journal articles hal-01891814v1

Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)

Simon Bliudze , Laura Bocchi
2022
Books hal-03720404v1
Image document

SAT-Based Extraction of Behavioural Models for Java Libraries with Collections

Larisa Safina , Simon Bliudze
2022
Preprints, Working Papers, ... hal-03720403v1
Image document

On methods and tools for rigorous system design

Simon Bliudze , Panagiotis Katsaros , Saddek Bensalem , Martin Wirsing
International Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.679-684. ⟨10.1007/s10009-021-00632-0⟩
Journal articles hal-03720402v1
Image document

DITTANY: Strength-Based Dynamic Information Flow Analysis Tool for x86 Binaries

Walid J Ghandour , Clémentine Maurice
BAR 2022 - Workshop on Binary Analysis Research, Apr 2022, San Diego, United States
Conference papers hal-03708888v1