AG Betriebssysteme, Verteilte Systeme

Operating Systems and Distributed Systems

The research group Operating Systems and Distributed Systems (AG Betriebssysteme und Verteilte Systeme) is headed by Jan Peleska. The group's research focus is on

  • Safety-critical, potentially autonomous, control systems and their validation and verification
  • Test automation
  • Formal verification

Applications are focussed on the domains

  • Railways
  • Avionics
  • Automotive

Publications

Publication page of our research group

Current Staff Members

  • Prof. Dr. habil. Jan Peleska
  • Felix Brüning
  • Dr. Mario Gleirscher
  • Dr. rer. nat. habil. Wen-ling Huang
  • Niklas Krafczyk
  • Robert Sachtleben