Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

 Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier , et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Communication dans un congrès hal-01590442v1
Image document

Can we reconcile safety objectives with machine learning performances?

 Lucian Alecu , Hugues Bonnin , Thomas Fel , Laurent Gardes , Sébastien Gerchinovitz , et al.
ERTS 2022, Jun 2022, TOULOUSE, France
Communication dans un congrès hal-03765471v1
Image document

Expressing and exploiting path conflicts in WCET analysis

 Vincent Mussot , Jordy Ruiz , Pascal Sotin , Marianne de Michiel , Hugues Cassé
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) in conjunction with ECRTS, Jul 2016, Toulouse, France. pp. 1-11
Communication dans un congrès hal-01682967v1
Image document

Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET

 Vincent Mussot
Systèmes embarqués. Université Paul Sabatier - Toulouse III, 2016. Français. ⟨NNT : 2016TOU30247⟩
Thèse tel-01578964v1
Image document

When the worst-case execution time estimation gains from the application semantics

 Armelle Bonenfant , Fabienne Carrier , Hugues Cassé , Philippe Cuenot , Denis Claraz , et al.
8th European Congress on Embedded Real-Time Software and Systems, Jan 2016, Toulouse, France
Communication dans un congrès hal-01235781v1
Image document

From Relevant High-level Properties to WCET Computation Improvement

 Vincent Mussot , Armelle Bonenfant , Pascal Sotin , Denis Claraz , Philippe Cuenot
International Conference on Embedded Real Time Software and Systems (ERTS2 2014), Feb 2014, Toulouse, France. pp.0
Communication dans un congrès hal-03666048v1
Image document

LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing

 Mélanie Ducoffe , Maxime Carrere , Léo Féliers , Adrien Gauffriau , Vincent Mussot , et al.
2023
Pré-publication, Document de travail hal-04056760v2
Image document

Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites

 Vincent Mussot , Silvano Dal Zilio , Loic Correnson , Serge Rainjonneau , Yves Bardout , et al.
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès hal-02462058v1
Image document

Guidelines to explain machine learning algorithms

 Frédéric Boisnard , Ryma Boumazouza , Mélanie Ducoffe , Thomas Fel , Estèle Glize , et al.
2023
Autre publication scientifique hal-04391691v1
Page :