Kimaya Bedarkar

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Real Time Database Systems

Scheduling Algorithm

Wireless Sensor Networks

Top Venues

Publications

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