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

Das Paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution [2]" erhielt bei der ACM CODASPY 2019 den "Outstanding Paper Award".

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

Verification of Hybrid Systems in the Medical Context
Zitatschlüssel Liebrenz2016d
Autor Timm Liebrenz
Buchtitel Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science
Seiten 30
Jahr 2016
ISBN 978-3-944640-88-4
Verlag Universitätsverlag der Technischen Universität Chemnitz
Link zur Originalpublikation [4] Download Bibtex Eintrag [5]

Prof. Dr. Sabine Glesner

Sekretariat

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