• 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
  • SS 25
  • 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

  • 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 …
  • Kevin Batz Receives ETAPS Dissertation Award

    May 13, 2025
    During the ETAPS 2025 Conference at Hamilton, Canada, Kevin Batz has received the prestigious Doctoral Dissertation Award of the ETAPS Association. His PhD dissertation thesis entitled “Automated Deductive Verification of …
  • Paper at UAI 2025

    May 7, 2025
    The paper entitled “Multi-Cost-Bounded Reachability Analysis of POMDPs” by Alexander Bork, Joost-Pieter Katoen, Tim Quatmann and Svenja Stein has been accepted for the 41st Conference on Uncertainty in Artificial Intelligence …

Links

  • RWTH Aachen
  • Fachgruppe Informatik