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

Tobias Pfeffer and Paula Herber and Jörg Schneider (2014). Reverse Engineering of ARM Binaries Using Formal Transformations. International Conference on Security of Information and Networks (SIN'14). ACM, 345-351.


Franziska Bathelt-Tok (2014). Safe and Reliable Interoperability of Medical Devices using Data-Dependent Controller Synthesis. IEEE Intelligent Informatics Bulletin. 15. IEEE, 24-25.


Paula Herber and Sabine Glesner (2013). A HW/SW Co-Verification Framework for SystemC. ACM Transactions on Embedded Computing Systems (TECS). ACM.


Thomas Göthel (2013). Maschinelle Verifikation von parametrisierten Echtzeitsystemen. Ausgezeichnete Informatikdissertationen 2012. Bonner Köllen Verlag, 121–130.


Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.


Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe