Login / Signup
Drona Nagarajan
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Multiscale
Real Time
Embedded Software
Building Blocks
Top Venues
SAC
DSD
</>
Publications
</>
Drona Nagarajan
,
Tobias Scheipel
,
Marcel Baunach
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP.
SAC
(2024)
Leandro Batista Ribeiro
,
Drona Nagarajan
,
Vignesh Manjunath
,
Muhammad Tanveer Ali Ahmad
,
Marcel Baunach
Verifying Liveness and Real-Time of OS-Based Embedded Software.
DSD
(2022)