direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

(früherer Name: Programmierung Eingebetteter Systeme)

(JPG, 3,7 MB)

News

Lupe

Wir sind umgezogen.

Unser gesamtes Team ist nun im 10. Stockwerk des TEL Gebäudes zu finden.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

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.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

Technische Universität Berlin
Fachgebiet Software and
Embedded Systems Engineering
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin