Patrick Metzler Home

Patrick Metzler


back

Research Interests

  • formal methods
  • model checking
  • program analysis
  • concurrency

Software

Eager-POR: epor.zip

POR-simulator: porsim.zip

Iteratively Relaxed Scheduling: irs.zip irs-bin.7z.zip

Iterative Model Checking: imc.zip imc-bin.7z.zip imc-experiments-bin.7z.001.zip imc-experiments-bin-7z.002.zip

Publications

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]