Bounded-rate multi-mode systems based motion planning. - Devendra Bhave; Sagar Jha; Shankara Narayanan Krishna; Sven Schewe; Ashutosh Trivedi 001 (HSCC, 2015)

A Perfect Class of Context-Sensitive Timed Languages. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2016)

A Logical Characterization for Dense-Time Visibly Pushdown Automata. - Devendra Bhave; Vrunda Dave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (LATA, 2016)

On Nonlinear Prices in Timed Automata. - Devendra Bhave; Shankara Narayanan Krishna; Ashutosh Trivedi 001 (V2CPS@IFM, 2016)

Adding Dense-Timed Stack to Integer Reset Timed Automata. - Devendra Bhave; Shibashis Guha (RP, 2017)

On Timed Scope-Bounded Context-Sensitive Languages. - Devendra Bhave; Shankara Narayanan Krishna; Ramchandra Phawade; Ashutosh Trivedi 001 (DLT, 2019)