direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

[1]

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 [2].

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 anmelden [3].

Aktuelle Veröffentlichungen

<< zurück [4]
vor >> [41]

Helena Gruhn and Sabine Glesner (2013). Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks [42]. Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013)), 49-62.


Daniel Stöhr and Sabine Glesner (2013). Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking [43]. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13). IEEE Computer Society, 7-14.


Helena Gruhn and Daniel Stöhr and Mehmet Gövercin and Sabine Glesner (2013). Design and Verification of a Health-Monitoring Driver Assistance System [44]. Pervasive Computing Technologies for Healthcare (PervasiveHealth), 2013 7th International Conference on. IEEE Xplore, 266-267 .


Paula Herber and Robert Reicherdt and Patrick Bittner (2013). Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving [45]. International Conference on Embedded Software (EMSOFT'13), 1-10.


Thomas Göthel and Sabine Glesner (2013). Automatic Validation of Infinite Real-Time Systems [46]. Proceedings FormaliSE, 57–63.


<< zurück [47]
vor >> [84]

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage [85]
Ö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
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008