Concepedia

Silke Wagner

SW

Statistics

Publications

3

Citations

92

H-Index

3

Active since

2006

Affiliations

Max Planck Society(Current)

Silke Wagner is an author at Max Planck Society specializing in formal verification, formal methods, and software analysis.

Top concepts

Publications per year

2006–2015

3

Publications

3

Model Checking of Hybrid Systems: From Reachability towards Stability

Andreas Podelski, Silke Wagner, João P. Hespanha et al. · 2006 · 62 citations

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

Stephan Arlt, Tobias Morciniec, Andreas Podelski et al. · 2015 · 16 citations

, , +25

Control software model checking using bisimulation functions for nonlinear systems

James Kapinski, Alexandre Donzé, Flavio Lerda et al. · 2008 · 14 citations

, , +17

1–3 of 3