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]

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 [41]. 20th International Conference on Formal Engineering Methods (ICFEM). Springer, 303–319.


Sebastian Schlesinger (2018). Verified Model Refactorings for Hybrid Control Systems [42]. DATE Conference PhD Forum


Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language [43]. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.


Verena Klös and Thomas Göthel and Adrian Lohr and Sabine Glesner (2017). Runtime Management and Quantitative Evaluation of Changing System Goals [44]. 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 226–233.


Timm Liebrenz and Paula Herber and Thomas Göthel and Sabine Glesner (2017). Towards Service-oriented Design of Hybrid Systems modeled in Simulink [45]. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017). IEEE, 469–474.


<< 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