On the Decidability of Model-Checking Information Flow Properties. - Deepak D'Souza; Raveendra Holla; Janardhan Kulkarni; Raghavendra K. Ramesh; Barbara Sprick (ICISS, 2008)

Model-checking trace-based information flow properties. - Deepak D'Souza; Raveendra Holla; K. R. Raghavendra; Barbara Sprick (J. Comput. Secur., 2011)

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. - Raveendra Holla; Nabarun Deka; Deepak D'Souza (FSTTCS, 2021)