Nabarun Deka

According to our database, Nabarun Deka authored at least 3 papers between 2021 and 2024.

Collaborative distances:

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

2024

Deciding Branching Hyperproperties for Real Time Systems.

Nabarun Deka, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Verification of Camera-Based Autonomous Systems.

Habeeb P, Nabarun Deka, Deepak D'Souza, Kamal Lodaya, Pavithra Prabhakar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

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