TU Berlin

Software and Embedded Systems EngineeringSoftware and Embedded Systems Engineering

SESE-Logo in blau

Page Content

to Navigation

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


Helena Gruhn and Sabine Glesner (2013). Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)), 49-62.

Daniel Stöhr and Sabine Glesner (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.

Helena Gruhn and Daniel Stöhr and Mehmet Gövercin and Sabine Glesner (2013). Design and Verification of a Health-Monitoring Driver Assistance System. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .

Paula Herber and Robert Reicherdt and Patrick Bittner (2013). Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving. International Conference on Embedded Software (EMSOFT'13), 1-10.

Thomas Göthel and Sabine Glesner (2013). Automatic Validation of Infinite Real-Time Systems. Proceedings FormaliSE, 57–63.


Quick Access

Schnellnavigation zur Seite über Nummerneingabe