Drona Nagarajan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAC | Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. | Drona Nagarajan, Tobias Scheipel, Marcel Baunach |
| 2024 | RTNS | Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems. | Drona Nagarajan, Tobias Scheipel, Marcel Baunach |
| 2022 | DSD | Verifying Liveness and Real-Time of OS-Based Embedded Software. | Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach |