 | 2009 |
|---|
| 3 |       | P. Vijay Suman,
Paritosh K. Pandya:
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.
LATA 2009: 728-739 |
| 2008 |
|---|
| 2 | | Swarup Mohalik,
A. C. Rajeev,
Manoj G. Dixit,
S. Ramesh,
P. Vijay Suman,
Paritosh K. Pandya,
Shengbing Jiang:
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
DAC 2008: 296-299 |
| 1 | | P. Vijay Suman,
Paritosh K. Pandya,
Shankara Narayanan Krishna,
Lakshmi Manasa:
Timed Automata with Integer Resets: Language Inclusion and Expressiveness.
FORMATS 2008: 78-92 |
