Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1

RTNS 2022: The 30th International Conference on Real-Time Networks and Systems

Yasmina Abdeddaïm , Liliana Cucu-Grosjean , Geoffrey Nelissen , Laurent Pautet
ACM; ACM, 2022, ⟨10.1145/3534879⟩
Proceedings hal-03951192v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1
Image document

Security bootstrapping for Internet of Things

Sameh Khalfaoui
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses tel-03719946v1
Image document

A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart home

Etienne Houzé
Ubiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩
Theses tel-03721520v1

How to measure usable security: Natural strategies in voting protocols1

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Journal of Computer Security, 2022, 30 (3), pp.381-409. ⟨10.3233/JCS-210049⟩
Journal articles hal-03779032v1

Threats to Adversarial Training for IDSs and Mitigation

Hassan Chaitou , Jean Leneutre , Laurent Pautet
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers hal-03801012v1
Image document

The devil hides in the model: Reviewing Blockchain and BFT protocols

Antoine Durand , Gérard Memmi
Blockchain 22 4th International Congress on Blockchain and Applications, Jul 2022, L'Aquila, Italy
Conference papers hal-03860862v1

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1
Image document

Efficient Prior Publication Identification for Open Source Code

Daniele Serafini , Stefano Zacchiroli
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers hal-03735961v1
Image document

Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis

Zeinab Abou Khalil , Stefano Zacchiroli
ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
Conference papers hal-03723556v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models

Eric Senn , Lucie Bourdon , Dominique Blouin
4th International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.677-683, ⟨10.1145/3550356.3563129⟩
Conference papers hal-03905633v1
Image document

New architecture and function to improve autonomy, dynamicity, and intelligence of future network management

Guy Saadon
Networking and Internet Architecture [cs.NI]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT042⟩
Theses tel-03910691v1
Image document

Reinforcement Learning Based Architectures for Dynamic Generation of Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
2022
Other publications hal-03860833v1

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Francesco Belardinelli , Angelo Ferrando , Vadim Malvone
Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles hal-03960910v1