A Generic Coq Proof of Typical Worst-Case Analysis. - Pascal Fradet; Maxime Lesourd; Jean-François Monin; Sophie Quinton (RTSS, 2018)

Integrating Formal Schedulability Analysis into a Verified OS Kernel. - Xiaojie Guo 003; Maxime Lesourd; Mengqi Liu 001; Lionel Rieg; Zhong Shao 001 (CAV (2), 2019)