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

Sabine Glesner and Karl Stroetmann (1999). Combining Inclusion Polymorphism and Parametric Polymorphism. Computing Research Repository: Logic in Computer Science Document ID: xxx.cs.LO/9906013, NCSTRL-Server http://www.ncstrl.org/.


Sabine Glesner and Wolf Zimmermann (1998). Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis. Proceedings of the Systems Implementation Conference (SI2000). Chapman & Hall, 249-262.



Thomas Kolbe and Sabine Glesner (1997). Many-Sorted Logic in a Learning Theorem Prover. Proceedings of the 21st German Annual Conference on Artificial Intelligence (KI'97). Springer Verlag, Lecture Notes in Computer Science, 75-86.


Sabine Glesner and Wolf Zimmermann (1997). Using Many-Sorted Inference Rules to Generate Semantic Analysis. Proceedings des Workshops der Informatik- Graduiertenkollegs "Promotion tut not: Innovationsmotor Graduiertenkolleg" im Rahmen der GI-Jahrestagung 1997. Verlag der Augustinus Buchhandlung (Aachener Beiträge zur Informatik, Band 21), Otto Spaniol (Hrsg.).


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Prof. Dr. Sabine Glesner

Postal Address

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