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

WS 14/15

 

Course Bachelor / Master Teacher
Theoretical Foundations of the UML M Katoen
Static Program Analysis M Noll
Probabilistic Programs (Seminar) B/M Katoen
Trends in Computer-Aided Verification (Seminar) B/M Noll
Turing Award Topics (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
  • SS 15
  • WS 14/15
    • Probabilistic Programs (Seminar)
    • Static Program Analysis
    • Theoretical Foundations of the UML
    • Trends in Computer-Aided Verification (Seminar)
    • Turing Award Topics (Proseminar)
    • Bridging Course Foundations of Informatics
  • SS 14

Latest News

  • Storm runner-up in RWTH Innovation Award 2020

    March 5, 2021
    The Storm model checker received the second place at the RWTH Innovation Award 2020. An official announcement can be found here whereas a youtube video of the three winners is …
  • Paper in JCSS Journal

    March 2, 2021
    The paper entitled “The Complexity of Reachability in Parametric Markov Decision Processes” by Sebastian Junges, Joost-Pieter Katoen, Guillermo Perez, and Tobias Winkler is accepted for publication in Journal of Computer …
  • Paper at NFM2021

    February 25, 2021
    The paper “Scalable Reliability Analysis by Lazy Verification” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk and Marc Bouissou has been accepted for the 13th NASA Formal Methods (NFM) Symposium. The …

Links

  • RWTH Aachen
  • Fachgruppe Informatik