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


Franziska Bathelt-Tok and Sabine Glesner and Oliver Blankenstein (2014). Data-Dependent Controller Synthesis to Enable Reliable and Safe Interoperability of Medical Devices. Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare. 8377. ACM, 162-165.

Franziska Bathelt-Tok and Sabine Glesner (2014). Towards the Automated Synthesis of Data Dependent Service Controllers. PhD Symposium of the 11th International Conference on Service Oriented Computing (ICSOC 2013). Springer-Verlag Berlin Heidelberg, 528-534.

Robert Reicherdt and Sabine Glesner (2014). Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie. 12th International Conference on Software Engineering and Formal Methods. Springer, 190-204.

Paula Herber and Bettina Hünnemeyer (2014). Formal Verification of SystemC Designs using the BLAST Software Model Checker. International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB@MODELS). CEUR, 44-53.

Paula Herber (2014). The RESCUE Approach – Towards Compositional Hardware/Software Co-Verification. IEEE International Conference on Embedded Software and Systems. IEEE, 721-724.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

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