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


Sabine Glesner and Rubino Geiß and Boris Boesler (2002). Verified Code Generation for Embedded Systems. In Proceedings of the COCV-Workshop 2002 (Compiler Optimization meets Compiler Verification). 5th European Conferences on Theory and Practice of Software (ETAPS 2002), 1-18.


Sabine Glesner and Wolf Zimmermann (2001). Structural Simulation Proofs based on ASMs even for Non-Terminating Programs. Proceedings of the ASM-Workshop, Eight International Conference on Computer Aided Systems Theory EUROCAST 2001, 235-238.


Sabine Glesner (1999). Natural Semantics for Imperative and Object-Oriented Programming Languages. Proceedings der 29. Jahrestagung der Gesellschaft für Informatik, Arbeitstagung Programmiersprachen. Springer Verlag, 370-379.



Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe