• 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

  • Thesis Projects
  • SS 21
    • Modeling and Verification of Probabilistic Systems
    • Introduction to Program Analysis (Proseminar)
    • Semantics and Verification of Software
    • 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

  • Paper at DSN 2021

    April 6, 2021
    The paper “Model Checking the Multi-Formalism Language FIGARO” by Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant and Marc Bouissou has been accepted at the 51st Annual IEEE/IFIP Int. Conf. …
  • Paper at LICS 2021

    April 6, 2021
    The paper entitled “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata” by Mikołaj Bojańczyk, Bartek Klin and Joshua Moerman has been accepted at LICS 2021. This paper introduces a new model, …
  • Paper in FAOC Journal

    March 9, 2021
    The paper entitled “Counterexample-Guided Inductive Synthesis for Probabilistic Systems” by Milan Ceska, Christian Hensel, Sebastian Junges and Joost-Pieter Katoen has been accepted for the Formal Aspects of Computing journal. The …

Links

  • RWTH Aachen
  • Fachgruppe Informatik