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

Verena Klös and Thomas Göthel and Sabine Glesner (2016). Formal models for analysing dynamic adaptation behaviour in real-time systems. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, 106-111.


Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2016). Splitting tasks for migrating real-time automotive applications to multi-core ECUs. Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES 2016), 113-120.


Timm Liebrenz (2016). Verification of Hybrid Systems in the Medical Context. Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science. Universitätsverlag der Technischen Universität Chemnitz, 30.


Tobias Pfeffer and Stefan Sydow and Joachim Fellmuth and Paula Herber (2016). Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. IEEE International Conference on Software Quality, Reliability & Security (QRS'16). IEEE.


Paula Herber and Sabine Glesner (2015). Verification of Embedded Real-time Systems. Formal Modeling and Verification of Cyber Physical Systems. Springer.


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