Efficient Verification of Program Fragments: Eager POR. - Patrick Metzler; Habib Saissi; Péter Bokor; Robin Hesse; Neeraj Suri (ATVA, 2016)

Identifying and Utilizing Dependencies Across Cloud Security Services. - Ahmed Taha 002; Patrick Metzler; Rubén Trapero; Jesus Luna; Neeraj Suri (AsiaCCS, 2016)

Quick verification of concurrent programs by iteratively relaxed scheduling. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (ASE, 2017)

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints. - Patrick Metzler; Habib Saissi; Péter Bokor; Neeraj Suri (CoRR, 2018)

Extracting safe thread schedules from incomplete model checking results. - Patrick Metzler; Neeraj Suri; Georg Weissenbacher (Int. J. Softw. Tools Technol. Transf., 2020)

Verification and Enforcement of Safe Schedules for Concurrent Programs. - Patrick Metzler (2020)