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 Sabine Glesner and Johannes Leitner and Steffen Mülling (2005). Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. Proceedings of the COCV-Workshop (Compiler Optimization meets Compiler Verification), 8th European Conferences on Theory and Practice of Software (ETAPS 2005). Elsevier, 33-51.


Sabine Glesner and Jan Olaf Blech (2005). Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Proceedings der Tagung Software Engineering 2005. Lecture Notes in Informatics (LNI), 131-140.


Stefan Kopp and Lars Gesellensetter and Nicole Krämer and Ipke Wachsmuth (2005). A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application. The 5th International Working Conference on Intelligent Virtual Agents (IVA. Springer.



Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe