Systems Analysis Group

Not only does the analysis of distributed systems typically grow significantly more complex with each additional node, many traditional analysis methods fail to cover the distributed case completely. The primary research focus of the COMSYS Systems Analysis Group is to develop novel and improved approaches to managing the complexity in Distributed Systems Analysis.

The testability and, in a more general sense, verification of Distributed Systems is one of our major areas of research. We employ different techniques, like Symbolic Execution and Discrete Event Simulation, to find possible errors at scale.


Current Projects

  • SYMBIOSYS: SYMbolic analysis of temporal and functional BehavIOr of networked SYStems

Selected Past Projects

  • KleeNet: Symbolic Execution of Distributed Systems


Felix Rath, M.Sc. Felix Rath, M.Sc.
+49 241 80-21418

Daniel Schemmel, M.Sc. Daniel Schemmel, M.Sc.
+49 241 80-21420

Dr.-Ing. Klaus Wehrle Dr.-Ing. Klaus Wehrle
Head of Group
+49 241 80-21400

Available Theses

The Systems Analysis Group always has a range of thesis topics available for motivated and talented students. An excerpt of available theses can be seen from inside the RWTH University network.

Selected Publications

Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China, page 23--32.
Publisher: IEEE,
July 2012
ISBN: 978-0-7695-4714-5
Oscar Soria Dustmann, Raimondas Sasnauskas and Klaus Wehrle
April 2012
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Carsten Weise, Stefan Kowalewski and Klaus Wehrle
Proceedings of the 31st IEEE International Conference on Distributed Computing Systems (ICDCS 2011), June 2011, Minneapolis, MN, USA, page 333-342.
Publisher: IEEE Computer Society, Los Alamitos, CA, USA
June 2011
ISBN: 978-0-7695-4364-2
Export as:
- Impressum -