Visitenkarte - Alle Veranstaltungen für "Prof. Dr. Ernst-Rüdiger Olderog"
Aktuelle Lehrveranstaltungen für Prof. Dr. Ernst-Rüdiger Olderog
Sommersemester 2024
Wintersemester 2023/2024
- 2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-10 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2023
- 2.01.1009 Oberseminar Entwicklung korrekter Systeme
- 2.01.485 Synthese durch Spiele
- 2.01.486 Model-Checking
- 2.01.800-B Proseminar Komplexitätsklassen und ihre typischen Probleme
- 2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
Wintersemester 2022/2023
- 2.01.1009 Oberseminar Entwicklung korrekter Systeme
- 2.01.456 Real-Time-Systems
- 2.01.487 Arbeiten aus der Spieltheorie
- 2.01.800-J Proseminar Automatenmodelle in der Informatik
- 2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
Sommersemester 2022
- 2.01.400 Vorlesung - Theoretische Informatik: Logik
- 2.01.400b Tutorium Theoretische Informatik: Logik (B)
- 2.01.400d Tutorium Theoretische Informatik: Logik (D)
- 2.01.400f Tutorium Theoretische Informatik: Logik (F)
- 2.01.400g Tutorium Theoretische Informatik: Logik (G)
- 2.01.486 Seminar: Strategien im Model-Checking
- 2.01.800-B Proseminar "Einflussreiche Arbeiten der Theoretischen Informatik"
- 2.01.801-C Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-C Oberseminar Entwicklung korrekter Systeme
Wintersemester 2021/2022
- 2.01.485 Synthese durch Spiele
- 2.01.487 Logik des Autofahrens
- 2.01.800-J Proseminar "Logiken in der Informatik"
- 2.01.801-J Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-J Oberseminar Entwicklung korrekter Systeme
Sommersemester 2021
- 2.01.400 Vorlesung - Theoretische Informatik: Logik
- 2.01.4001 Tutorium Theoretische Informatik: Logik (A)
- 2.01.4002 Tutorium Theoretische Informatik: Logik (B)
- 2.01.4003 Tutorium Theoretische Informatik: Logik (C)
- 2.01.4004 Tutorium Theoretische Informatik: Logik (D)
- 2.01.4005 Tutorium Theoretische Informatik: Logik (E)
- 2.01.4006 Tutorium Theoretische Informatik: Logik (F)
- 2.01.484 Verifikation objekt-orientierter Programme
- 2.01.801-Q Forschungsseminar Entwicklung korrekter Systeme
- 2.01.AM-C Oberseminar Entwicklung korrekter Systeme
Wintersemester 2020/2021
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401-A Grundlagen der Theoretischen Informatik
- 2.01.401-B Grundlagen der Theoretischen Informatik
- 2.01.401-C Grundlagen der Theoretischen Informatik
- 2.01.401-D Grundlagen der Theoretischen Informatik
- 2.01.401-E Grundlagen der Theoretischen Informatik
- 2.01.401-F Grundlagen der Theoretischen Informatik
- 2.01.454 Kommunizierende und mobile Systeme
- 2.01.AM-O Oberseminar Theoretische Informatik
- 2.01.AM-P Oberseminar Entwicklung korrekter Systeme
Sommersemester 2020
- 2.01.2167 Forschungsseminar SCARE@Research
- 2.01.456 Real-Time Systems
- 2.01.485 Synthese durch Spiele
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2019/2020
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401a Tutorien Grundlagen der Theoretischen Informatik (A)
- 2.01.401b Tutorien Grundlagen der Theoretischen Informatik (B)
- 2.01.401c Tutorien Grundlagen der Theoretischen Informatik (C)
- 2.01.401d Tutorien Grundlagen der Theoretischen Informatik (D)
- 2.01.401e Tutorien Grundlagen der Theoretischen Informatik (E)
- 2.01.401f Tutorien Grundlagen der Theoretischen Informatik (F)
- 2.01.486 Seminar Prozessalgebren
- 2.01.8003 Proseminar Logiken in der Informatik
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2019
- 2.01.216-B Forschungsseminar Entwicklung korrekter Systeme
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2018/2019
- 2.01.2161-pb Forschungsseminar Informatik
- 2.01.453 Kombination von Spezifikationstechniken
- 2.01.8003 Proseminar Grundlagen und Anwendungen reaktiver Systeme
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2018
- 2.01.2161 Forschungsseminar Informatik
- 2.01.400 Theoretische Informatik I
- 2.01.4001 Tutorium Theoretische Informatik I
- 2.01.4002 Tutorium Theoretische Informatik I
- 2.01.4003 Tutorium Theoretische Informatik I
- 2.01.4004 Tutorium Theoretische Informatik I
- 2.01.4005 Tutorium Theoretische Informatik I
- 2.01.4007 Tutorium Theoretische Informatik I
- 2.01.4008 Tutorium Theoretische Informatik I
- 2.01.487 Seminar Logik des Autofahrens
- 2.01.8005 Proseminar Temporale Logik
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2017/2018
- 2.01.2161-pb Forschungsseminar Informatik
- 2.01.456 Realzeitsysteme
- 2.01.486 Seminar Runtime Verification
- 2.01.8003 Proseminar Programmverifikation
- 2.01.8881 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2017
- 2.01.400 Theoretische Informatik I
- 2.01.4001 Tutorium Theoretische Informatik I
- 2.01.4002 Tutorium Theoretische Informatik I
- 2.01.4003 Tutorium Theoretische Informatik I
- 2.01.4004 Tutorium Theoretische Informatik I
- 2.01.4005 Tutorium Theoretische Informatik I
- 2.01.4006 Tutorium Theoretische Informatik I
- 2.01.487 Seminar Spezifikation mit Diagrammen
- 2.01.8005 Proseminar Diagramme der Informatik
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2016/2017
- 2.01.408 Algorithmen zur Software-Verifikation
- 2.01.487 Seminar Unendliche Spiele
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2016
- 2.01.454 Kommunizierende und mobile Systeme
- 2.01.487 Seminar Synthese: Die Kunst des automatischen Problemlösens
- 2.01.8005 Proseminar Perlen der Theoretischen Informatik
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2015/2016
- 2.01.401 Theoretische Informatik II
- 2.01.4011 Tutorien Theoretische Informatik II
- 2.01.486 Seminar Logik des Autofahrens
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8017 Seminar SFB/TR AVACS
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Sommersemester 2015
- 2.01.456 Realzeitsysteme
- 2.01.487 Seminar Unendliche Spiele
- 2.01.8005 Proseminar Spiele
- 2.01.8010 Forschungsseminar Informatik
- 2.01.8015 Forschungsseminar SCARE@Research
- 2.01.8017 Seminar SFB/TR AVACS
- 2.01.942 Oberseminar Entwicklung korrekter Systeme
Archivierte Veranstaltungen
Wintersemester 2015/2016
Sommersemester 2015
Wintersemester 2014/2015
- Forschungsseminar Informatik
- Forschungsseminar SCARE@Research
- Oberseminar Entwicklung korrekter Systeme
- Programmverifikation
- Seminar Entscheidungsverfahren
- Seminar SFB/TR AVACS
Sommersemester 2014
- Automatische Verifikationsalgorithmen
- Forschungsseminar Informatik
- Forschungsseminar SCARE@Research
- Oberseminar Entwicklung korrekter Systeme
- Seminar SFB/TR AVACS
- Theoretische Informatik I
- Tutorien Theoretische Informatik I
Wintersemester 2013/2014
- Forschungsseminar Informatik
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar SCARE@Research
- Oberseminar SCARE@Research
- Seminar SFB/TR AVACS
Sommersemester 2013
- Diagramme in der Informatik
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar SCARE@Research
- Oberseminar SCARE@Research
- Quantitative Evaluation von Systemen
- Realzeitsysteme
Wintersemester 2012/2013
- Forschungsseminar Informatik
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar SCARE@Research
- Praktikum Realzeitsysteme
- Theoretische Informatik II
- Tutorien Theoretische Informatik II
Sommersemester 2012
- Modellierung und Spezifikation reaktiver Systeme
- Oberseminar Entwicklung korrekter Systeme
- Proseminar Automatenmodelle in der Informatik
- Seminar Automatenmodelle für komplexe Systeme
Wintersemester 2011/2012
- Kommunizierende und mobile Systeme
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar Trustsoft
- Proseminar Logik in der Informatik
- Seminar IT-Sicherheit
- Seminar Logiken für komplexe Systeme
- Seminar SFB/TR AVACS
Sommersemester 2011
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar Trustsoft
- Praktikum Realzeitsysteme
- Seminar SFB-Transregio AVACS
- Theoretische Informatik I
- Tutorium Theoretische Informatik I
- Tutorium Theoretische Informatik I
- Tutorium Theoretische Informatik I
- 2.01.192 Oberseminar Entwicklung korrekter Systeme
- 2.01.192 Oberseminar Entwicklung korrekter Systeme
Wintersemester 2010/2011
- Oberseminar Entwicklung korrekter Systeme
- Seminar Diagramme in der Informatik
- Seminar Spezifikation mit Diagrammen
- Verifikation objekt-orientierter Programme
Sommersemester 2010
- Algorithmen zur Software-Verifikation
- Oberseminar AVACS
- Oberseminar Entwicklung korrekter Systeme
- Oberseminar Trustsoft
- Seminar Verifikation von komplexen Systemen mit unendlichen Zustandsräumen
- Seminar Verifikation von Systemen mit unendlichen Zustandsräumen
Wintersemester 2009/2010
- Graduiertenkolleg Trustworthy Software Systems
- Realzeitsysteme
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
- Theoretische Informatik II
Sommersemester 2009
- Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- Seminar Graduiertenkolleg Trustworthy Software Systems TrustSoft
- Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2008/2009
- Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- Graduiertenkolleg Trustworthy Software Systems: TrustSoft
- Kombination von Spezifikationstechniken
- Praktikum Realzeitsysteme
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2008
- Algorithmen zur Software-Verifikation
- Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
- Theoretische Informatik I
Wintersemester 2007/2008
- Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- Programmverifikation
- SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2007
- 2.01.113 Kommunizierende und mobile Systeme
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.363 Seminar An der Grenzlinie der Entscheidbarkeit: Berechnungsmodelle zwischen Echtzeit und hybrid diskret-kontinuierlichem Verhalten
- 2.01.662 Seminar SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2006/2007
- 2.01.004 Theoretische Informatik II
- 2.01.113 Realzeitsysteme
- 2.01.171 Praktikum Formale Methoden in der Software-Entwicklung
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2006
- 2.01.114 Netze und Prozesse
- 2.01.181 Projektgruppe Syspect -Fortsetzung-
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2005/2006
- 2.01.163 Seminar Model Checking
- 2.01.181 Projektgruppe Syspect
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.662 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Sommersemester 2005
- 2.01.004 Theoretische Informatik I
- 2.01.114 Kombination von Spezifikationstechniken
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS
Wintersemester 2004/2005
- 2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme
- 2.01.661 SFB Automatic Verification and Analysis of Complex Systems: AVACS