direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering

[1]

News

The paper "Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution [2]" 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 sign up [3] for the SESE newsletter.

Publications

next >> [39]

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution [40]. 2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), 318-325.


Konstantin Scherer and Tobias Pfeffer and Sabine Glesner (2019). I/O Interaction Analysis of Binary Code [41]. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019), 225-230.


Joachim Fellmuth and Jonas Zell and Sabine Glesner (2019). Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation [42]. 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)


Guilherme Grochau Azzi and Andrea Corradini and Leila Ribeiro (2019). On the essence and initiality of conflicts in M-adhesive transformation systems [43]. Journal of Logical and Algebraic Methods in Programming. Elsevier.


Timm Liebrenz and Paula Herber and Sabine Glesner (2019). A Service-oriented Approach for Decomposing and Verifying Hybrid System Models [44]. International Conference on Formal Aspects of Component Software. Springer.


next >> [80]

Prof. Dr. Sabine Glesner

Secretariat

Johanna Bohlen
Room TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
e-mail query [81]
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
------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Copyright TU Berlin 2008