TU Berlin

Software and Embedded Systems EngineeringSoftware and Embedded Systems Engineering

SESE-Logo in blau

Page Content

to Navigation

Welcome at the Chair Software and Embedded Systems Engineering

News

Course list summer term 2022 available

You can now find an overview of our courses in the coming summer semester here.

 

Attention: There is no consultation hour with Prof. Glesner on Monday, 27 June 2022!

 

 

Major Research Topics

  • Quality Assurance for Embedded Systems
  • Software Engineering for Embedded Systems
  • Conception and Synthesis of Embedded Systems

Publications

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

Quick Access

Schnellnavigation zur Seite über Nummerneingabe