No photo of Joost P. Katoen
Contact Expert

View Scopus Profile

Joost P. Katoen

prof.dr.ir.

1992 …2020

Research output per year

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

Fingerprint

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

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.

  • 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
    12 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
    5 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
    8 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

    5 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
    7 Citations (Scopus)
    132 Downloads (Pure)
  • 29 Oral presentation
  • 6 Invited talk
  • 1 Organising a conference, workshop, ...
If you made any changes in Pure these will be visible here soon.