direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering

News

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

Publications

Christine Hundt and Daniel Stöhr and Sabine Glesner (2010). Optimizing Aspect-oriented Mechanisms for Embedded Applications. TOOLS 2010. Springer, Heidelberg, 137-153.


Björn Bartels and Sabine Glesner (2010). Formal Modeling and Verification of Low-Level Software Programs. 10th International Conference on Qualtiy Software (QSIC 2010). IEEE Computer Society, pp.200–207.


Moritz Kleine and Björn Bartels (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice


Björn Bartels and Sabine Glesner and Thomas Göthel (2010). Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. International Colloquium on Graph and Model Transformation – on the occasion of the 65th birthday of Hartmut Ehrig



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