Joost-Pieter Katoen

Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]] Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Joost-Pieter Katoen', query time: 0.02s Refine Results
  1. 1
    Model Checking Temporal Properties of Recursive Probabilistic Programs

    Model Checking Temporal Properties of Recursive Probabilistic Programs by Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen

    Published 2023-12-01
    Get full text
    Article
  2. 2
    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

    Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications by Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

    Published 2011-03-01
    Get full text
    Article
  3. 3
    Analysis of Timed and Long-Run Objectives for Markov Automata

    Analysis of Timed and Long-Run Objectives for Markov Automata by Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

    Published 2014-09-01
    Get full text
    Article
  4. 4
    High-level Counterexamples for Probabilistic Automata

    High-level Counterexamples for Probabilistic Automata by Ralf Wimmer, Nils Jansen, Erika Ã?brahÃ?m, Joost-Pieter Katoen

    Published 2015-03-01
    Get full text
    Article

Search Tools: