| 2009 |
|---|
| 8 | EE | Vladimeros Vladimerou,
Pavithra Prabhakar,
Mahesh Viswanathan,
Geir E. Dullerud:
STORMED Hybrid Games.
HSCC 2009: 480-484 |
| 2008 |
|---|
| 7 | EE | Pavithra Prabhakar,
Vladimeros Vladimerou,
Mahesh Viswanathan,
Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems.
HSCC 2008: 401-414 |
| 6 | EE | Vladimeros Vladimerou,
Pavithra Prabhakar,
Mahesh Viswanathan,
Geir E. Dullerud:
STORMED Hybrid Systems.
ICALP (2) 2008: 136-147 |
| 5 | EE | Peter Csaba Ölveczky,
Pavithra Prabhakar,
Xue Liu:
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude.
IPDPS 2008: 1-8 |
| 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 |
