Kimaya Bedarkar

According to our database, Kimaya Bedarkar authored at least 1 paper in 2022.

Collaborative distances:

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

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