Maxime Lesourd

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Worst Case Analysis

Statistical Analysis

Top Venues

Publications

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao
Integrating Formal Schedulability Analysis into a Verified OS Kernel. CAV (2) (2019)
Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton
A Generic Coq Proof of Typical Worst-Case Analysis. RTSS (2018)