The W-SEPT project: Towards semantic-aware WCET estimation C Maiza, P Raymond, C Parent-Vigouroux, A Bonenfant, F Carrier, ... 17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), 2017 | 8 | 2017 |
Can we reconcile safety objectives with machine learning performances? L Alecu, H Bonnin, T Fel, L Gardes, S Gerchinovitz, L Ponsolle, F Mamalet, ... ERTS 2022, 2022 | 7 | 2022 |
Improving WCET analysis precision through automata product V Mussot, P Sotin 2015 IEEE 21st International Conference on Embedded and Real-Time Computing …, 2015 | 7 | 2015 |
Expressing and exploiting conflicts over paths in WCET analysis V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), 2016 | 6 | 2016 |
LARD--Landing Approach Runway Detection--Dataset for Vision Based Landing M Ducoffe, M Carrere, L Féliers, A Gauffriau, V Mussot, C Pagetti, ... arXiv preprint arXiv:2304.09938, 2023 | 5 | 2023 |
From relevant high-level properties to WCET computation improvement V Mussot, A Bonenfant, P Sotin, D Claraz, P Cuenot International Conference on Embedded Real Time Software and Systems (ERTS2 …, 2014 | 3 | 2014 |
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites V Mussot, SD Zilio, L Correnson, S Rainjonneau, Y Bardout, G Scano arXiv preprint arXiv:2001.11875, 2020 | 2 | 2020 |
When the worst-case execution time estimation gains from the application semantics A Bonenfant, F Carrier, H Cassé, P Cuenot, D Claraz, N Halbwachs, H Li, ... 8th European Congress on Embedded Real-Time Software and Systems, 2016 | 2 | 2016 |
Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET V Mussot Université Paul Sabatier-Toulouse III, 2016 | 1 | 2016 |
Expressing and exploiting path conflicts in WCET analysis V Mussot, J Ruiz, P Sotin, M De Michiel, H Cassé 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016 …, 2016 | 1 | 2016 |
Guidelines to explain machine learning algorithms F Boisnard, R Boumazouza, M Ducoffe, T Fel, E Glize, L Hervier, V Mussot, ... | | 2023 |
Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET.(Flow fact automata for the expression and the integration of properties … V Mussot Paul Sabatier University, Toulouse, France, 2016 | | 2016 |