direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

Das Paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution" erhielt bei der ACM CODASPY 2019 den "Outstanding Paper Award".

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

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.


Dirk Tetzlaff (2008). Erweitertes Hyperblock-Scheduling für VLIW-Prozessoren. GI Informatiktage 2008. Köllen Druck+Verlag GmbH, 111-114.


Lars Gesellensetter and Sabine Glesner (2008). Interprocedural Speculative Optimization of Memory Accesses to Global Variables. European Conference on Parallel and Distributed Computing (Euro-Par 2008). LNCS.


Paula Herber and Joachim Fellmuth and Sabine Glesner (2008). Model Checking SystemC Designs Using Timed Automata. Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)


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