Your search returned the following 6 documents:

6. A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems
   Andreas Podelski and Silke Wagner
   Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2007-2-001, Research Report
   [PDF: Download: MPI-I-2007-2-001.pdf]
   
5. A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
   Andreas Podelski and Silke Wagner
   In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, Pisa, Italy, 2007, 750-753
   
   
4. Region Stability Proofs for Hybrid Systems
   Silke Wagner and Andreas Podelski
   In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, 2007, 16 p.
   
3. Model Checking of Hybrid Systems: From Reachability towards Stability
   Andreas Podelski and Silke Wagner
   In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006 , Santa Barbara, CA, USA, 2006, 507-521
   
2. Summaries for While Programs with Recursion
   Andreas Podelski, Ina Schaefer, and Silke Wagner
   Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-007, Research Report
   [PS: Download: 85998158.ps]
   
1. Summaries for While Programs with Recursion
   Andreas Podelski, Ina Schaefer, and Silke Wagner
   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, Edinburgh, UK, 2005, 94-107