Vincent Mussot

According to our database, Vincent Mussot authored at least 6 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour

CoRR, 2023

2020

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

Vincent Mussot, Silvano Dal-Zilio, Loïc Correnson, Serge Rainjonneau, Yves Bardout, Grégoire Scano

CoRR, 2020

2017

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

Claire Maiza, Pascal Raymond, Catherine Parent-Vigouroux, Armelle Bonenfant, Fabienne Carrier, Hugues Cassé, Philippe Cuenot, Denis Claraz, Nicolas Halbwachs, Erwan Jahier, Hanbing Li, Marianne De Michiel, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2016

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 in WCET analysis).

Vincent Mussot

PhD thesis, 2016

Expressing and Exploiting Conflicts over Paths in WCET Analysis.

Vincent Mussot, Jordy Ruiz, Pascal Sotin, Marianne De Michiel, Hugues Cassé

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

2015

Improving WCET Analysis Precision through Automata Product.

Vincent Mussot, Pascal Sotin

Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015