3 citations · 3 across the 1 of their papers we have counts for
1 paper
Rishi Tulsyan, Rekha Pai, Deepak D'Souza
We present a static analysis technique for detecting data races in Real-Time Operating System (RTOS) applications. These applications are often employed in safety-critical tasks an…