No photo of Joost-Pieter Katoen
Contact Expert

View Scopus Profile

Joost-Pieter Katoen

prof.dr.ir.

 https://orcid.org/0000-0002-6143-1926
1992 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Joost-Pieter Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Multi-cost Bounded Tradeoff Analysis in MDP

    Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., Sep 2020, In: Journal of automated reasoning. 64, 7, p. 1483-1522 40 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    16 Downloads (Pure)

  • ETAPS Foreword

    Katoen, J-P., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 11429)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic

    Open Access
    File
    9 Downloads (Pure)

  • Preface

    Sun, J., Katoen, J-P. & Guan, N., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, p. v-v (Lecture Notes in Computer Science; vol. 11951).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • The 10,000 Facets of MDP Model Checking

    Baier, C., Hermanns, H. & Katoen, J-P., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, Vol. 10000. p. 420-451 32 p. (Lecture Notes in Computer Science; vol. 10000).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    7 Citations (Scopus)

  • Multi-cost Bounded Reachability in MDP

    Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    9 Citations (Scopus)
    156 Downloads (Pure)
View all 251 research output
  • 66 Oral presentation
  • 6 Invited talk
  • 1 Organising a conference, workshop, ...
View all 73 activities