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 × Italy
2 × USA
Collaborated with:
H.Veith I.Konnov C.Dragoi A.Damian A.Militaru Igor V. Konnov 0001 M.Lazic A.Gmeiner U.Schmid T.A.Henzinger D.Zufferey
Talks about:
algorithm (4) distribut (3) parameter (2) toler (2) model (2) fault (2) check (2) base (2) counterexampl (1) threshold (1)

Person: Josef Widder

DBLP DBLP: Widder:Josef

Contributed to:

CAV 20152015
SFM 20142014
VMCAI 20142014
CAV (2) 20192019
POPL 20172017

Wrote 5 papers:

CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
SFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
VMCAI-2014-DragoiHVWZ #algorithm #framework #verification
A Logic-Based Framework for Verifying Consensus Algorithms (CD, TAH, HV, JW, DZ), pp. 161–181.
CAV-2019-DamianDMW #protocol
Communication-Closed Asynchronous Protocols (AD, CD, AM, JW), pp. 344–363.
POPL-2017-KonnovLVW #algorithm #distributed #fault tolerance #liveness #safety #verification
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (IVK0, ML, HV, JW), pp. 719–734.

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.