Joost P. Katoen

prof.dr.ir.

1992 …2019

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.

  • 6 Similar Profiles

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

Research Output

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

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

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

  • 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
  • 4 Citations (Scopus)
    97 Downloads (Pure)

    One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

    Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 3 Citations (Scopus)
    22 Downloads (Pure)

    Prizes

    Beste paper award

    Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018

    Prize

  • Activities

    • 20 Oral presentation
    • 1 Organising a conference, workshop, ...

    Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017

    Joost P. Katoen (Organiser), Rom Langerak (Organiser), Arend Rensink (Organiser)
    17 Oct 2017

    Activity: Participating in or organising an eventOrganising a conference, workshop, ...

    MoDeST: From Theory to Industrial Experience

    Joost P. Katoen (Speaker)
    17 Sep 2004

    Activity: Talk or presentationOral presentation

    Timed reachability in continuous-time Markov decision processes

    Joost P. Katoen (Speaker)
    29 Mar 2004

    Activity: Talk or presentationOral presentation

    Model checking and performance evaluation: a perfect match

    Joost P. Katoen (Speaker)
    28 Mar 2004

    Activity: Talk or presentationOral presentation

    MoDeST: From Theory to Industrial Experience

    Joost-Pieter Katoen (Invited speaker)
    4 Sep 2004

    Activity: Talk or presentationOral presentation