Patrick Metzler Home

Patrick Metzler


Research Interests

  • formal methods
  • model checking
  • program analysis
  • concurrency




Iteratively Relaxed Scheduling:

Iterative Model Checking:


Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
Patrick Metzler, Habib Saissi, Péter Bokor and Neeraj Suri
Proceedings of ASE, 2017 [pdf]
Efficient verification of program fragments: Eager POR
Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse and Neeraj Suri
Proceedings of ATVA, 2016 [pdf]
Identifying and Utilizing Dependencies Across Cloud Security Services
Ahmed Taha, Patrick Metzler, Ruben Trapero, Jesus Luna, Neeraj Suri
Asia CCS, 2016
Lazy POR for the Verification of Distributed Programs
Patrick Metzler
Master's thesis, Technische Universität Darmstadt, 2014 [pdf]
Tool Support for Step-Wise Analysis and Mitigation of Timing Channels in Java
Patrick Metzler
Bachelor's thesis, Technische Universität Darmstadt, 2013 [pdf]