Publications

Publications for Klaus Wehrle

2018
DOI
[bibtex]
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software. Proc. CAV 2018, Part II, Volume 10982 of LNCS, pages 447–466, Springer, 2018.
2011
Download
[bibtex]
Jó Agila Bitsch Link, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle. Perfect Difference Sets for Neighbor Discovery: Energy Efficient and Fair. Proceedings of the 3rd Extreme Conference on Communication: The Amazon Expedition, Volume of ExtremeCom '11, , 2011.
Download
[bibtex]
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski. Scalable Symbolic Execution of Distributed Systems. Proc. of the 31st International Conference on Distributed Computing Systems (ICDCS 2011), pages 333-342, IEEE Computer Society, 2011.