• 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 22/23
  • SS 22
  • WS 21/22
  • 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

  • Paper at CONCUR 2022

    June 26, 2022
    The paper entitled “Towards Concurrent Quantitative Separation Logic” by Ira Fesefeldt, Joost-Pieter Katoen and Thomas Noll has been accepted at the 33rd International Conference on Concurrency Theory (CONCUR), to be …
  • Paper at FMICS 2022

    June 24, 2022
    The paper entitled “Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining” by Th. Noll, J. Berger (both MOVES), W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), …
  • Paper at RAILWAYS 2022

    June 24, 2022
    The paper entitled “Identification of bottlenecks in rail infrastructure” by W. Lenze, B. Kogel (both Institute of Transport Science, RWTH Aachen University), S. Schotten, Th. Büker (both quattron management consulting …

Links

  • RWTH Aachen
  • Fachgruppe Informatik