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 × Austria
1 × Estonia
1 × Italy
1 × Norway
1 × Russia
1 × Spain
3 × USA
Collaborated with:
D.Kröning M.Lewis J.Birgmeier A.R.Bradley S.Malik J.Katelaan D.Jovanovic V.D'Silva M.Purandare T.Witkowski N.Blanc B.K.Ozkan R.Majumdar F.Niksic Mitra Tabaei Befrouei
Talks about:
interpol (4) counterexampl (3) model (3) wolverin (2) strength (2) abstract (2) check (2) loop (2) probabilist (1) distribut (1)

Person: Georg Weissenbacher

DBLP DBLP: Weissenbacher:Georg

Facilitated 2 volumes:

CAV (1) 2018Ed
CAV (2) 2018Ed

Contributed to:

FM 20152015
CAV 20142014
CAV 20132013
SAT 20122012
TACAS 20122012
CAV 20112011
VMCAI 20102010
ASE 20072007
CAV 20062006
IJCAR 20182018
OOPSLA 20182018

Wrote 11 papers:

FM-2015-KroeningLW #automaton #bound #model checking #proving #safety
Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
CAV-2014-BirgmeierBW #abstraction #induction
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.
CAV-2013-KroeningLW #approximate #c #detection #performance #source code
Under-Approximating Loops in C Programs for Fast Counterexample Detection (DK, ML, GW), pp. 381–396.
SAT-2012-Weissenbacher #revisited
Interpolant Strength Revisited (GW), pp. 312–326.
TACAS-2012-WeissenbacherKM #contest #debugging #named
Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.
CAV-2011-KroeningW #verification
Interpolation-Based Software Verification with Wolverine (DK, GW), pp. 573–578.
Interpolant Strength (VD, DK, MP, GW), pp. 129–145.
ASE-2007-WitkowskiBKW #concurrent #linux #model checking
Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.
CAV-2006-KroeningW #abstraction
Counterexamples with Loops for Predicate Abstraction (DK, GW), pp. 152–165.
IJCAR-2018-KatelaanJW #automation #logic #modelling
A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.
OOPSLA-2018-OzkanMNBW #distributed #probability #random #testing
Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.

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.