Lehrveranstaltungen Wintersemester 2022
Vorlesung “Model Checking”
Prof. Dr. Christel Baier und Dr. Sascha Klüppelholz
SWS: (4/4/0), auf Englisch
Vorlesung “Modal Logic”
Dr. Jakob Piribauer
SWS: (2/2/0), auf Englisch
Proseminar “Theoretische Informatik”
Proseminar “Theoretische Informatik”
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Deutsch
Seminar “Selected Topics in Logic and Verification”
Seminar “Selected Topics in Logic and Verification”
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Doktorandenseminar „Advances in Probabilistic Model Checking“
Doktorandenseminar „Advances in Probabilistic Model Checking“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Komplexpraktikum “Modellierung und quantitative Systemanalyse I”
Komplexpraktikum “Modellierung und quantitative Systemanalyse I”
Prof. Dr. Christel Baier
SWS: (0/0/4), auf Deutsch
Komplexpraktikum “Modellierung und quantitative Systemanalyse II”
Komplexpraktikum “Modellierung und quantitative Systemanalyse II”
Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch
Projektgruppe “Model Checking”
Projektgruppe “Model Checking”
Prof. Dr. Christel Baier
SWS: (0/0/4), auf Englisch
Laborkurs “Modeling and Automated Verification”
Laborkurs “Modeling and Automated Verification”
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Forschungsprojekt “Formale Methoden”
Forschungsprojekt “Formale Methoden”
Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch und Englisch
CMS Forschungsprojekt Model Checking
CMS Forschungsprojekt Model Checking
Dr. Sascha Klüppelholz
SWS: (0/0/12), auf Englisch
Team Project Model Checking
Dr. Sascha Klüppelholz
SWS: (0/0/8), auf Englisch