 | 2008 |
|---|
| 6 |       | James Kapinski,
Alexandre Donzé,
Flavio Lerda,
Hitashyam Maka,
Silke Wagner,
Bruce H. Krogh:
Control software model checking using bisimulation functions for nonlinear systems.
CDC 2008: 4024-4029 |
| 5 | | Michael Donoser,
Horst Bischof,
Silke Wagner:
Using web search engines to improve text recognition.
ICPR 2008: 1-4 |
| 2007 |
|---|
| 4 | | Andreas Podelski,
Silke Wagner:
Region Stability Proofs for Hybrid Systems.
FORMATS 2007: 320-335 |
| 3 | | Andreas Podelski,
Silke Wagner:
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.
HSCC 2007: 750-753 |
| 2006 |
|---|
| 2 | | Andreas Podelski,
Silke Wagner:
Model Checking of Hybrid Systems: From Reachability Towards Stability.
HSCC 2006: 507-521 |
| 2005 |
|---|
| 1 | | Andreas Podelski,
Ina Schaefer,
Silke Wagner:
Summaries for While Programs with Recursion.
ESOP 2005: 94-107 |
