direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering

News

Our course offering this summer term

Due to the ongoing Corona pandemic, we provide our complete course range online this semester. Our team is currently developing suitable teaching concepts. For course-specific details, please consult the corresponding course page on ISIS or on this website.

Please note that our online offerings will require you to work independently even more than our traditional courses do. Be prepared to do so before participating, so that we can make the best of this difficult time!

 

On the occasion of the current risk of infection with the coronavirus please note:

Monday, 16 March 2020,

Please check the homepage of the TU Berlin regularly for information regarding the immediate measures taken by the university related to the coronavirus. For instance, you can find a link to the examination office there.

 

Thursday, 12 March 2020

Please call or write an email to contact the secretary or the staff members of SESE! Most of the questions can be resolved this way. Thank you!

Third try exams are possible starting from the beginning of the lecture period, presumably from 20 April 2020 (maybe later).  You can already write an email to the secretary to be inscribed preliminarily for the next exam date.

Registration of theses: Please contact your supervising scientific coworker of SESE to hand him/her in your registration sheet from the examination office.

Post-exam reviews will not be held for the time being. Please watch out for announcements from your instructors.

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

Tobias Pfeffer and Thomas Göthel and Sabine Glesner (2019). Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 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. 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. 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. 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. International Conference on Formal Aspects of Component Software. Springer.


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