Följ
Devendra Bhave
Devendra Bhave
Verifierad e-postadress på cse.iitb.ac.in - Startsida
Titel
Citeras av
Citeras av
År
A logical characterization for dense-time visibly pushdown automata
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Language and Automata Theory and Applications: 10th International Conference …, 2016
112016
On nonlinear prices in timed automata
D Bhave, SN Krishna, A Trivedi
arXiv preprint arXiv:1612.04976, 2016
82016
A perfect class of context-sensitive timed languages
D Bhave, V Dave, SN Krishna, R Phawade, A Trivedi
Developments in Language Theory: 20th International Conference, DLT 2016 …, 2016
72016
Bounded-rate multi-mode systems based motion planning
D Bhave, S Jha, SN Krishna, S Schewe, A Trivedi
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
62015
On timed scope-bounded context-sensitive languages
D Bhave, SN Krishna, R Phawade, A Trivedi
Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019
42019
Adding dense-timed stack to integer reset timed automata
D Bhave, S Guha
International Workshop on Reachability Problems, 9-25, 2017
22017
Software Verification of Timed Systems
D Bhave
2013
Ramsey-Based Inclusion Checking for Dense-Stack Visibly Pushdown Automata
D Bhave, R Phawade
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–8