Search - Archive ouverte HAL Access content directly

Filter your results

252 Results
producedDateY_i : 2019

Enabling Relevant Dialogue between Users and Autonomic Systems: a Design for Explainable AI for the Smart Home

Etienne Houzé , Ada Diaconescu , Jean-Louis Dessalles , David Menga
Other publications hal-01996461v1
Image document

Computing the $k$-coverage of a wireless network

Anaïs Vergne , Laurent Decreusefond , Philippe Martins
Valuetools 2019, Mar 2019, Palma de Mallorca, Spain
Conference papers hal-01966097v1
Image document

A Misbehavior Authority System for Sybil Attack Detection in C-ITS

Joseph Kamel , Farah Haidar , Ines Ben Jemaa , Arnaud Kaiser , Brigitte Lonc et al.
The IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference – IEEE UEMCON 2019, Oct 2019, New York, United States
Conference papers hal-02316391v1
Image document

Sensitivity to forecast errors in energy storage arbitrage for residential consumers

Diego Kiedanski , Umar Hashmi , Ana Bušić , Daniel Kofman
SmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2019, Beijing, China
Conference papers hal-02163114v2

Work-conserving dynamic time-division multiplexing for multi-criticality systems

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
Real-Time Systems, 2019, ⟨10.1007/s11241-019-09336-w⟩
Journal articles hal-02447512v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1

Evolving, Growing, and Gardening Cyber-physical Systems

Susan Stepney , Ada Diaconescu , René Doursat , Jean-Louis Giavitto , Julian Miller et al.
Experimental Architecture - Designing the Unknown, 2019
Book sections hal-03023230v1
Image document

Complexity of Unique (Optimal) Solutions in Graphs: Vertex Cover and Domination

Olivier Hudry , Antoine Lobstein
Journal of Combinatorial Mathematics and Combinatorial Computing, 2019, 110, pp.217-240
Journal articles hal-01613388v1
Image document

An Experimental Study of the Treewidth of Real-World Graph Data

Silviu Maniu , Pierre Senellart , Suraj Jog
ICDT 2019 – 22nd International Conference on Database Theory, Mar 2019, Lisbon, Portugal. pp.18, ⟨10.4230/LIPIcs.ICDT.2019.12⟩
Conference papers hal-02087763v1
Image document

Information theory: An analysis and design tool for HCI

Wanyu Liu , Antti Oulasvirta , Olivier Rioul , Michel Beaudouin-Lafon , Yves Guiard et al.
CHI 2019 - The ACM CHI Conference on Human Factors in Computing Systems - Workshop on Computational Modeling in Human-Computer Interaction, May 2019, Glasgow, United Kingdom
Conference papers hal-02300784v1
Image document

Leveraging Body Interactions to Support Immersive Analytics

Bruno Fruchard , Arnaud Prouzeau , Olivier Chapuis , Eric Lecolinet
CHI 2019 - The ACM CHI Conference on Human Factors in Computing Systems - Workshop on Interaction Design & Prototyping for Immersive Analytics, May 2019, Glasgow, United Kingdom. 10 p
Conference papers hal-02095993v1

Privacy as a Service: Anonymisation of NetFlow Traces

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Sihem Mesnager , Stéphane Bressan et al.
16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
Conference papers hal-03035791v1