|
 | Up a level |
Chopra, N and Pai, R and D’Souza, D (2019) Data Races and Static Analysis for Interrupt-Driven Kernels. In: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 - 11 April 2019, Prague, pp. 697-723.
D’Souza, Deepak and Holla, R and Kulkarni, J and Raghavendra, KR and Sprick, Barbara (2008) On the Decidability of Model-Checking Information Flow Properties. In: ICISS 2008, Hyderabad, 16 - 20 December 2008, Hyderabad.
Pai, R and Singh, A and D’Souza, D and D’Souza, M and Prakash, P (2021) Static analysis for detecting high-level races in RTOS kernels. In: Formal Methods in System Design . (In Press)
