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

Timm Liebrenz (2017). Service-oriented Design and Formal Verification of Hybrid Systems in the Medical Context. Proceedings of the 11th Joint Workshop of the German Research Training Groups in Computer Science, 21.


Timm Liebrenz and Verena Klös and Paula Herber (2016). Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters. ACM, 9–17.


Stefan Sydow and Mohannad Nabelsee and Anselm Busse and Sebastian Koch and Helge Parzyjegla (2016). Performance-Aware Device Driver Architecture for Signal Processing. 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 67-75.


Marcus Mikulcak and Thomas Göthel and Paula Herber and Sabine Glesner (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI), 1495–1508.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.


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