Kimaya Bedarkar

According to our database, Kimaya Bedarkar authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

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

Proc. ACM Program. Lang., 2025

2022

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

Proceedings of the IEEE Real-Time Systems Symposium, 2022