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

SS 14

 

Course Bachelor / Master Teacher
Advanced Model Checking M Katoen / Dehnert / Sher
Compiler Construction B/M Noll / Chakraborty / Gretz
Concurrency Theory (Seminar) B/M Katoen / Noll
Implementation of Heuristic Algorithms for Board Games (Practical Course) B Bruintjes / Dehnert
Modeling and Verification of Probabilistic Systems M Katoen / Jansen / Kaminski
  • 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
  • SS 18
  • WS 17/18
  • SS 17
  • WS 16/17
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14
    • Advanced Model Checking
    • Compiler Construction
    • Concurrency Theory (Seminar)
    • Implementation of Heuristic Algorithms for Board Games (Practical Course)
    • Modeling and Verification of Probabilistic Systems

Latest News

  • 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 …
  • Paper at FSCD 2025

    May 1, 2025
    The paper entield "Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems" by Emma Ahrens, Jan-Christoph Kassing, Jürgen Giesl and Joost-Pieter Katoen has been accepted for the 10th International Conference on …
  • Paper at ICALP 2025

    April 14, 2025
    The paper entitled “Bayesian Inference in Quantum Programs” by Christina Gehnen, Dominique Unruh and Joost-Pieter Katoen has been accepted for presentation at the 52nd EATCS International Colloquium on Automata, Languages, …

Links

  • RWTH Aachen
  • Fachgruppe Informatik