Patrick Metzler

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 6

Top Topics

Deterministic Finite Automaton

Concurrent Programs

Temporal Properties

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Patrick Metzler, Neeraj Suri, Georg Weissenbacher
Extracting safe thread schedules from incomplete model checking results. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Patrick Metzler, Neeraj Suri, Georg Weissenbacher
Extracting Safe Thread Schedules from Incomplete Model Checking Results. SPIN (2019)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. CoRR (2018)
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
Quick verification of concurrent programs by iteratively relaxed scheduling. ASE (2017)
Patrick Metzler, Habib Saissi, Péter Bokor, Robin Hesse, Neeraj Suri
Efficient Verification of Program Fragments: Eager POR. ATVA (2016)
Ahmed Taha, Patrick Metzler, Rubén Trapero, Jesus Luna, Neeraj Suri
Identifying and Utilizing Dependencies Across Cloud Security Services. AsiaCCS (2016)