direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering


Course list summer term 2022 available

You can now find an overview of our courses in the coming summer semester here.


Attention: There is no consultation hour with Prof. Glesner on Monday, 27 June 2022!



Major Research Topics

  • Quality Assurance for Embedded Systems
  • Software Engineering for Embedded Systems
  • Conception and Synthesis of Embedded Systems


Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner (2018). Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.

Sebastian Schlesinger (2018). Verified Model Refactorings for Hybrid Control Systems. DATE Conference PhD Forum

Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.

Verena Klös and Thomas Göthel and Adrian Lohr and Sabine Glesner (2017). Runtime Management and Quantitative Evaluation of Changing System Goals. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 226–233.

Timm Liebrenz and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Postal Address

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
sec. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin