• 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 23
  • WS 2022/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
    • 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

  • 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