 | 2009 |
|---|
| 6 |       | A. Agung Julius,
George J. Pappas:
Trajectory Based Verification Using Local Finite-Time Invariance.
HSCC 2009: 223-236 |
| 2008 |
|---|
| 5 | | A. Agung Julius,
George J. Pappas:
Probabilistic testing for stochastic hybrid systems.
CDC 2008: 4030-4035 |
| 4 | | A. Agung Julius,
Marcin Imielinski,
George J. Pappas:
Metabolic networks analysis using convex optimization.
CDC 2008: 762-767 |
| 3 | | 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 | | 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 | | A. Agung Julius:
Approximate Abstraction of Stochastic Hybrid Automata.
HSCC 2006: 318-332 |
