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.


Holger Giese and Sabine Glesner and Johannes Leitner and Wilhelm Schäfer and Robert Wagner (2006). Towards Verified Model to Code Transformations. Proc. of the 3rd Workshop on Model design and Validation (MoDeV2a'06): Perspectives on Integrating MDA and V&V, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Sabine Glesner (2006). Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing,

M. Broy and M. Jarke and M. Nagl and D. Rombach (Redaktion) and A. Cremers and J. Ebert and Sabine Glesner and M. Glinz and M. Goedicke and G. Goos and V. Gruhn and W. Hasselbring and Stefan Jähnichen and S. Kowalewski and B. Krämer and S. Leue and C. Lewerentz and P. Liggesmeyer and C. Lüth and B. Paech and H. Partsch and I. Philippow and L. Prechelt and A. Rausch and w.-P. de Roever and B. Rumpe and G. Rünger and W. Schäfer and K. Schneider and A. Schürr and W. Tichy and B. Westfechtel and W.Zimmermann and A. Zündorf (Mit-Autoren/Unterzeichner) (2006). Dagstuhl-Manifest zur strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop \"Challenges for Software Engineering Research\"

Sabine Glesner and Johannes Leitner and Jan Olaf Blech (2006). Coinductive Verification of Program Optimizations using Similarity Relations. Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006). Electronic Notes in Theoretical Computer Science (ENTCS).

Lars Gesellensetter and Sabine Glesner (2006). Only the best can make it: optimal component selection. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA). Electronic Notes in Theoretical Computer Science (ENTCS).

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