D-Index & Metrics Best Publications

Joost-Pieter Katoen

RWTH Aachen University
Germany

Computer Science

Germany

2023

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name Citations Publications World Ranking National Ranking

Computer Science D-index 66 Citations 22,234 403 World Ranking 1437 National Ranking 50

Research.com Recognitions

Awards & Achievements

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

Overview

What are the main themes of his work throughout his whole career to date

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.

Joost-Pieter Katoen most often published in these fields:

Embedded system (50.00%)
Operating system (50.00%)
Processor scheduling (50.00%)

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.

Best Publications

Principles of Model Checking

Christel Baier;Joost-Pieter Katoen.
(2008)

6630 Citations

Principles of Model Checking (Representation and Mind Series)

Christel Baier;Joost-Pieter Katoen.
(2008)

1537 Citations

Model-checking algorithms for continuous-time Markov chains

C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen.
IEEE Transactions on Software Engineering (2003)

991 Citations

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)

623 Citations

Validation of Stochastic Systems : A Guide to Current Research

Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns.
(2004)

503 Citations

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen;Ivan S. Zapreev;Ernst Moritz Hahn;Holger Hermanns.
Performance Evaluation (2011)

430 Citations

A Storm is Coming: A Modern Probabilistic Model Checker

Christian Dehnert;Sebastian Junges;Joost-Pieter Katoen;Matthias Volk.
computer aided verification (2017)

376 Citations

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)

364 Citations

Process algebra for performance evaluation

Holger Hermanns;Ulrich Herzog;Joost-Pieter Katoen.
Theoretical Computer Science (2002)

341 Citations

Approximate symbolic model checking of continuous-time Markov chains

C. Baier;J.-P. Katoen;H. Hermanns.
Lecture Notes in Computer Science (1999)

309 Citations

If you think any of the details on this page are incorrect, let us know.

Joost-Pieter Katoen

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Research.com Recognitions

Awards & Achievements

Overview

What are the main themes of his work throughout his whole career to date

Joost-Pieter Katoen most often published in these fields:

Best Publications

Report an issue

Frequent Co-Authors

External Links

Best Scientists Citing Joost-Pieter Katoen

Trending Scientists