Komplexpraktikum "Modellierung und quantitative Systemanalyse II"
Prof. Dr. Christel Baier und Dr. Sascha Klüppelholz
SWS: (0/0/8), auf Deutsch
Veränderung der Lehrveranstaltung wegen COVID-19
Aufgrund der aktuellen COVID-19 Ausbrüchen hat die Universitätsleitung entschieden, alle Präsenzveranstaltungen bis mindestens 04.Mai 2020 abzusagen (Stand 19.März). Als Ersatz für die Vorlesungen und Übungen werden zu Beginn des Semester (in der Woche vom 06.April) bis zum Beginn des Unterrichts als Präsenzveranstaltung Onlinekurs via OPAL zur Verfügung gestellt.
Bitte informieren Sie sich über die aktuellen Entwicklungen und Entscheidungen der Universität unter https://tu-dresden.de/corona und https://tu-dresden.de/studium/im-studium/coronavirus/
Bitte halten Sie sich auf den aktuellen Stand, indem Sie diese Seite und https://tu-dresden.de/corona regelmäßig besuchen.
Beschreibung
Die Lehrveranstaltung richtet sich an Studierende der Studiengänge Master und Diplom Informatik sowie Diplom Informationssystemtechnik. Das Komplexpraktikum „Modellierung und quantitative Systemanalyse“ der Arbeitsgruppe ermöglicht die Analyse und Bearbeitung praktischer Projekte und Zielsetzungen auf dem Stand der aktuellen Forschung. Die für das Komplexpraktikum verwendeten Aufgaben stammen zum größten Teil aus den aktuellen Forschungsprojekten unserer Arbeitsgruppe. Informationen zu den Projekten bieten die folgenden Seiten:
Die sich im Rahmen dieser Projekte ergebenden Herausforderungen stammen unter anderem aus folgenden Bereichen:
- Anwendung symbolischer Methoden im Model Checking
- Explizite Model Checking Verfahren
- Reduktionstechniken
- (Probabilistische) Omega-Automaten
- Numerische Lösungsverfahren
- Logiken
- Spezifikationsformalismen
- Abstraktionstechniken
- Fallstudien
Registrierung
Bitte schreiben Sie sich in OPAL ein.
Voraussetzungen
Das Seminar baut auf den Themen, die in der Vorlesung Model Checking behandelt wurden, auf. Solide Kenntnisse auf diesem Gebiet und der Programmierung werden vorausgesetzt. Dabei sind Erfahrungen mit C/C++ oder Java von Vorteil, jedoch nicht zwingend erforderlich.
Anrechenbare Module
Master Informatik
- INF-MA-PR: Masterpraktikum (0/0/8)
- INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik
Diplom Informatik
- INF-PM-FPG: Profilprojekt Grundlagenforschung in der Informatik
Kontakt
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).