Search - LAAS-Informatique Critique Access content directly

Filter your results

130 Results
Deposit type : Fulltext
Image document

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 of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles hal-03017661v4
Image document

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
Image document

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
Image document

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
Image document

Leveraging polyhedral reductions for solving Petri net reachability problems

Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan
International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Journal articles hal-03973463v1
Image document

Understanding Microgrid Sustainability: A Systemic and Comprehensive Review

Antoine Boche , Clément Foucher , Luiz Fernando Lavado Villa
Energies, 2022, 15 (8), pp.2906. ⟨10.3390/en15082906⟩
Journal articles hal-03642707v1
Image document

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
Image document

Génération et analyse de tests pour les systèmes autonomes

Clément Robert
Robotique [cs.RO]. Université Paul Sabatier - Toulouse III, 2021. Français. ⟨NNT : 2021TOU30119⟩
Theses tel-03591139v2
Image document

SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images

Raul Sena Ferreira , Joris Guérin , Jérémie Guiochet , Hélène Waeselynck
27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩
Conference papers hal-03779723v1
Image document

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
Image document

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
Image document

Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés

Malcolm Bourdon
Autre [cs.OH]. INSA de Toulouse, 2021. Français. ⟨NNT : 2021ISAT0027⟩
Theses tel-03572845v2
Image document

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
Image document

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
Image document

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
59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Conference papers hal-02989834v1
Image document

Remote explainability faces the bouncer problem

Erwan Le Merrer , Gilles Trédan
Nature Machine Intelligence, 2020, 2 (9), pp.529-539. ⟨10.1038/s42256-020-0216-z⟩
Journal articles hal-03048809v1
Image document

REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection

Yuxiao Mao , Vincent Migliore , Vincent Nicomette
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genova, Italy. ⟨10.1109/EuroS&PW51379.2020.00100⟩
Conference papers hal-02949624v1
Image document

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
Image document

Unifying Evaluation of Machine Learning Safety Monitors

Joris Guérin , Raul Sena Ferreira , Kevin Delmas , Jérémie Guiochet
33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Conference papers hal-03765273v1
Image document

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
Image document

Skill-based design of dependable robotic architectures

Alexandre Albore , David Doose , Christophe Grand , Jérémie Guiochet , Charles Lesire , et al.
Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Journal articles hal-03927289v1
Image document

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
ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
Conference papers lirmm-03228297v1
Image document

On the Implications of Routing Models on Network Optimization

Yvonne-Anne Pignolet , Stefan Schmid , Gilles Trédan
IEEE Transactions on Network and Service Management, 2021, 18 (4), pp.4756 - 4769. ⟨10.1109/TNSM.2021.3090312⟩
Journal articles hal-03278920v1
Image document

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
Atmosphere, 2020, 11 (9), pp.1014. ⟨10.3390/atmos11091014⟩
Journal articles hal-02998998v1
Image document

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
Image document

Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics

Mohammed Foughali , Pierre-Emmanuel Hladik
Journal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Journal articles hal-02864928v3
Image document

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
Image document

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
Image document

About adopting a systemic approach to design connected embedded systems: A MOOC promoting systems thinking and systems engineering

Claude Baron , Brigitte Daniel-Allegro
Systems Engineering, 2020, 23 (3), pp.261-280. ⟨10.1002/sys.21513⟩
Journal articles hal-02308315v1
Image document

Algorithmic audits of algorithms, and the law

Erwan Le Merrer , Ronan Pons , Gilles Trédan
2022
Preprints, Working Papers, ... hal-03583919v1