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

SS 17

Course Bachelor / Master Teacher
Compiler Construction B/M Noll, Junges, Matheja, Volk
Verification and Static Analysis of Software (Seminar) B/M Noll et al.
Implementation of Heuristic Algorithms for Board Games (Practical Course) B Berger, 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
    • Compiler Construction
    • Verification and Static Analysis of Software
    • Implementation of Heuristic Algorithms for Board Games
  • WS 16/17
  • 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