AG Betriebssysteme, Verteilte Systeme

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

Aktualisiert von: Niklas Krafczyk