direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

(früherer Name: Programmierung Eingebetteter Systeme)

News

Das Paper "Runtime Management and Quantitative Evaluation of Changing System Goals" erhielt den "Distinguished Paper Award" auf der SEAA 2017.

Forschungsschwerpunkte

  • Qualitätssicherung für eingebettete Systeme
  • Software-Engineering für eingebettete Systeme
  • Entwurf und Synthese eingebetteter Systeme

SESE-Newsletter

Wer Interesse an unserem Kolloquium und anderen Vorträgen hat, kann sich für den SESE-Newsletter .

Aktuelle Veröffentlichungen

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)


Holger Giese and Sabine Glesner and Johannes Leitner and Wilhelm Schäfer and Robert Wagner (2006). Towards Verified Model to Code Transformations. Proc. of the 3rd Workshop on Model design and Validation (MoDeV2a'06): Perspectives on Integrating MDA and V&V, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

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

Öffnungszeiten:
Mo, Di, Mi, Do
10:30 - 12:30 Uhr

Postanschrift

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