TU Berlin

Software and Embedded Systems EngineeringSoftware and Embedded Systems Engineering

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

Übersicht Veranstaltungen im Wintersemester 2022/23 jetzt online

Ab sofort finden Sie unter "Studium und Lehre" eine Übersicht über unsere Veranstaltungen im Wintersemester.

Link

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

Aktuelle Veröffentlichungen

Guilherme Grochau Azzi and Andrea Corradini and Leila Ribeiro (2019). On the essence and initiality of conflicts in M-adhesive transformation systems. Journal of Logical and Algebraic Methods in Programming. Elsevier.


Blumreiter, Mathias and Greenyer, Joel and Garcia, Francisco J Chiyah and Karlsson, Jesper and Klös, Verena and Schwammberger, Maike and Sommer, Christoph and Vogelsang, Andreas and Wortmann, Andreas (2019). Self-Explainable Cyber-Physical Systems. Explainable Software for Cyber-Physical Systems (ES4CPS), 8.


Timm Liebrenz and Paula Herber and Sabine Glesner (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models. International Conference on Formal Aspects of Component Software. Springer.


Klös, Verena (2019). Explainable Self-Learning Self-Adaptive Systems. Explainable Software for Cyber-Physical Systems (ES4CPS), 46.


Tobias Pfeffer and Sabine Glesner (2019). Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop. ACM, 153–164.


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe