Patrick Metzler

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Verification and Enforcement of Safe Schedules for Concurrent Programs.

[BibT_eX]

[DOI]

Patrick Metzler

PhD thesis, 2020

Extracting safe thread schedules from incomplete model checking results.

[BibT_eX]

[DOI]

Patrick Metzler

Neeraj Suri

Georg Weissenbacher

Int. J. Softw. Tools Technol. Transf., 2020

2018

Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Quick verification of concurrent programs by iteratively relaxed scheduling.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Identifying and Utilizing Dependencies Across Cloud Security Services.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

Efficient Verification of Program Fragments: Eager POR.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2016

Patrick Metzler

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...