Sebastian Wolff

According to our database1, Sebastian Wolff
  • authored at least 6 papers between 2015 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Effect Summaries for Thread-Modular Analysis.
CoRR, 2017

Planning of mandibular reconstructions based on statistical shape models.
Int. J. Computer Assisted Radiology and Surgery, 2017

Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.
Proceedings of the Static Analysis - 24th International Symposium, 2017

2016
Pointer Race Freedom.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Pointer Race Freedom.
CoRR, 2015

Building A State-Of-The-Art Model Checker.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September, 2015


  Loading...