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

Paula Herber and Florian Friedemann and Sabine Glesner (2009). Combining Model Checking and Testing in a Continuous HW/SW Co-Verification Process. 3rd International Conference on Tests and Proofs (TAP'09). Springer, 121-136.


Thomas Göthel and Sabine Glesner (2009). Machine Checkable Timed CSP. Proc. of The First NASA Formal Methods Symposium (NFM '09). NASA Conference Publication, pp.126–135.


Dirk Tetzlaff (2008). Erweitertes Hyperblock-Scheduling für VLIW-Prozessoren. GI Informatiktage 2008


Michael Beyer and Andreas Rose and Emanuel Jank and Jörg Krüger (2008). Softwaretechnische Instrumentenunterstützung für ein leistungssteuerndes HNO Navigationssystem. Computer Science - Research and Development. Springer Berlin / Heidelberg, 147-160.


Sabine Glesner and Andreas Humbert (2008). A Formal Semantics of Intermediate Compiler Representations in Isabelle/HOL. Proceedings of the Workshop Compiler Optimization meets Compiler Verification (COCV 2008). Elsevier.


Navigation

Quick Access

Schnellnavigation zur Seite über Nummerneingabe