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.
| Oscar Soria Dustmann, M.Sc. |
+49 241 80-21419
| Daniel Schemmel, M.Sc. |
+49 241 80-21420
| Felix Rath, M.Sc. |
+49 241 80 21418
| Dipl.-Inform. Jó Agila Bitsch |
+49 241 80-21416
| Dr.-Ing. Klaus Wehrle |
Head of Group
+49 241 80-21400
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.
Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China , page 23--32.
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