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)

(JPG, 3,7 MB)

News

Lupe

Wir sind umgezogen.

Unser gesamtes Team ist nun im 10. Stockwerk des TEL Gebäudes zu finden.

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

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.


Nils Jähnig and Thomas Göthel and Sabine Glesner (2016). Refinement-Based Verification of Communicating Unstructured Code. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Springer, 61–75.


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.


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.


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