direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering

News

The paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution" received the "Outstanding Paper Award" at the ACM CODASPY 2019.

Major Research Topics

  • Quality Assurance for Embedded Systems
  • Software Engineering for Embedded Systems
  • Conception and Synthesis of Embedded Systems

SESE Newsletter

Those interested in our colloquium and other presentations can for the SESE newsletter.

Publications

Timm Liebrenz and Verena Klös and Paula Herber (2016). Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC. ACM SIGAda Ada Letters. ACM, 9–17.


Stefan Sydow and Mohannad Nabelsee and Anselm Busse and Sebastian Koch and Helge Parzyjegla (2016). Performance-Aware Device Driver Architecture for Signal Processing. 2016 28th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 67-75.


Marcus Mikulcak and Thomas Göthel and Paula Herber and Sabine Glesner (2016). Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. INFORMATIK 2016. Gesellschaft für Informatik (GI), 1495–1508.


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. Cyber Physical Systems. Design, Modeling, and Evaluation. Springer, 71-86.


Paula Herber and Verena Klös (2016). A Multi-Robot Search Using LEGO Mindstorms – An Embedded Software Design Project. ACM SIGBED Review, Special Issue on Embedded and Cyber-Physical Systems Education. ACM.


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Prof. Dr. Sabine Glesner

Secretariat

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

Office hours:
Mon Tue Wed Thu
10:30 - 12:30

Postal Address

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