Name | Julian Brunner |
JulianBrunner@gmail.com brunnerj@in.tum.de | |
Organization | Chair for Logic and Verification (I21) Institut für Informatik Technische Universität München |
Address | Boltzmannstraße 3 85748 Garching Germany |
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata. Julian Brunner, Benedikt Seidl, Salomon Sickert. ITP 2019.
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. Julian Brunner, Peter Lammich. JAR 2017.
Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. Julian Brunner, Peter Lammich. NFM 2016.
Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. Julian Brunner. iFM 2020.
Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking. Julian Brunner. 2014. Master's Thesis.