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

  • SAFE: Safety Analysis of Concurrent Systems

Selected Past Projects

  • KleeNet: Symbolic Execution of Distributed Systems
  • SYMBIOSYS: SYMbolic analysis of temporal and functional BehavIOr of networked SYStems

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

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
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
Fredrik Österlind, Raimondas Sasnauskas, Adam Dunkels, Oscar Soria Dustmann and Klaus Wehrle
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), Zurich, Switzerland, page 383--384.
Publisher: ACM, New York, NY, USA
November 2010
ISBN: 978-1-4503-0344-6
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2010), Stockholm, Sweden, page 186--196.
Publisher: ACM, New York, NY, USA
April 2010
ISBN: 978-1-60558-988-6
Proceedings of the 6th ACM conference on Embedded network sensor systems (SenSys'08), Raleigh, NC, USA, page 425--426.
Publisher: ACM, New York, NY, USA
November 2008
ISBN: 978-1-59593-990-6
Chair of Communication and Distributed Systems (ComSys), Berlin, Germany
September 2008
Previous | 1, 2 | Next
Export as:
- Impressum | Datenschutz -