Raveendra Holla

According to our database, Raveendra Holla authored at least 3 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics.

Raveendra Holla, Nabarun Deka, Deepak D'Souza

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2011

Model-checking trace-based information flow properties.

Deepak D'Souza, Raveendra Holla, K. R. Raghavendra, Barbara Sprick

J. Comput. Secur., 2011

2008

On the Decidability of Model-Checking Information Flow Properties.

Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick

Proceedings of the Information Systems Security, 4th International Conference, 2008