60 https://www.uni-bremen.de/agbs Website der AGBS de Universität Bremen Wed, 12 Aug 2026 20:37:14 +0200 Wed, 12 Aug 2026 20:37:14 +0200 Universität Bremen content-554193 Tue, 24 Oct 2023 13:32:37 +0200 https://www.uni-bremen.de/agbs#c554193 <p>The research group <strong>Operating Systems and Distributed Systems</strong> (AG Betriebssysteme und Verteilte Systeme) is headed by Jan Peleska. The group's research focus is on</p> <ul> <li>Safety-critical, potentially autonomous, control systems and their validation and verification</li> <li>Test automation</li> <li>Formal verification</li> </ul> <p>Applications are focussed on the domains</p> <ul> <li>Railways</li> <li>Avionics</li> <li>Automotive</li> </ul> <h3>Publications</h3> <p><a class="internalLink" href="t3://page?uid=62325" title="Öffnet internen Link in aktuellem Fenster">Publication page of our research group</a></p> <h3>Current Staff Members</h3> <ul> <li>Prof. Dr. habil. Jan Peleska</li> <li>Felix Brüning</li> <li><a class="externalLink" href="https://www.gleirscher.at/mg/" target="_blank" title="Öffnet externen Link in neuem Fenster">Dr. Mario Gleirscher</a></li> <li>Dr. rer. nat. habil. Wen-ling Huang</li> <li>Niklas Krafczyk</li> <li>Robert Sachtleben</li> </ul> Content