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

Moritz Kleine and Björn Bartels and Thomas Göthel and Steffen Helke and Dirk Prenzel (2011). LLVM2CSP: Extracting CSP Models from Concurrent Programs. Proceedings of the Third NASA Formal Methods Symposium. Springer, 500-505.


Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Towards a Formal Semantics of the SystemC-TLM Core Interfaces. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)


Björn Bartels and Moritz Kleine (2011). A CSP-based framework for the specification, verification, and implementation of adaptive systems. Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, 158–167.


Björn Bartels (2011). Verification of Low-Level Real-Time Programs using Timed CSP. Formal Methods 2011 Doctoral Symposium


Marcel Pockrandt and Paula Herber and Sabine Glesner (2011). Model Checking a SystemC/TLM Design of the AMBA AHB Protocol. IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia. IEEE Computer Society, 66-75.


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