Silke Wagner

According to our database, Silke Wagner authored at least 9 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing.

Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2010

Context information from search engines for document recognition.

Michael Donoser, Silke Wagner, Horst Bischof

Pattern Recognit. Lett., 2010

2008

Stability proofs for hybrid systems.

Silke Wagner

PhD thesis, 2008

Using web search engines to improve text recognition.

Michael Donoser, Horst Bischof, Silke Wagner

Proceedings of the 19th International Conference on Pattern Recognition (ICPR 2008), 2008

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

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

Andreas Podelski, Silke Wagner

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Region Stability Proofs for Hybrid Systems.

Andreas Podelski, Silke Wagner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Model Checking of Hybrid Systems: From Reachability Towards Stability.

Andreas Podelski, Silke Wagner

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

Summaries for While Programs with Recursion.

Andreas Podelski, Ina Schaefer, Silke Wagner

Proceedings of the Programming Languages and Systems, 2005