direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Programmierung eingebetteter Systeme

Forschungsschwerpunkte

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

PES-Newsletter

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

Aktuelle Veröffentlichungen

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2016). Proving Transformation Correctness of Refactorings for Discrete and Continuous Simulink Models. ICONS 2016, The Eleventh International Conference on Systems, EMBEDDED 2016, International Symposium on Advances in Embedded Systems and Applications. IARIA XPS Press, 45-50.


Verena Klös and Thomas Göthel and Sabine Glesner (2015). Adaptive Knowledge Bases in Self-Adaptive System Design. 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 472 - 478.


Lydia Jaß and Paula Herber (2015). Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving. International Embedded Systems Symposium (IESS'2015, to appear). Springer.


Thomas Göthel and Verena Klös and Björn Bartels (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Transactions on Self-Adaptive Systems


Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2015). Towards the Verification of Refactorings of Hybrid Simulink Models. Proceedings of the Third International Workshop on Verification and Program Transformation (VPT 2015), 69.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Prof. Dr. Sabine Glesner

Sekretariat

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

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

Postanschrift

Technische Universität Berlin
Fachgebiet Programmierung
eingebetteter Systeme
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin