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

SS 21

CourseTypeBachelor / MasterDocent
Modelling and Verification of Probabilistic SystemsLectureMKatoen
Semantics and Verification of SoftwareLectureMNoll
Trends in Computer-Aided VerificationSeminarB/MKatoen/Noll
Introduction to Program AnalysisProseminarBKatoen/Noll
Implementation of Heuristic Algorithms for Board GamesPractical courseBBerger/Brix

  • Thesis Projects
  • WS 23/24
  • SS 23
  • WS 2022/23
  • SS 22
  • WS 21/22
  • SS 21
    • Modeling and Verification of Probabilistic Systems
    • Semantics and Verification of Software
    • Introduction to Program Analysis (Proseminar)
    • Trends in Computer-Aided Verification (Seminar)
    • Implementation of Heuristic Algorithms for Board Games
  • 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