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

SS 20

CourseTypeBachelor / MasterDocent
Datenstrukturen und AlgorithmenLectureBKatoen
Theoretical Foundations of the UMLLectureMKatoen
Static Program AnalysisLectureMNoll
Introduction to Program AnalysisProseminarBKatoen/Noll
Probabilistic Models of ConcurrencySeminarB/MKatoen/Noll
Implementation of Heuristic Algorithms for Board GamesPractical CourseBBerger
  • Thesis Projects
  • WS 2025/26
  • SS 2025
  • WS 2024/25
  • SS 24
  • WS 23/24
  • SS 23
  • WS 2022/23
  • SS 22
  • WS 21/22
  • SS 21
  • WS 20/21
  • SS 20
    • Datenstrukturen und Algorithmen
    • Static Program Analysis
    • Implementation of Heuristic Algorithms for Board Games
    • Introduction to Program Analysis
    • Theoretical Foundations of the UML
    • Probabilistic Models of Concurrency
  • 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 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 …
  • Two Papers at STTT

    June 5, 2025
    The two papers “What is the Best Algorithm for MDP Model Checking?” by Tim Quatmann and “The Revised Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns (University of …
  • Two papers at CONCUR 2025

    May 27, 2025
    Two papers of the MOVES group have been accepted at CONCUR 2025, the 36th International Conference on Concurrency Theory. It concerns the papers “Compositional Reasoning for Parametric Probabilistic Automata” by …

Links

  • RWTH Aachen
  • Fachgruppe Informatik