Navigation
Stud.IP Uni Oldenburg
Support
Deutsch
University of Oldenburg
Start
Booking plans
Search
Examination dates
Thesis topics
More…
Stud.IP homepage
25.05.2022
17:51:04
Business card ? All courses for "Prof. Dr. Ernst-Rüdiger Olderog"
Business card ? All courses for "Prof. Dr. Ernst-Rüdiger Olderog"
Current courses for Prof. Dr. Ernst-Rüdiger Olderog
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
Archived courses
Wintersemester 2015/2016
Forschungsseminar SCARE@Research
Sommersemester 2015
Oberseminar Entwicklung korrekter Systeme
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
Sommersemester 2004
2.01.111 Kommunizierende und mobile Systeme
2.01.161 Seminar Integration semantischer Modelle
2.01.171 Praktikum Realzeitsysteme
2.01.193 Diplomanden- und Doktorandenseminar Entwicklung korrekter Systeme