• Home
  • News
  • People
  • Teaching
  • Research
  • Contact
  • Theory of Hybrid Systems
  • LuFG i2
  • Browsing: »
  • Home
  • »Teaching
  • »WS 15/16

WS 15/16

Course Bachelor / Master Teacher
Modeling and Verification of Probabilistic Systems M Katoen
Concurrency Theory M Katoen/Noll
Trends in Computer-Aided Verification (Seminar) B/M Katoen/Noll
Algorithms and Data Structures (Proseminar) B Katoen/Noll
Bridging Course Foundations of Informatics M Noll

 

  • Thesis Projects
  • 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
  • SS 16
  • WS 15/16
    • Modeling and Verification of Probabilistic Systems
    • Concurrency Theory
    • Trends in Computer-Aided Verification (Seminar)
    • Algorithms and Data Structures (Proseminar)
    • Bridging Course Foundations of Informatics
  • SS 15
  • WS 14/15
  • SS 14

Latest News

  • Katoen named ACM Fellow

    January 14, 2021
    Prof. Joost-Pieter Katoen has been named ACM Fellow 2020 for his contributions to model checking of software and probabilistic systems. The ACM Fellows program recognizes the top 1% of ACM …
  • 5 Gold medals at RERS 2020

    January 13, 2021
    We are happy to announce that our team (Joshua Moerman and Jana Berger) has won 5 gold medals at the RERS challenge 2020. By using a combination of off-the-shelf verification …
  • Three papers at TACAS 2021

    January 4, 2021
    We are delighted to inform you that three MOVES papers have been accepted at TACAS 2021: “Inductive Synthesis for Probabilistic Programs Reaches New Horizons” by Roman Andriushchenko, Milan Ceska, Sebastian Junges …

Links

  • RWTH Aachen
  • Fachgruppe Informatik