Travelled to:1 × Germany
1 × United Kingdom
4 × USA
Collaborated with:A.Podelski S.Kupferschmid M.Helmert S.Arlt B.Nebel S.Bogomolov G.Frehse R.Grosu H.Ladan
Talks about:direct (2) model (2) check (2) base (2) succinct (1) reachabl (1) accuraci (1) abstract (1) transit (1) revisit (1)
Person: Martin Wehrle
DBLP: Wehrle:Martin
Contributed to:
2014
2012
2011
200920092008Wrote 6 papers:
- ISSTA-2014-ArltPW #slicing #testing #user interface
- Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
- CAV-2012-BogomolovFGLPW #analysis #distance #reachability
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
- TACAS-2011-KupferschmidW #abstraction #database
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy (SK, MW), pp. 276–290.
- SAS-2009-WehrleH #graph #model checking
- The Causal Graph Revisited for Directed Model Checking (MW, MH), pp. 86–101.
- TACAS-2009-WehrleKP #model checking
- Transition-Based Directed Model Checking (MW, SK, AP), pp. 186–200.
- CAV-2008-KupferschmidWNP #performance #question
- Faster Than Uppaal? (SK, MW, BN, AP), pp. 552–555.