direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Welcome at the Chair Software and Embedded Systems Engineering

News

Course list summer term 2022 available

You can now find an overview of our courses in the coming summer semester here.

 

Attention: There is no consultation hour with Prof. Glesner on Monday, 27 June 2022!

 

 

Major Research Topics

  • Quality Assurance for Embedded Systems
  • Software Engineering for Embedded Systems
  • Conception and Synthesis of Embedded Systems

Publications

Paula Herber (2010). Automated HW/SW Co-Verification of SystemC Designs using Timed Automata. EDAA / ACM PhDForum at Design, Automation and Test in Europe (DATE)


Thomas Göthel and Sabine Glesner (2010). An Approach for Machine-Assisted Verification of Timed CSP Specifications. Innovations in Systems and Software Engineering - A NASA Journal, pp.181–193.


Sabine Glesner and Björn Bartels and Thomas Göthel and Moritz Kleine (2010). The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp.81–101.


Paula Herber and Marcel Pockrandt and Sabine Glesner (2010). Automated Conformance Evaluation of SystemC Designs using Timed Automata. IEEE European Test Symposium. IEEE Computer Society, 188 - 193.


Dagmar Krefting and Sebastian Canisius and Andreas Hoheisel and Helena Loose and Thomas Tolxdorff and Thomas Penzel (2010). Grid based sleep research – Analysis of polysomnographies using a grid infrastructure. Future Generation Computer Systems


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Secretariat

Johanna Bohlen
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
TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin