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

Post navigation

Latest News

  • Paper in FMSD journal

    February 14, 2021
    The paper “Markov Automata with Multiple Objectives” by Tim Quatmann, Sebastian Junges and Joost-Pieter Katoen has been accepted for publication in Formal Methods in System Design, a special issue for …
  • Katoen member KHMW

    February 10, 2021
    Joost-Pieter Katoen has been elected as new member of the Royal Holland Society of Sciences and Humanities. The KHMW was established in 1752 and is the oldest society of sciences …
  • 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 …

Links

  • RWTH Aachen
  • Fachgruppe Informatik