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 |
Office | MI 00.09.062 |
Phone | +49 (89) 289 17336 |
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.
Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking. Julian Brunner. 2014. Master's Thesis.