Vincent Mussot
According to our database1,
Vincent Mussot
authored at least 7 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
CoRR, 2023
2020
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites.
CoRR, 2020
2017
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).
PhD thesis, 2016
Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016
2015
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015