Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 3:01, 20 September 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Andreas Podelski and Silke Wagner
    A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems
    Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2007-2-001, Research Report
    [PDF: Download: MPI-I-2007-2-001.pdf]
  2. Andreas Podelski and Silke Wagner
    A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
    In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, Pisa, Italy, 2007, 750-753

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