Lars Hupel

PhD student, Chair for Logic and Verification, Fakultät für Informatik, Technische Universität München

Contact

Technische Universität München
Boltzmannstraße 3, 85748 Garching

Office: MI 00.09.063
Office hours: upon request
Office phone: +49 89 289-17328

Email (click to reveal)
Academic: l...@tum.de
Non-academic: l...@hupel.info

Teaching (current semester)

Select Publications

Verified iptables Firewall Analysis and Verification

Cornelius Diekmann Lars Hupel Julius Michaelis Maximilian Haslbeck Georg Carle
Journal of Automated Reasoning (Open Access), 2018
The final publication is available at Springer Link.


Translating Scala Programs to Isabelle/HOL

Lars Hupel Viktor Kuncak
International Joint Conference on Automated Reasoning (IJCAR), 2016
The final publication is available at Springer Link.