direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

  • Lehrveranstaltungen im Wintersemester 2021/22
    Bitte beachten Sie, dass aufgrund des IT-Angriffs auf die TU Berlin zur Zeit kein Zugriff auf IT-Systeme möglich ist, die für die Pflege dieser Webseite notwendig sind, daher sind leider nicht alle Angaben aktuell gehalten.
    Unser Lehrangebot im Wintersemester 2021/22 finden Sie daher gesammelt unter diesem Link.
     
  • Abschlusspräsentationen Programmierpraktika verfügbar
    Die Endpräsentationen unserer Studierenden im Programmierpraktikum sind ab sofort als Video auf unserer Website verfügbar! Link: https://www.sese.tu-berlin.de/menue/studium_und_lehre/studierendenprojekte/programmierpraktika_202021/
     
  • Angebot Sommersemester 2021 online
    Ab sofort finden Sie unser Angebot für das kommende Sommersemester unter dem Menüpunkt "Nächstes Semester". Aufgrund der fortbestehenden Corona-Pandemie bieten wir auch im Seommersemester unser Lehrangebot in vollständig digitaler Form an. Unser Bachelor- und Masterseminar und AOES finden nicht statt. Stattdessen bieten wir das Modul QES an.

    Informationen zu einzelnen Veranstaltungen entnehmen Sie bitte den Modulseiten auf ISIS und dieser Website
    . Hinweis: wenn Sie einem ISIS Kurs beitreten, ist dies keine verbindliche Prüfungsanmeldung.

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 (2015). Adaptive Knowledge Bases in Self-Adaptive System Design. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.


Johannes Dyck and Holger Giese and Leen Lambers and Sebastian Schlesinger and Sabine Glesner (2015). Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 36-45.


Nils Jähnig and Thomas Göthel and Sabine Glesner (2015). A Denotational Semantics for Communicating Unstructured Code. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., 9–21.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.


Martin Lowinski and Dirk Ziegenbein and Sabine Glesner (2015). Partitioning Embedded Real-Time Control Software based on Communication Dependencies. Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 3–12.


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