Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ (SS2025): Unterschied zwischen den Versionen
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ |Research group=Verifikation und formale quantitative Analyse |Lecturers=Christel Baier |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 pr…“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 34: | Zeile 34: | ||
=== Registration === | === Registration === | ||
Registration via Opal is required until | Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027276/ via Opal] is required until 14 April. | ||
=== Prerequisites === | === Prerequisites === | ||
Version vom 28. Februar 2025, 16:34 Uhr
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Komplexpraktikum „Modellierung und quantitative Systemanalyse I“
Lehrveranstaltung mit SWS 0/0/4 (Vorlesung/Übung/Praktikum) in SS 2025
Dozent
Umfang (SWS)
- 0/0/4
Module
Leistungskontrolle
- Hausarbeit
- Referat
Vorlesungsreihe
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 in German and English.
Registration
Registration via Opal is required until 14 April.
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
Exam according to module description (see sidebar).
Contact
Please contact Sascha Klüppelholz for organisational questions.
