Julian Brunner

Contact

NameJulian Brunner
E-MailJulianBrunner@gmail.com
brunnerj@in.tum.de
OrganizationChair for Logic and Verification (I21)
Institut für Informatik
Technische Universität München
AddressBoltzmannstraße 3
85748 Garching
Germany
OfficeMI 00.09.062
Phone+49 (89) 289 17336

Work

Papers

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.

Theses

Implementation and Verification of Partial Order Reduction for On-The-Fly Model Checking. Julian Brunner. 2014. Master's Thesis.