Matthias Dangl

Matthias Dangl

Lehrstuhl für Informatik mit Schwerpunkt Software Engineering

Innstraße 33
94032 Passau (Germany)

Raum:IM 109
Foto Matthias Dangl
1) Dirk Beyer, Matthias Dangl, Daniel Dietsch, and Matthias Heizmann. Correctness Witnesses: Exchanging Verification Results between Verifiers. In J. Cleland-Huang and Z. Su, editors, Proc. FSE, 2016. ACM, New York.
2) Dirk Beyer and Matthias Dangl. Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses. In S. Chaudhuri and A. Farzan, editors, Proc. CAV, 2016. Springer-Verlag, Heidelberg.
3) Dirk Beyer and Matthias Dangl. SMT-based Software Model Checking: An Experimental Comparison of Four Algorithms. In M. Chechik and T. Kahsai, editors, Proc. VSTTE, 2016. Springer-Verlag, Heidelberg.
4) Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer. Witness Validation and Stepwise Testification across Software Verifiers. In E. Di Nitto, M. Harman, and P. Heymans, editors, Proc. ESEC/FSE, 2015. ACM, New York. PDF Keywords: Error Witness, Counterexample Validation, Software Verification, Program Analysis, Model Checking
5) Dirk Beyer, Matthias Dangl, and Philipp Wendler. Boosting k-Induction with Continuously-Refined Invariants. In D. Kroening and C. S. Pasareanu, editors, Proc. CAV, LNCS 9206, 2015. Springer-Verlag, Heidelberg. PDF Keywords: Software Model Checking, k-Induction, Invariant Generation.
6) Matthias Dangl, Stefan Löwe, and Philipp Wendler. CPAchecker with support for recursive programs and floating-point arithmetic. In Proc. TACAS, LNCS, 2015. Springer-Verlag, Heidelberg. Keywords: Software Model Checking, k-Induction, Predicate Abstraction, Value Analysis, SV-COMP