Entwicklung korrekter Systeme
Veranstaltungen früherer Jahre (Archiv)
Auf dieser Seite
- Wintersemester 2002/2003
- Sommersemester 2002
- Wintersemester 2001/2002
- Sommersemester 2001
- Wintersemester 2000/2001
- Sommersemester 2000
- Wintersemester 1999/2000
zurück zur Hauptseite.
1 Wintersemester 2002/2003
- Modul: Kommunizierende und mobile Systeme (3 VL, 1 Ü)
-
[Weitere Informationen]Dienstag 10-12, A14 Hörsaal 3
Mittwoch 9-10, A5 1-160
Übungen
Dienstag 14-15, A4 2-221
Dienstag 15-16, A4 2-221Olderog
Schäfer - Projektgruppe ``Kooperierende autonome Systeme'' (8P)
-
[Weitere Informationen]Zeit n.V. Dierks, Hoenicke, Olderog, Schäfer - Seminar Formale Software-Spezifikation (2 SE)
-
Zeit n.V. Olderog - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog
2 Sommersemester 2002
- Theoretische Informatik I (3VL,1Ü)
-
[Weitere Informationen]Dienstag 8-10, A14 Hörsaal 2
Mittwoch 8-10, A14 Hörsaal 2
Übungen (8 Gruppen)Olderog
Schäfer, Dierks, ...
- Modul "Temporale Logik und Modelchecking" (3VL, 1Ü)
-
[Weitere Informationen]Montag 14-16, HS F
Donnerstag 14-15, HS FWehrheim - Realzeitsysteme (4VL, 2Ü)
-
Auch als Modul für den Schwerpunkt "Eingebettete Systeme" geeignet.Stammvorlesung
Montag 8-10, HS F
Dienstag 14-16, HS F
Übungen
Montag 12-14, A5 1-160Olderog
Hoenicke - Seminar "Autonome Robotersysteme" (2 SE)
-
[Weitere Informationen]nach Vereinbarung Dierks - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog
3 Wintersemester 2001/2002
- Theoretische Informatik II (3VL,1Ü)
-
[Weitere Informationen]Dienstag 10-12, A14 Hörsaal 2
Donnerstag 10-12, Hörsaal B
Übungen (6 Gruppen)Dierks
Giesecke, Wimmel, Hoenicke
- Programmverifikation (4 VL, 2 Ü)
-
Programmverifikation ist ein systematischer Ansatz, die Fehlerfreiheit von Programmen zu zeigen. In der Vorlesung geht es vornehmlich um die Verifikation paralleler und verteilter Programme.Dienstag 10-12, HS F
Mittwoch 8-10 HS F
Übungen (1 Gruppe)
Dienstag 14-16 A5 1-160Olderog
Wehrheim - Projektgruppe ``Kooperierende autonome Systeme'' (8P)
-
Zeit n.V. Olderog, Hoenicke, NN - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog
4 Sommersemester 2001
- Prolog-Kurs (1 VL, 1 Ü)
-
Donnerstag 16-18, HS B
Übungen (1 Gruppe)
Montag 9-10 (s.t.), A5 0-054Dierks
Dierks, Möller
- Spezifikation von Daten und Prozessen (4 VL, 2 Ü)
-
Stammvorlesung
Dienstag 10-12, HS F
Mittwoch 8-10, HS F
Übungen (1 Gruppe)
Dienstag 8-10, A4 2-221Olderog
Wehrheim, Möller - Seminar Klassische Informatik-Aufsätze (2 SE)
-
Zeit n.V. Olderog - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog
5 Wintersemester 2000/2001
- Grundbegriffe der Theoretischen Informatik (4 VL, 2 Ü)
-
Grundvorlesung
Mittwoch 10-12, HS G
Freitags 12-14 HS B
Übungen (5 Gruppen)
Montag 16-18, V322
Dienstag 12-14, V322
Mittwoch 14-16, V322
Mittwoch 14-16, A4 2-221
Mittwoch 16-18, A4 2-221Wehrheim
- Realzeitsysteme (4 VL, 2 Ü)
-
Stammvorlesung
Dienstag 10-12, A4 2-221
Mittwoch 8-10, A1 0-008
Übungen (1 Gruppe)
Montag 10-12, V322Olderog
Dierks, Tapken - Seminar Formale Methoden für Java (2 SE)
-
Zeit n.V.
Vorbesprechung
Di, 18.7.2000, 13 Uhr c.t.
A3 2-214Olderog - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12, A3 2-209 Olderog - F-Praktikum Realzeitsysteme (4 PR)
-
Termin n. V. Dierks
6 Sommersemester 2000
- Programmverifikation
-
Dienstag 8-10, HS F
Donnerstag 8-10 HS F
Übungen (2 Gruppen)
Montag 8-10 A4 3-307, Ingo Brückner
Montag 10-12 A4 2-221, Henning DierksOlderog - Spezifikation reaktiver Systeme (2VL,2Ü)
-
Freitag 12-14 A3 2-209
Übungen (1 Gruppe)
Montag 10-12 A2 2-203Wehrheim - Seminar UML und Realzeiterweiterungen (2SE)
-
n. V. Prof. Damm, Olderog, Josko, Brockmeyer, Schinz, Kabous, Wehrheim - Diplomanden- und Doktorandenseminar (SE)
-
Mittwoch 10-12 , A3 2-209 Olderog
7 Wintersemester 1999/2000
- Seminar Hybride Systeme
-
Donnerstag 8-10 A4 2-221 Prof. Damm, Dierks, Fränzle, Josko - F-Praktikum Graphlayoutalgorithmen
-
Termin n. V. Tapken
