Aniruddha R. Joshi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Real Time Embedded

Timing Constraints

Top Venues

Publications

S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CAV (1) (2023)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation. CoRR (2023)
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
Learning Monitor Ensembles for Operational Design Domains. RV (2023)