Get started
Author

Kimaya Bedarkar

Observed name: Bedarkar, Kimaya
ORCID: 0009-0003-1794-6548
Observed ORCID: 0009-0003-1794-6548
OpenAlex ID: A5067159586
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling
2022 · Kimaya Bedarkar, Mariam Vardishvili, et al. · IEEE Real-Time Systems Symposium (RTSS) · 11
RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
2025 · Kimaya Bedarkar, Laila Elbeheiry, et al. · Proceedings of the ACM on Programming Languages · 2
PDF
Artifact for "From Estimates to Guarantees: Verified Exceedance Analysis on Commodity Hardware"
2026 · Bedarkar, Kimaya, Ye, Bite, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 4
Citation count: 14
H-index: 2
I10-index: 1
Year
Topic
Type