Maxime Lesourd

According to our database, Maxime Lesourd authored at least 2 papers between 2018 and 2019.

Collaborative distances:

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

2019

Integrating Formal Schedulability Analysis into a Verified OS Kernel.

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

A Generic Coq Proof of Typical Worst-Case Analysis.

Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018