Seminar über Automatentheorie
» This course is given in German.
Seminar im Sommersemester 2000
| Art | Termine/Ort | Beginn | Veranstalter |
|---|---|---|---|
| S2 | Do 11:00 - 12:30 4116 | 13.04.2000 | Thomas, Löding |
Inhalt
In diesem Seminar werden ausgewählte Originalarbeiten zur Automatentheorie und ihrer Anwendungen in Programmverifikation und -synthese behandelt. Hierzu gehören auch Automatenmodelle über unendlichen Strukturen (omega-Wörter, unendliche Bäume).
Zuordnung
Theoretische Informatik
Voraussetzungen
Vorkenntnisse aus einer der Vorlesungen "Automaten und Reaktive Systeme" oder "Temporal Logic and Model-Checking" sind von großem Nutzen.
Vorträge
Teil I: omega-Automaten
- Von omega-regulären Ausdrücken zu omega-Automaten
-
Vortrag: Torsten Isenhardt
Termin: 13.04.2000
Betreuer: Löding - Konstruktion deterministischer omega-Transducer
-
Vortrag: Erik Molenaar
Termin: 20.04.2000
Betreuer: Thomas - omega-Automaten versus Baumautomaten
-
Vortrag: Jörg Reibel
Termin: 27.04.2000
Betreuer: Löding - Optimierte Gewinnstrategien in unendlichen Spielen
-
Vortrag: Dominik Schmitz
Termin: 11.05.2000
Betreuer: Löding
Teil II: Hierarchische und Nebenläufige Automatenmodelle
- Verteilte Transitionssysteme
-
Vortrag: Martin Pöschmann
Termin: 18.05.2000
Betreuer: Löding - Alternation und Nebenläufigkeit in Automaten
-
Vortrag: Dorothea Winkler
Termin: 25.05.2000
Betreuer: Löding - Hierarchische und verteilte Automaten
-
Vortrag: Thomas Koschel
Termin: 08.06.2000, 11.30 Uhr
Betreuer: Thomas - Model-Checking für hierarchische Automaten
-
Vortrag: Mario Jußen
Termin: 19.06.2000, 8.15 Uhr
Betreuer: Thomas
Teil III: Automaten mit Zeitbedindungen, Model Checking
- Symbolisches Model-Checking ohne BDD's
-
Vortrag: Michael Weber
Termin: 26.06.2000, 8.15 Uhr
Betreuer: Thomas - Quantitative Verschärfung im Linearzeit-Model-Checking
-
Vortrag: Martin Keschenau
Termin: 29.06.2000, 11.30 Uhr
Betreuer: Thomas - Die Uhrenhierarchie für Automaten mit Zeitbedingungen
-
Vortrag: Nico Wallmeier
Termin: 6.07.2000, 11.30 Uhr
Betreuer: Thomas - Zeitbedingungen in regulären Ausdrücken und Automaten
-
Vortrag: Nikolai Krambrock
Termin: 13.07.2000, 11.30 Uhr
Betreuer: Thomas