direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

(früherer Name: Programmierung Eingebetteter Systeme)

News

Das Paper "Runtime Management and Quantitative Evaluation of Changing System Goals" erhielt den "Distinguished Paper Award" auf der SEAA 2017.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

Thomas Göthel and Sabine Glesner (2010). Towards the Semi-Automatic Verification of Parameterized Real-Time Systems using Network Invariants. Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, 310–314.


Moritz Kleine and Thomas Göthel (2010). Specification, Verification and Implementation of Business Processes using CSP. Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE, 145–154.


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


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

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

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

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