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

Timm Liebrenz (2016). Verification of Hybrid Systems in the Medical Context. Proceedings of the 10th Joint Workshop of the German Research Training Groups in Computer Science. Universitätsverlag der Technischen Universität Chemnitz, 30.


Tobias Pfeffer and Stefan Sydow and Joachim Fellmuth and Paula Herber (2016). Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. IEEE International Conference on Software Quality, Reliability & Security (QRS'16). IEEE.


Paula Herber and Sabine Glesner (2015). Verification of Embedded Real-time Systems. Formal Modeling and Verification of Cyber Physical Systems. Springer.


Paula Herber and Marcel Pockrandt and Sabine Glesner (2015). STATE – a SystemC to Timed Automata Transformation Engine. International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society.


Paula Herber and Verena Klös (2015). A Multi-Robot Search Using LEGO Mindstorms - An Embedded Software Design Project. Workshop on Embedded and Cyber-Physical Systems Education. ACM digital library.


Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe