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

WS 2022/23

CourseTypeBachelor / MasterDocent
Probabilistic ProgrammingLectureMKatoen
Compiler ConstructionLectureB/MNoll
Trends in Computer-Aided VerificationSeminarB/MKatoen/Noll
Probabilistic ProgrammingSeminarB/MKatoen/Noll
Modelling and Analysing Concurrent Systems Summer CourseLectureMNoll
Foundations of Informatics Bridging CourseLecture–Noll
  • Thesis Projects
  • WS 23/24
  • SS 23
  • WS 2022/23
    • Probabilistic Programming
    • Compiler Construction Course
    • Seminar Trends in Computer-Aided Verification
    • Seminar Probabilistic Programming
    • Bridging Course Foundations of Informatics
    • Modelling and Analysing Concurrent Systems
  • 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

Latest News

  • Jean-Claude Laprie Award

    May 25, 2023
    The Jean-Claude Laprie Award 2023 in Dependable Computing has been awarded to the paper “Model-checking algorithms for continuous-time Markov chains”, authored by Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter …
  • Paper at ESREL 2023

    May 3, 2023
    The paper entitled “SAFEST: the static and dynamic fault tree analysis tool” by Matthias Volk (Twente), Muzammil Ibne Irshad (DGB), Joost-Pieter Katoen, Falak Sher (DGB), Marielle Stoelinga (Twente) and Ahmad …
  • Paper at CAV 2023

    April 26, 2023
    The paper entitled “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andriushchenko (Brno University of Technology), Alexander Bork, Milan Ceska (Brno), Sebastian Junges (Radboud University, Netherlands), Joost-Pieter Katoen and Filip Macak (Brno) has …

Links

  • RWTH Aachen
  • Fachgruppe Informatik