| 2007 | ||
|---|---|---|
| 4 | EE | Andreas Podelski, Silke Wagner: Region Stability Proofs for Hybrid Systems. FORMATS 2007: 320-335 |
| 3 | EE | Andreas Podelski, Silke Wagner: A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. HSCC 2007: 750-753 |
| 2006 | ||
| 2 | EE | Andreas Podelski, Silke Wagner: Model Checking of Hybrid Systems: From Reachability Towards Stability. HSCC 2006: 507-521 |
| 2005 | ||
| 1 | EE | Andreas Podelski, Ina Schaefer, Silke Wagner: Summaries for While Programs with Recursion. ESOP 2005: 94-107 |
| 1 | Andreas Podelski | [1] [2] [3] [4] |
| 2 | Ina Schaefer | [1] |