direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Willkommen beim Fachgebiet Software and Embedded Systems Engineering

[1]

News

Gesamtes Lehrangebot ab sofort in virtueller Form

Aufgrund der fortbestehenden Corona Pandemie bieten wir in diesem Sommersemester unser gesamtes Lehrangebot in digitaler Form an. Für die Umstellung auf Online-Lehre erarbeiten wir derzeit mit Hochdruck umfassende neue Konzepte. Informationen zu einzelnen Veranstaltungen entnehmen Sie bitte den Modulseiten auf ISIS und dieser Website. Hinweis: wenn Sie einem ISIS Kurs beitreten, ist dies keine verbindliche Prüfungsanmeldung.

Auch virtuelle Module kosten Zeit. Häufig erhöht sich der Modulaufwand durch den Wegfall von regelmäßigen Präsenzterminen sogar. So müssen Sie beispielsweise noch mehr als sonst selbständig arbeiten. Machen Sie sich dies bewusst und helfen Sie uns mit ihrer Beteiligung, gemeinsam gut durch diese schwierige Zeit kommen!

Generelle Informationen zur Online-Lehre und Online-Prüfungen finden Sie hier: https://www.pruefungen.tu-berlin.de/menue/sommersemester_2020_digital/studierende/ [2]

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 anmelden [3].

Aktuelle Veröffentlichungen

<< zurück [4]

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


Sabine Glesner (1998). Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages [41]. Proceedings of the Workshop on Functional and Logic Programming


Thomas Kolbe and Sabine Glesner (1997). Many-Sorted Logic in a Learning Theorem Prover [42]. 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 [43]. 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.).


Sabine Glesner and Daphne Koller (1995). Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases [44]. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU. Springer Verlag, Lecture Notes in Artificial Intelligence, 217-226.


<< zurück [45]

Prof. Dr. Sabine Glesner

Sekretariat

Johanna Bohlen
Raum TEL 1006
Tel.: +49 30 314-78865
Fax: +49 30 314-78866
E-Mail-Anfrage [81]
Ö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
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008