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


Sabine Glesner (2003). Program Checking with Certificates: Separating Correctness-Critical Code. Proceedings of the 12th International FME Symposium (Formal Methods Europe). Springer Verlag, Lecture Notes in Computer Science, Vol. 2805, 758-777.

Sabine Glesner and Jan Olaf Blech (2003). Classifying and Formally Verifying Integer Constant Folding. Proceedings of the Workshop COCV 2003: Compiler Optimization meets Compiler Verification. Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 82, No. 2.

Sabine Glesner (2003). Using Program Checking to Ensure the Correctness of Compiler Implementations. Journal of Universal Computer Science (J.UCS), 191-222.

Sabine Glesner (2003). ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines - Advances in Theory and Applications, Proceedings of the 10th International Workshop, ASM 2003. Springer Verlag, Lecture Notes in Computer Science, Vol. 2589, 293-308.

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