Matthias Dangl
Kontakt:

Matthias Dangl
Wissenschaftlicher Mitarbeiter

Lehrstuhl für Informatik mit Schwerpunkt Softwaresysteme


Innstraße 33
94032 Passau (Germany)

Raum:IM 109
Telefon:+49(0)851/509-3095
Email:Matthias.Dangl@uni-passau.de
Homepage:http://students.fim.uni-passau.de/~dangl/
Foto Matthias Dangl
Lehrveranstaltungen
Sommersemester 2016
Publikationen
1) Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer. Witness Validation and Stepwise Testification across Software Verifiers. In Proc. ESEC/FSE, 2015. ACM, New York. PDF Keywords: Error Witness, Counterexample Validation, Software Verification, Program Analysis, Model Checking
2) Dirk Beyer, Matthias Dangl, and Philipp Wendler. Boosting k-Induction with Continuously-Refined Invariants. In Proc. CAV, LNCS, 2015. Springer-Verlag, Heidelberg. PDF Keywords: Software Model Checking, k-Induction, Invariant Generation.
3) 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
Projekte