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

Theses

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