| |
| 2008 | ||
|---|---|---|
| 3 | EE | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar: Distributed Timed Automata with Independently Evolving Clocks. CONCUR 2008: 82-97 |
| 2007 | ||
| 2 | EE | S. Akshay, Madhavan Mukund, K. Narayan Kumar: Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196 |
| 1 | EE | S. Akshay, Benedikt Bollig, Paul Gastin: Automata and Logics for Timed Message Sequence Charts. FSTTCS 2007: 290-302 |
| 1 | Benedikt Bollig | [1] [3] |
| 2 | Paul Gastin | [1] [3] |
| 3 | K. Narayan Kumar | [2] [3] |
| 4 | Madhavan Mukund | [2] [3] |