Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Silvano Dal Zilio
,
Reyyan Tekin
Journal articles
hal-03017661v4
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Attaques inter-protocolaires par détournement du contrôleur Bluetooth d'un téléphone mobile
Romain Cayre
,
Florent Galtier
GT Sécurité des Systèmes, Logiciels et Réseaux , May 2021, En ligne, France
Conference papers
hal-03221148v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Optimizing Vehicle-to-Cloud Data Transfers using Soft Real-Time Scheduling Concepts
Jean Ibarz
,
Michaël Lauer
,
Matthieu Roy
,
Jean-Charles Fabre
,
Olivier Flébus
RTNS 2020: 28th International Conference on Real-Time Networks and Systems , Jun 2020, virtual conference, France. pp.161-171,
⟨10.1145/3394810.3394818⟩
Conference papers
hal-03167058v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
RIDS: Radio intrusion detection and diagnosis system for wireless communications in smart environment
Pierre-François Gimenez
,
Jonathan Roux
,
Eric Alata
,
Guillaume Auriol
,
Mohamed Kaâniche
,
et al.
ACM Transactions on Cyber-Physical Systems , 2021, 5 (3), pp.Article No.: 24.
⟨10.1145/3441458⟩
Journal articles
hal-03123925v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Leveraging polyhedral reductions for solving Petri net reachability problems
Nicolas Amat
,
Silvano Dal Zilio
,
Didier Le Botlan
Journal articles
hal-03973463v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Understanding Microgrid Sustainability: A Systemic and Comprehensive Review
Antoine Boche
,
Clément Foucher
,
Luiz Fernando Lavado Villa
Journal articles
hal-03642707v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer
Alassane Sidibe
,
Gael Loubet
,
Alexandru Takacs
,
Lamoussa Sanogo
,
Daniela Dragomirescu
NewCAS 2023 , IEEE, Jun 2023, Edinburg,, United Kingdom
Conference papers
hal-04157047v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Génération et analyse de tests pour les systèmes autonomes
Clément Robert
Theses
tel-03591139v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images
Raul Sena Ferreira
,
Joris Guérin
,
Jérémie Guiochet
,
Hélène Waeselynck
Conference papers
hal-03779723v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour
Aléxis Génèrès
,
Michaël Lauer
CARS - Critical Automotive applications: Robustness & Safety , Sep 2022, Zaragoza, Spain
Conference papers
hal-03782727v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Out-Of-Distribution Detection Is Not All You Need
Joris Guérin
,
Kevin Delmas
,
Raul Sena Ferreira
,
Jérémie Guiochet
The 37th AAAI conference on artificial intelligence (2023) , Feb 2023, Washington DC, United States
Conference papers
hal-03870531v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés
Malcolm Bourdon
Theses
tel-03572845v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Le jumeau numérique dans le pilotage de performance
Amel Souifi
,
Zohra Cherfi
,
Zolghadri Marc
,
Maher Barkallah
,
Mohamed Haddar
17ème colloque national S-mart AIP-PRIMECA , Université Polytechnique Hauts-de-France [UPHF], Mar 2021, LAVAL VIRTUAL WORLD, France
Conference papers
hal-03296127v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contract-Based Verification of Model Transformations: A Formally Founded Approach
Guillaume Brau
,
Mohammed Foughali
36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021) , Mar 2021, Gwangju (virtual), South Korea
Conference papers
hal-03059942v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A New Product Construction for the Diagnosability of Patterns in Time Petri Net
Éric Lubat
,
Silvano Dal Zilio
,
Didier Le Botlan
,
Yannick Pencolé
,
Audine Subias
Conference papers
hal-02989834v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Remote explainability faces the bouncer problem
Erwan Le Merrer
,
Gilles Trédan
Journal articles
hal-03048809v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection
Yuxiao Mao
,
Vincent Migliore
,
Vincent Nicomette
Conference papers
hal-02949624v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Grafting Arborescences for Extra Resilience of Fast Rerouting Schemes
Klaus-Tycho Foerster
,
Andrzej Kamisinski
,
Yvonne Anne Pignolet
,
Stefan Schmid
,
Gilles Trédan
Infocom 2021 , May 2021, Virtual, France
Conference papers
hal-03048997v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Unifying Evaluation of Machine Learning Safety Monitors
Joris Guérin
,
Raul Sena Ferreira
,
Kevin Delmas
,
Jérémie Guiochet
Conference papers
hal-03765273v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards the certification of vision based systems: modular architecture for airport line detection
Esteban Perrotin
,
Matthieu Roy
,
Ariane Herbulot
,
Michel Devy
,
Fabrice Bousquet
11th European Congress on Embedded Real-Time Systems , Jun 2022, Toulouse, France
Conference papers
hal-03717993v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Skill-based design of dependable robotic architectures
Alexandre Albore
,
David Doose
,
Christophe Grand
,
Jérémie Guiochet
,
Charles Lesire
,
et al.
Journal articles
hal-03927289v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions
Adrien Hereau
,
Karen Godary-Dejean
,
Jérémie Guiochet
,
Didier Crestani
Conference papers
lirmm-03228297v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Implications of Routing Models on Network Optimization
Yvonne-Anne Pignolet
,
Stefan Schmid
,
Gilles Trédan
Journal articles
hal-03278920v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Urban-Scale NO2 Prediction with Sensors Aboard Bicycles: A Comparison of Statistical Methods Using Synthetic Observations
Christophe Bertero
,
Jean-François Léon
,
Gilles Trédan
,
Matthieu Roy
,
Alexandre Armengaud
Journal articles
hal-02998998v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
L’état interne des composants, grand oublié des formalismes DEVS à structure dynamique ?
Clément Foucher
Journées Francophones de la Modélisation et de la Simulation 2020 , Nov 2020, Cargèse, France
Conference papers
hal-03099176v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics
Mohammed Foughali
,
Pierre-Emmanuel Hladik
Journal articles
hal-02864928v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A defensive man-in-middle approach to filter BLE packets
Ahmed Aboukora
,
Guillaume Bonnet
,
Florent Galtier
,
Romain Cayre
,
Vincent Nicomette
,
et al.
14th ACM Conference on Security and Privacy in Wireless and Mobile Networks , Jun 2021, Abou Dhabi (virtual), United Arab Emirates.
⟨10.1145/3448300.3468259⟩
Conference papers
hal-03560107v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos : application à la pollution de l'air
Christophe Bertero
Modélisation et simulation. Université Paul Sabatier - Toulouse III, 2020. Français.
⟨NNT : 2020TOU30321⟩
Theses
tel-03700021v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
About adopting a systemic approach to design connected embedded systems: A MOOC promoting systems thinking and systems engineering
Claude Baron
,
Brigitte Daniel-Allegro
Journal articles
hal-02308315v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithmic audits of algorithms, and the law
Erwan Le Merrer
,
Ronan Pons
,
Gilles Trédan
2022
Preprints, Working Papers, ...
hal-03583919v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More