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

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

Benjamin Feldner and Paula Herber (2018). A Qualitative Evaluation of IPv6 for the Industrial Internet of Things [41]. International Workshop on the Future of the Internet of Things (FIT 2018, to appear). Elsevier.


Verena Klös and Thomas Göthel and Sabine Glesner (2018). Runtime Management and Quantitative Evaluation of Changing System Goals in Complex Autonomous Systems [42]. Journal of Systems and Software. Elsevier, 314–327.


Timm Liebrenz and Paula Herber and Sabine Glesner (2018). Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X [43]. International Conference on Formal Engineering Methods. Springer.


Timm Liebrenz (2018). Service-Oriented Design and Verification of Hybrid Control Systems [44]. International Conference on Formal Engineering Methods. Springer.


Nils Berg and Thomas Göthel and Armin Danziger and Sabine Glesner (2018). Preserving liveness guarantees from synchronous communication to asynchronous unstructured low-level languages [45]. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.


<< zurück [46]
vor >> [82]

Prof. Dr. Sabine Glesner

Sekretariat

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