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

SS 19

Course Type Bachelor / Master Docent
Formale Systeme, Automaten, Prozesse Lecture B Katoen
Semantics and Verification of Software Lecture M Noll
Introduction to Program Analysis Proseminar B Katoen/Noll
Implementation of Heuristic Algorithms for Board Games Practical Course B Berger
Foundations of Probabilistic Programming Seminar M Katoen
Program Synthesis Seminar B/M Noll

 

  • Thesis Projects
  • SS 23
  • WS 2022/23
  • SS 22
  • WS 21/22
  • SS 21
  • WS 20/21
  • SS 20
  • WS 19/20
  • SS 19
    • Formale Systeme, Automaten, Prozesse
    • Semantics and Verification of Software
    • Introduction to Program Analysis
    • Foundations of Probabilistic Programming/Program Synthesis
    • Program Synthesis
    • Implementation of Heuristic Algorithms for Board Games
  • WS 18/19
  • SS 18
  • WS 17/18
  • SS 17
  • WS 16/17
  • SS 16
  • WS 15/16
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Paper in IEEE TDSC

    March 21, 2023
    The paper entitled “A Compositional Semantics of Boolean-logic Driven Markov Processes” by Shahid Khan, Joost-Pieter Katoen andMarc Bouissou (EDF) has been accepted as regular paper for IEEE Transactions on Dependable …
  • Proceedings 25th FM Symposium

    March 1, 2023
    The proceedings of the 25th Symposium on Formal Methods (FM 2023), edited by Marsha Chechik (Toronto), Joost-Pieter Katoen and Martin Leucker (Lübeck), and published as LNCS volume 14000, are available …
  • DFG Project Proposal Granted

    February 28, 2023
    The project proposal “Probabilistic Model Checking under Partial Observability with Multiple Objectives” (POMPOM) has been granted for funding by the German Research Council. The project aims to develop new model-checking …

Links

  • RWTH Aachen
  • Fachgruppe Informatik