Raveendra Holla

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Logical Properties

Top Venues

Publications

Raveendra Holla, Nabarun Deka, Deepak D'Souza
On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. FSTTCS (2021)
Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick
Model-checking trace-based information flow properties. J. Comput. Secur. 19 (1) (2011)
Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick
On the Decidability of Model-Checking Information Flow Properties. ICISS (2008)