• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Teaching
  • »WS 18/19

WS 18/19

Course Type Bachelor / Master Docent
Probabilistic Programming Lecture M Katoen
Modeling and Verification of Probabilistic Systems Lecture M Katoen
Compiler Construction Lecture B/M Noll
Foundations of Informatics Bridging Course Lecture – Noll
Trends and Pearls of Model Checking Seminar B/M Katoen/Noll
Static Methods for Quantitative Program Analysis Seminar B/M Katoen/Noll
Algorithms and Data Structures Proseminar B Katoen/Noll

 

  • 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
  • WS 19/20
  • SS 19
  • WS 18/19
    • Foundations of Informatics Bridging Course
    • Probabilistic Programming
    • Modeling and Verification of Probabilistic Systems
    • Compiler Construction
    • Trends and Pearls of Model Checking (Seminar)
    • Static Methods for Quantitative Program Analysis (Seminar)
    • Algorithms and Data Structures (Proseminar)
  • 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 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 …
  • 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 …

Links

  • RWTH Aachen
  • Fachgruppe Informatik