Advanced Project "Modellierung und quantitative Systemanalyse I"

Dr. Sascha Klüppelholz, Prof. Christel Baier
SWS: (0/0/4), auf Deutsch

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

Eine Teilnahme setzt eine Anmeldung in  OPAL bis zum 31.10.2020 vorraus.

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.

Ablauf

Alle Teilnehmer werden per E-Mail über die Einführungsveranstaltung informiert. Diese wird virtuell als Videokonferenz stattfinden.

Termine und der Modus (Präsenzveranstaltung oder als Videokonferenz) werden nach Absprache und abhängig von der Entwicklung der Coronakrise vereinbart.

Anrechenbare Module

Master Informatik

Diplom Informatik (DPO 2004)

Diplom Informationssystemtechnik

Kontakt

Name

Dr. Sascha Klüppelholz

Send email
work Tel.

About this page

Max Korn
Last modified: Oct 27, 2020