2023 - Research.com Computer Science in Germany Leader Award
2020 - ACM Fellow For contributions to model checking of software and probabilistic systems
2013 - Member of Academia Europaea
2009 - ACM Senior Member
Joost-Pieter Katoen integrates Embedded system with Operating system in his study. He integrates many fields, such as Operating system and Embedded system, in his works. His Processor scheduling study often links to related topics such as Schedule. His work on Schedule is being expanded to include thematically relevant topics such as Processor scheduling. His Discrete mathematics research extends to Counterexample, which is thematically connected. His research ties Counterexample and Discrete mathematics together. As part of his studies on Management, Joost-Pieter Katoen often connects relevant areas like Task (project management). Many of his studies on Task (project management) apply to Management as well. He connects Probabilistic logic with Artificial intelligence in his study.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Principles of Model Checking
Christel Baier;Joost-Pieter Katoen.
(2008)
Principles of Model Checking (Representation and Mind Series)
Christel Baier;Joost-Pieter Katoen.
(2008)
Model-checking algorithms for continuous-time Markov chains
C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen.
IEEE Transactions on Software Engineering (2003)
Model-Based Testing of Reactive Systems, Advanced Lectures
Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)
Validation of Stochastic Systems : A Guide to Current Research
Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns.
(2004)
The ins and outs of the probabilistic model checker MRMC
Joost-Pieter Katoen;Ivan S. Zapreev;Ernst Moritz Hahn;Holger Hermanns.
Performance Evaluation (2011)
A Storm is Coming: A Modern Probabilistic Model Checker
Christian Dehnert;Sebastian Junges;Joost-Pieter Katoen;Matthias Volk.
computer aided verification (2017)
Approximative Symbolic Model Checking of Continuous-Time Markov Chains
Christel Baier;Joost-Pieter Katoen;Joost-Pieter Katoen;Holger Hermanns.
international conference on concurrency theory (1999)
Process algebra for performance evaluation
Holger Hermanns;Ulrich Herzog;Joost-Pieter Katoen.
Theoretical Computer Science (2002)
Approximate symbolic model checking of continuous-time Markov chains
C. Baier;J.-P. Katoen;H. Hermanns.
Lecture Notes in Computer Science (1999)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Saarland University
TU Dresden
Tilburg University
University of Lübeck
University of Freiburg
The University of Texas at Austin
Technical University of Munich
Fondazione Bruno Kessler
Uppsala University
Technical University of Munich
Carnegie Mellon University
Portland State University
Arizona State University
Sterne, Kessler, Goldstein & Fox
King Saud University
Claude Bernard University Lyon 1
Technical University of Kaiserslautern
Bharathiar University
University of New England
University of Cambridge
The University of Texas at Austin
University of Cambridge
Mayo Clinic
Brigham and Women's Hospital
Population Health Research Institute
Musashino Red Cross Hospital