Paper-Conference

PARTI: A Multi-interval Theory Solver for Symbolic Execution
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
Cite DOI URL
Circuit Switched VM Networks for Zero-Copy IO
PDF Cite DOI
Towards In-Network Industrial Feedback Control
Jan Rüth, René Glebke, Klaus Wehrle, Vedad Causevic, Sandra Hirche
PDF Cite DOI
Towards In-Network Security for Smart Homes
Martin Serror, Martin Henze, Sacha Hack, Marko Schuba, Klaus Wehrle
PDF Cite DOI
Symbolic Liveness Analysis of Real-World Software
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle
PDF Cite DOI GitHub Zenodo
Demystifying TCP Initial Window Configurations of Content Distribution Networks
PDF Cite DOI arXiv tma.ifip.org
Practical Evaluation of Cooperative Communication for Ultra-Reliability and Low-Latency
Martin Serror, Sebastian Vaaßen, Klaus Wehrle, James Gross
PDF Cite DOI
Demo: Towards In-Network Processing for Low-Latency Industrial Control
PDF Cite DOI
Giving Customers Control over Their Data: Integrating a Policy Language into the Cloud
Jens Hiller, Mael Kimmerlin, Max Plauth, Seppo Heikkila, Stefan Klauck, Ville Lindfors, Felix Eberhardt, Dariusz Bursztynowski, Jesus Llorente Santos, Oliver Hohlfeld, Klaus Wehrle
PDF Cite DOI IEEE Xplore
Thwarting Unwanted Blockchain Content Insertion
Since the introduction of Bitcoin in 2008, blockchain systems have seen an enormous increase in adoption. By providing a persistent, …
PDF Cite DOI IEEE Xplore