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

  • Three papers at TACAS 2023

    December 27, 2022
    Three papers of the MOVES group have been accepted for TACAS 2023! “A Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger …
  • Journal Paper at STTT ExPLAIn

    November 25, 2022
    The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University), Taylor T Johnson …
  • Paper at POPL 2023

    November 8, 2022
    The paper entitled “A Calculus for Amortized Expected Runtimes” by Kevin Batz, Benjamin Kaminski (Saarland/UCL), Joost-Pieter Katoen, Christoph Matheja (DTU Lyngby) and Lena Verscht has been accepted for presentation at …

Links

  • RWTH Aachen
  • Fachgruppe Informatik