Joost P. Katoen

prof.dr.ir.

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 P. Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • 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 journalArticleAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    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 proceedingForeword/postscriptAcademic

    Open Access
    File
    6 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 proceedingConference contributionAcademicpeer-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 proceedingChapterAcademicpeer-review

    6 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    140 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.