Sebastian Wolff

According to our database1, Sebastian Wolff authored at least 6 papers between 2015 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Decoupling lock-free data structures from memory reclamation for static analysis.
PACMPL, 2019

2018
Reasoning About Weak Semantics via Strong Semantics.
Proceedings of the Principled Software Development, 2018

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
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...