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.

Projects

Current Projects

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


Selected Past Projects

  • KleeNet: Symbolic Execution of Distributed Systems

Researchers

  Oscar Soria Dustmann, M.Sc. Oscar Soria Dustmann, M.Sc.
Researcher
+49 241 80-21419
soriadustmann(at)comsys.rwth-aachen.de
  Daniel Schemmel, M.Sc. Daniel Schemmel, M.Sc.
Researcher
+49 241 80-21420
daniel.schemmel(at)comsys.rwth-aachen.de
  Felix Rath, M.Sc. Felix Rath, M.Sc.
Researcher
+49 241 80 21418
felix.rath(at)comsys.rwth-aachen.de
  Dipl.-Inform. Jó Agila Bitsch Dr. Jó Agila Bitsch
Postdoctoral Researcher
+49 241 80-21416
jo.bitsch(at)comsys.rwth-aachen.de
  Dr.-Ing. Klaus Wehrle Dr.-Ing. Klaus Wehrle
Professor
Head of Group
+49 241 80-21400
wehrle(at)comsys.rwth-aachen.de
     

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

References
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
TAICPART'2012
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:
BibTeX, XML