CAREFUL – Complexity-aware symbolic fault analysis
Team
Communication and Distributed Systems Group, RWTH Aachen University
- Klaus Wehrle
Prof. Dr. Klaus Wehrle is Professor of Computer Science and Head of the Communication and Distributed Systems Group at RWTH Aachen University. He is a member of IEEE, ACM, Sigcomm, GI (Gesellschaft für Informatik), VDE and GI/ITG-Fachgruppe KuVS. He serves as an elected representative for communication systems at DFG. His research activities focus on the engineering of network protocols, (formal) methods for protocol engineering and network analysis, network simulation, reliable communication software, and all operating system issues of networking.
Abstract
[EN]
[DE]