| |
| 2009 | ||
|---|---|---|
| 4 | EE | A. Agung Julius, George J. Pappas: Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236 |
| 2008 | ||
| 3 | EE | Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2): 163-179 (2008) |
| 2007 | ||
| 2 | EE | A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342 |
| 2006 | ||
| 1 | EE | A. Agung Julius: Approximate Abstraction of Stochastic Hybrid Automata. HSCC 2006: 318-332 |
| 1 | Madhukar Anand | [2] |
| 2 | Georgios E. Fainekos | [2] |
| 3 | Antoine Girard | [3] |
| 4 | Insup Lee | [2] |
| 5 | George J. Pappas | [2] [3] [4] |