Aktuelle Version vom 17. März 2025, 16:21 Uhr

Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“

Lehrveranstaltung mit SWS 0/0/4 (Vorlesung/Übung/Praktikum) in SS 2025

Dozent

Christel Baier

Umfang (SWS)

0/0/4

Module

INF-MA-PR

Information

The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:

Potential topics include:

Symbolic methods in model checking
Explicit model checking
Reduction techniques
Automata over finite and infinite words
Numerical methods for quantitative analysis
Logics
Specification formalisms
Abstraction techniques
Case studies

This course is offered in German and English.

Registration

Registration via Opal is required until April 14.

Prerequisites

In addition to an interest in theoretical computer science, the project requires solid knowledge of model checking and programming. Experience in C/C++ or Java is helpful, but not required.

Dates

All enrolled participants will be notified about the initial meeting by e-mail. The specific dates will be announced later.

Exam and Creditability

Master Informatik

INF-MA-PR: exam according to module description

Contact

In case of organisational questions, please contact Sascha Klüppelholz.

@@ Zeile 1: / Zeile 1: @@
 {{Vorlesung
-|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
+|Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“
-|Research group=Verifikation und formale quantitative Analyse
+|Research group=Algebraische und logische Grundlagen der Informatik
 |Lecturers=Christel Baier
+|Language=DE,EN
 |Term=SS
 |Year=2025
-|Lecture series=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
 |Module=INF-MA-PR
 |SWSLecture=0
 |SWSExercise=0
 |SWSPractical=4
-|Exam type=Hausarbeit, Referat
 |Description=The course is intended for students enrolled in the Master or Diplom programs Informatik (computer science) as well as for those enrolled in the Diplom program Informationssystemtechnik (information systems engineering). The Komplexpraktikum “Modeling and Quantitative System Analysis I” allows students to analyse and work on practical projects relevant in current research. Some topics are taken from current projects of the group. The following links give more information on these projects:
@@ Zeile 30: / Zeile 29: @@
 * Case studies
-This course is in German and English.
+This course is offered in German and English.
 === Registration ===
-Registration via Opal is required until 21 April. (We're still setting up the Opal course, so please come back later!)
+Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027276/ via Opal] is required until April 14.
 === Prerequisites ===
@@ Zeile 46: / Zeile 45: @@
 === Exam and Creditability ===
-Exam according to module description (see sidebar).
+'''Master Informatik'''
+* {{ModuleLink|INF-MA-PR}}: exam according to module description
 === Contact ===
-Please contact [[Sascha Klüppelholz]] for organisational questions.
+In case of organisational questions, please contact [[Sascha Klüppelholz]].
 }}

Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS2025): Unterschied zwischen den Versionen