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


Julian Büning, M.Sc. Julian Büning, M.Sc.
+49 241 80-21418

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

      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.

          Group Publications

          EPIQ'18 Workshop Paper
          Heraklion, Greece, 4.12.2018
          Publisher: ACM,
          December 2018
          ISBN: 978-1-4503-6082-1
          Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
          ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25
          October 2018
          Oscar Soria Dustmann, Klaus Wehrle and Cristian Cadar
          Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
          September 2018
          Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle
          Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18)
          July 2018
          ISBN: 978-3-319-96142-2
          Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18)
          April 2018
          ISBN: 978-1-5386-6742-2
          Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl and Klaus Wehrle
          Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
          October 2017
          ISBN: 978-1-5386-2684-9/17
          Mirko Stoffers, Ralf Bettermann and Klaus Wehrle
          Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2017), Rome, Italy, page 33-42.
          Publisher: IEEE,
          October 2017
          ACM SIGCOMM 2017 Poster
          Los Angeles, USA, 21.8.2017 - 25.8.2017
          Publisher: ACM,
          August 2017
          ISBN: 978-1-4503-5057-0/17/08
          Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle and James Gross
          Proceedings of the 5th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’17), Singapore, Singapore
          Publisher: ACM,
          May 2017
          ISBN: 978-1-4503-4489-0
          Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann and Klaus Wehrle
          Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232.
          Publisher: ACM, New York, NY
          May 2016
          Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić and Klaus Wehrle
          The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012), 30 October - 02 November 2012, Austin, TX, USA, page 6 S..
          Piscataway, NJ, USA
          October 2012
          ISBN: 978-1-4673-2445-8
          Oscar Soria Dustmann, Raimondas Sasnauskas and Klaus Wehrle
          April 2012
          Previous | 1, 2 | Next
          Export as:
          BibTeX, XML
          - Impressum -