Lehrveranstaltungen Wintersemester 2024
Abschlussarbeiten
Wir bieten Abschlussarbeiten zu aktuellen Themen aus unserer Forschung an. Wenden Sie sich bei Interesse bitte an Dr. Sascha Klüppelholz.
Vorlesung „Model Checking“
Prof. Dr. Christel Baier und Dr. Sascha Klüppelholz
SWS: (4/4/0), auf Englisch
Vorlesung „Model Checking“
Proseminar „Theoretische Informatik“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Deutsch
Proseminar „Theoretische Informatik“
Proseminar „Binäre Entscheidungsgraphen“
Dr. Sascha Klüppelholz
SWS: (0/2/0), auf Deutsch
Proseminar „Binäre Entscheidungsgraphen“
Seminar „Selected Topics in Logic and Verification“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Seminar „Selected Topics in Logic and Verification“
Forschungsseminar „Formal Methods“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Forschungsseminar „Formal Methods“
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
Prof. Dr. Christel Baier
SWS: (0/0/4), auf Deutsch oder Englisch
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“
Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch oder Englisch
Komplexpraktikum „Modellierung und quantitative Systemanalyse II“
Laborkurs „Modeling and Automated Verification“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Laborkurs „Modeling and Automated Verification“
Profilprojekt „Forschungsprojekt Formale Methoden“
Prof. Dr. Christel Baier
SWS: (0/0/8), auf Deutsch oder Englisch
Profilprojekt „Forschungsprojekt Formale Methoden“
CMS-Forschungsprojekt „Model Checking“
Dr. Sascha Klüppelholz
SWS: (0/0/12), auf Englisch
CMS-Forschungsprojekt „Model Checking“
Team Project „Model Checking“
Dr. Sascha Klüppelholz
SWS: (0/0/8), auf Englisch
Team Project „Model Checking“
Doktorandenseminar „Advances in Probabilistic Model Checking“
Prof. Dr. Christel Baier
SWS: (0/2/0), auf Englisch
Gruppeninterne Veranstaltung