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

Jan Olaf Blech and Lars Gesellensetter and Sabine Glesner (2005). Formal Verification of Dead Code Elimination in Isabelle/HOL. Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society Press, 200-209.



Sabine Glesner (2004). Verification of Optimizing Compilers. Fakultät für Informatik, Universität Karlsruhe


Jan Olaf Blech and Sabine Glesner (2004). A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. Proceedings der 3. Arbeitstagung Programmiersprachen (ATPS) auf der 34. Jahrestagung der Gesellschaft für Informatik. Lecture Notes in Informatics, 449 - 458.


Sabine Glesner and G. Goos and F. v. Henke and H. Langmaack and W. Goerigk and W. Zimmermann (2004). Abschlussbericht Verifix. Bericht zur Vorlage bei der Deutschen Forschungsgemeinschaft


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe