TU Berlin

Software and Embedded Systems EngineeringSoftware and Embedded Systems Engineering

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

News

Übersicht Veranstaltungen im Wintersemester 2022/23 jetzt online

Ab sofort finden Sie unter "Studium und Lehre" eine Übersicht über unsere Veranstaltungen im Wintersemester.

Link

Forschungsschwerpunkte

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

Aktuelle Veröffentlichungen

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


Sabine Glesner (2006). Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects of Computing,


M. Broy and M. Jarke and M. Nagl and D. Rombach (Redaktion) and A. Cremers and J. Ebert and Sabine Glesner and M. Glinz and M. Goedicke and G. Goos and V. Gruhn and W. Hasselbring and Stefan Jähnichen and S. Kowalewski and B. Krämer and S. Leue and C. Lewerentz and P. Liggesmeyer and C. Lüth and B. Paech and H. Partsch and I. Philippow and L. Prechelt and A. Rausch and w.-P. de Roever and B. Rumpe and G. Rünger and W. Schäfer and K. Schneider and A. Schürr and W. Tichy and B. Westfechtel and W.Zimmermann and A. Zündorf (Mit-Autoren/Unterzeichner) (2006). Dagstuhl-Manifest zur strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop \"Challenges for Software Engineering Research\"


Sabine Glesner and Johannes Leitner and Jan Olaf Blech (2006). Coinductive Verification of Program Optimizations using Similarity Relations. Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006). Electronic Notes in Theoretical Computer Science (ENTCS).


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe