| | 2007 | [Podelski, Andreas]
Wagner, Silke | | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| | 2007 | [Podelski, Andreas]
Wagner, Silke | Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C. | | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | Poster | |
| | 2007 | Wagner, Silke
[Podelski, Andreas] | [Raskin, J.-F.]
[Thiagarajan, P.S.] | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article | |
| | 2006 | Podelski, Andreas
Wagner, Silke | [Hespanha, João P.]
[Tiwari, Ashish] | | Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521 | Proceedings Article | |
| | 2005 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | [Sagiv, Mooly] | | Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107 | Proceedings Article | |
| | 2004 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | | | Summaries for While Programs with Recursion | Report | |
1 |
| Warren, David Scott (ed.) |
| |
1 |
| Williams, Denise A. (ed.) |
| |