BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wehrle:Martin

Contributed to:

ISSTA 20142014
CAV 20122012
TACAS 20112011
SAS 20092009
TACAS 20092009
CAV 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.