Sebastian Wolff

According to our database1, Sebastian Wolff authored at least 8 papers between 2015 and 2018.

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

2018
Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis.
CoRR, 2018

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

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