direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering


The paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution" received the "Outstanding Paper Award" at the ACM CODASPY 2019.

Major Research Topics

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

SESE Newsletter

Those interested in our colloquium and other presentations can for the SESE newsletter.


Franziska Bathelt-Tok (2014). Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis. IEEE Intelligent Informatics Bulletin. 15. IEEE, 24-25.

Paula Herber and Sabine Glesner (2013). A HW/SW Co-Verification Framework for SystemC. ACM Transactions on Embedded Computing Systems (TECS). ACM.

Thomas Göthel (2013). Maschinelle Verifikation von parametrisierten Echtzeitsystemen. Ausgezeichnete Informatikdissertationen 2012. Bonner Köllen Verlag, 121–130.

Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.

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.

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Prof. Dr. Sabine Glesner


Johanna Bohlen
Room TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866

Office hours:
Mon Tue Wed Thu
10:30 - 12:30

Postal Address

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