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

(2007). Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification, COCV'07. COCV. Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier.


Sabine Glesner (2007). Optimierende Compiler: Vertrauen ist gut, Verifikation ist besser!. Unsere Zukunft 2020 - Was morgen und übermorgen Stand der Technik sein könnte. Universum Verlag.


Sabine Glesner and Stefan Jähnichen and Barbara Paech and Bernhard Rumpe and Thomas Wetter and Alfred Winter (2007). Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Informatik – Forschung und Entwicklung


Sabine Glesner and Steffen Helke and Stefan Jähnichen (2007). VATES: Verifying the Core of a Flying Sensor. Proc. Conquest 2007, 10th International Conference on Quality Engineering in Software Technology. dpunkt Verlag.


Lars Gesellensetter and Sabine Glesner and Elke Salecker (2007). Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)


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