Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Mostafa Habibi
Hao Mao
Peter Malec
Bouke L Scheltinga
Giovanni Venturelli
Chen Ma
Tobias Petri
Radu Timofte
Kuanrui Yin
Home
/
Author
/
PATRICK METZLER
Author Info
Open Visualization
Name
Affiliation
Papers
PATRICK METZLER
Tech Univ Darmstadt, Darmstadt, Germany
5
Collaborators
Citations
PageRank
6
0
1.69
Referers
Referees
References
0
47
18
Publications (5 rows)
Collaborators (6 rows)
Referers (0 rows)
Referees (47 rows)
Title
Citations
PageRank
Year
Extracting Safe Thread Schedules From Incomplete Model Checking Results
0
0.34
2020
Extracting Safe Thread Schedules from Incomplete Model Checking Results.
0
0.34
2019
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints.
0
0.34
2018
Quick verification of concurrent programs by iteratively relaxed scheduling.
0
0.34
2017
Efficient Verification of Program Fragments: Eager POR.
0
0.34
2016
1
