Silke Wagner

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 1

Top Topics

Integration Testing

Test Data Generation

Top Venues

Publications

Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. ICST (2015)
Michael Donoser, Silke Wagner, Horst Bischof
Context information from search engines for document recognition. Pattern Recognit. Lett. 31 (8) (2010)
James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
Control software model checking using bisimulation functions for nonlinear systems. CDC (2008)
Michael Donoser, Horst Bischof, Silke Wagner
Using web search engines to improve text recognition. ICPR (2008)
Andreas Podelski, Silke Wagner
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. HSCC (2007)
Andreas Podelski, Silke Wagner
Region Stability Proofs for Hybrid Systems. FORMATS (2007)
Andreas Podelski, Silke Wagner
Model Checking of Hybrid Systems: From Reachability Towards Stability. HSCC (2006)
Andreas Podelski, Ina Schaefer, Silke Wagner
Summaries for While Programs with Recursion. ESOP (2005)