Summaries for While Programs with Recursion. - Andreas Podelski; Ina Schaefer; Silke Wagner (ESOP, 2005)

Model Checking of Hybrid Systems: From Reachability Towards Stability. - Andreas Podelski; Silke Wagner (HSCC, 2006)

Region Stability Proofs for Hybrid Systems. - Andreas Podelski; Silke Wagner (FORMATS, 2007)

A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. - Andreas Podelski; Silke Wagner (HSCC, 2007)

Control software model checking using bisimulation functions for nonlinear systems. - James Kapinski; Alexandre Donzé; Flavio Lerda; Hitashyam Maka; Silke Wagner; Bruce H. Krogh (CDC, 2008)

Using web search engines to improve text recognition. - Michael Donoser; Horst Bischof; Silke Wagner (ICPR, 2008)

Stability proofs for hybrid systems. - Silke Wagner (2008)

Context information from search engines for document recognition. - Michael Donoser; Silke Wagner; Horst Bischof (Pattern Recognit. Lett., 2010)

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. - Stephan Arlt; Tobias Morciniec; Andreas Podelski; Silke Wagner (ICST, 2015)