From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. - Kimaya Bedarkar; Mariam Vardishvili; Sergey Bozhko; Marco Maida; Björn B. Brandenburg (RTSS, 2022)

RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers. - Kimaya Bedarkar; Laila Elbeheiry; Michael Sammler; Lennard Gäher; Björn B. Brandenburg; Derek Dreyer; Deepak Garg 001 (Proc. ACM Program. Lang., 2025)