Silke Wagner

Dwell Time Refinement

Andreas Podelski, Silke Wagner, Corina Mitrohin, 2009 .

Region Stability Proofs for Hybrid Systems

Andreas Podelski, Silke Wagner, A. Podelski, 2007, FORMATS.

A method and a tool for automatic veriication of region stability for hybrid systems

Andreas Podelski, Silke Wagner, A. Podelski, 2007 .

Model Checking of Hybrid Systems: From Reachability Towards Stability

Andreas Podelski, Silke Wagner, A. Podelski, 2006, HSCC.

Control software model checking using bisimulation functions for nonlinear systems

Silke Wagner, Bruce H. Krogh, James Kapinski, 2008, 2008 47th IEEE Conference on Decision and Control.

Summaries for While Programs with Recursion

Andreas Podelski, Silke Wagner, Ina Schaefer, 2005, ESOP.

A Sound and Complete Proof Rule for Region Stability of Hybrid Systems

A. Podelski, Silke Wagner, 2007, HSCC.