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

WS 16/17

Course Bachelor / Master Docent
Advanced Model Checking M Katoen
Probabilistic Programming M Katoen
Static Program Analysis M Noll
Analysis and Verification of Pointer Programs (Seminar) B/M Noll
Advances in Model Checking (Seminar) B/M Katoen
Introduction to Program Analysis (Proseminar) B Katoen/Noll
Bridging Course Foundations of Informatics M Noll

 

  • Thesis Projects
  • 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
    • Advanced Model Checking
    • Probabilistic Programming
    • Static Program Analysis
    • Analysis and Verification of Pointer Programs
    • Advances in Model Checking
    • Einführung in die Programmanalyse
    • Bridging Course Foundations of Informatics
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Storm runner-up in RWTH Innovation Award 2020

    March 5, 2021
    The Storm model checker received the second place at the RWTH Innovation Award 2020. An official announcement can be found here whereas a youtube video of the three winners is …
  • Paper in JCSS Journal

    March 2, 2021
    The paper entitled “The Complexity of Reachability in Parametric Markov Decision Processes” by Sebastian Junges, Joost-Pieter Katoen, Guillermo Perez, and Tobias Winkler is accepted for publication in Journal of Computer …
  • Paper at NFM2021

    February 25, 2021
    The paper “Scalable Reliability Analysis by Lazy Verification” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk and Marc Bouissou has been accepted for the 13th NASA Formal Methods (NFM) Symposium. The …

Links

  • RWTH Aachen
  • Fachgruppe Informatik