Devendra Bhave

According to our database, Devendra Bhave authored at least 6 papers between 2015 and 2019.

Collaborative distances:

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

2019

On Timed Scope-Bounded Context-Sensitive Languages.

Devendra Bhave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Developments in Language Theory - 23rd International Conference, 2019

2017

Adding Dense-Timed Stack to Integer Reset Timed Automata.

Devendra Bhave, Shibashis Guha

Proceedings of the Reachability Problems - 11th International Workshop, 2017

2016

On Nonlinear Prices in Timed Automata.

Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

A Logical Characterization for Dense-Time Visibly Pushdown Automata.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Language and Automata Theory and Applications, 2016

A Perfect Class of Context-Sensitive Timed Languages.

Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi

Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015

Bounded-rate multi-mode systems based motion planning.

Devendra Bhave, Sagar Jha, Shankara Narayanan Krishna, Sven Schewe, Ashutosh Trivedi

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015