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

SS 16

 

Course Bachelor / Master Teacher
Introduction to Model Checking B/M Katoen
Compiler Construction B/M Noll
Theoretical Foundations of the UML B/M Katoen
Probabilistic Programming (Seminar) B/M Olmedo
Theoretical Foundations of Programming Languages (Seminar) B/M Noll
Implementation of Heuristic Algorithms for Board Games (Practical Course) B Bruintjes

  • 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
  • SS 16
    • Compiler Construction
    • Introduction to Model Checking
    • Probabilistic Programming
    • Theoretical Foundations of the UML
    • Implementation of Heuristic Algorithms for Board Games
    • Theoretical Foundations of Programming Languages
  • 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