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

Thomas Göthel and Sabine Glesner (2009). Machine Checkable Timed CSP. Proc. of The First NASA Formal Methods Symposium (NFM '09). NASA Conference Publication, pp.126–135.


Dirk Tetzlaff (2008). Erweitertes Hyperblock-Scheduling für VLIW-Prozessoren. GI Informatiktage 2008


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.


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