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
1 × USA
1 × United Kingdom
Collaborated with:
D.Beyer P.Wendler D.Dietsch M.Heizmann S.Löwe A.Stahlbauer
Talks about:
wit (3) verifi (2) verif (2) contribut (1) interact (1) competit (1) arithmet (1) support (1) stepwis (1) softwar (1)

Person: Matthias Dangl

DBLP DBLP: Dangl:Matthias

Contributed to:

CAV 20152015
ESEC/FSE 20152015
TACAS 20152015
FSE 20162016
CAV (2) 20162016

Wrote 5 papers:

CAV-2015-BeyerW #invariant
Boosting k-Induction with Continuously-Refined Invariants (DB, MD, PW), pp. 622–640.
ESEC-FSE-2015-0001DDHS #validation #verification
Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
TACAS-2015-DanglLW #contest #float #recursion #source code
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
FSE-2016-BeyerDDH #correctness #verification
Correctness witnesses: exchanging verification results between verifiers (DB, MD, DD, MH), pp. 326–337.
CAV-2016-BeyerD #debugging #fault #interactive
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses (DB, MD), pp. 502–509.

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.