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