• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Teaching
  • »SS 24

SS 24

CourseTypeBachelor / MasterDocent
Formale Systeme, Automaten, ProzesseLectureBKatoen
Probabilistic ProgrammingLectureMKatoen
Static Program AnalysisLectureMNoll
Trends in Model CheckingSeminarB/MKatoen/Quatmann
Quantum CompilationSeminarB/MNoll
Data Structures and AlgorithmsProseminarBNoll
Implementation of Heuristic Algorithms for Board GamesPractical courseBBrix
  • Thesis Projects
  • WS 2025/26
  • SS 2025
  • WS 2024/25
  • SS 24
    • Probabilistic Programming
    • Static Program Analysis
    • Proseminar Datenstrukturen und Algorithmen
    • Implementation of Heuristic Algorithms for Board Games
    • Seminar Trends in Model Checking
    • Seminar Quantum Compilation
    • Formale Systeme, Automaten, Prozesse
  • WS 23/24
  • SS 23
  • WS 2022/23
  • SS 22
  • WS 21/22
  • SS 21
  • WS 20/21
  • SS 20
  • WS 19/20
  • SS 19
  • WS 18/19
  • SS 18
  • WS 17/18
  • SS 17
  • WS 16/17
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Paper at ICTAC 2025

    August 30, 2025
    The paper “Weighted Automata for Exact Inference in Discrete Probabilistic Programs” by Dominik Geißler (TU Berlin) and Tobias Winkler has been accepted for presentation at ICTAC 2025. The paper explores …
  • Paper in Journal on Automated Reasoning

    July 16, 2025
    The paper “Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate” by Hannah Mertens, Tim Quatmann, Tobias Winkler and Joost-Pieter Katoen has been accepted for publication …
  • Paper at ATVA 2026

    July 5, 2025
    The paper entitled “Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains”by Linus Heck (RU Nijmegen), Tim Quatmann, Jip Spel, Joost-Pieter Katoen and Sebastian Junges (RU Nijmegen) has been accepted …

Links

  • RWTH Aachen
  • Fachgruppe Informatik