| 2008 |
|---|
| 6 | EE | Pavithra Prabhakar,
Vladimeros Vladimerou,
Mahesh Viswanathan,
Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems.
HSCC 2008: 401-414 |
| 5 | EE | Vladimeros Vladimerou,
Pavithra Prabhakar,
Mahesh Viswanathan,
Geir E. Dullerud:
STORMED Hybrid Systems.
ICALP (2) 2008: 136-147 |
| 2007 |
|---|
| 4 | EE | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
Counter-Free Input-Determined Timed Automata.
FORMATS 2007: 82-97 |
| 3 | EE | Deepak D'Souza,
Pavithra Prabhakar:
On the expressiveness of MTL in the pointwise and continuous semantics.
STTT 9(1): 1-4 (2007) |
| 2006 |
|---|
| 2 | EE | Pavithra Prabhakar,
Deepak D'Souza:
On the Expressiveness of MTL with Past Operators.
FORMATS 2006: 322-336 |
| 1 | EE | Fabrice Chevalier,
Deepak D'Souza,
Pavithra Prabhakar:
On Continuous Timed Automata with Input-Determined Guards.
FSTTCS 2006: 369-380 |
