Joost-Pieter Katoen

prof.dr.ir.

1992 …2022

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.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees

    Basgöze, D., Volk, M., Katoen, J-P., Khan, S. & Stoelinga, M., 20 May 2022, NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 713-732 20 p. Chapter 38. (Lecture notes in computer science; vol. 13260).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    File
    1 Downloads (Pure)
  • Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

    Khan, S., Katoen, J., Volk, M., Zafar, A. & Sher, F., 17 Jan 2022, 2021 10th Latin-American Symposium on Dependable Computing (LADC).

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

    Open Access
    File
    5 Downloads (Pure)
  • Model Checking the Multi-Formalism Language FIGARO

    Khan, S., Volk, M., Katoen, J-P., Braibant, A. & Bouissou, M., 6 Aug 2021, 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021. IEEE/EUCA, p. 463-470 8 p.

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

    1 Citation (Scopus)
    1 Downloads (Pure)
  • Scalable Reliability Analysis by Lazy Verification

    Khan, S., Katoen, J-P., Volk, M. & Bouissou, M., 2021, NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Dutle, A., Moscato, M. M., Titolo, L., Muñoz, C. A. & Perez, I. (eds.). Springer, Vol. 12673. p. 180-197 18 p. (Lecture Notes in Computer Science).

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

    1 Citation (Scopus)
  • Synthesizing optimal bias in randomized self-stabilization

    Volk, M., Bonakdarpour, B., Katoen, J-P. & Aflaki, S., 8 Nov 2021, (E-pub ahead of print/First online) In: Distributed computing.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    5 Downloads (Pure)