• 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
  • 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

  • EAPLS PhD Dissertation Award 2018

    December 12, 2019
    We are excited to announce that Christian Hensel has won the EAPLS (European Association of Programming Language and Systems) PhD Dissertation Award 2018. His dissertation on “The Probabilistic Model Checker …
  • Incubator Grant for COMPASS

    October 25, 2019
    Anzen Engineering has been granted an ESA-BIC Incubator Grant to further develop the COMPASS 3.0 tool that has been developed by the MOVES group in close cooperation with the Embedded …
  • Paper in STTT

    October 24, 2019
    The paper entitled “IC3 Software Model Checking” by Tim Lange, Martin R. Neuhäußer (Siemens AG), Thomas Noll, and Joost-Pieter Katoen has been accepted for the International Journal on Software Tools …

Links

  • RWTH Aachen
  • Fachgruppe Informatik