Patrick Metzler

According to our database1, Patrick Metzler authored at least 6 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Verification and Enforcement of Safe Schedules for Concurrent Programs.
PhD thesis, 2020

Extracting safe thread schedules from incomplete model checking results.
Int. J. Softw. Tools Technol. Transf., 2020

2018
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.
CoRR, 2018

2017
Quick verification of concurrent programs by iteratively relaxed scheduling.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
Identifying and Utilizing Dependencies Across Cloud Security Services.
Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Efficient Verification of Program Fragments: Eager POR.
Proceedings of the Automated Technology for Verification and Analysis, 2016


  Loading...