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 …2024

Research activity per year

Filter
Chapter

Search results

  • 2022

    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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    125 Downloads (Pure)
  • 2019

    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

    16 Citations (Scopus)
    3 Downloads (Pure)
  • 2017

    Boosting Fault Tree Analysis by Formal Methods

    Katoen, J. P. & Stoelinga, M. I. A., 15 Oct 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J.-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500).

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

    5 Citations (Scopus)
    18 Downloads (Pure)
  • 2013

    Model checking meets probability: a gentle introduction

    Katoen, J. P., 2013, Engineering Dependable Software Systems. Amsterdam: IOS, p. 177-205 29 p. (NATO Science for Peace and Security Series - D: Information and Communication Security; vol. 34, no. 34).

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

    File
    7 Citations (Scopus)
    113 Downloads (Pure)
  • 2006

    Constraint-oriented specification of performance aspects

    Katoen, J. P., May 2006, Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers). van Sinderen, M. J., van Sinderen, M. J., Ferreira Pires, L. & Ferreira Pires, L. (eds.). Enschede: Telematica Instituut, p. 47-54 8 p.

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

    File
    55 Downloads (Pure)

  • Stochastic model checking

    Katoen, J. P., Nov 2006, Stochastic Hybrid Systems. Cassandras, C. G. & Lygeros, J. (eds.). CRC Press (Taylor & Francis), p. 77-104 28 p. (Automation and Control Engineering Series; vol. 24, no. 10/24).

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

    5 Citations (Scopus)
  • 2004

    Embedded software analysis with MOTOR

    Katoen, J.-P., Bohnenkamp, H., Klaren, R. & Hermanns, H., 2004, Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004. Revised Lectures. Bernardo, M. & Corradini, F. (eds.). Springer, p. 268-293 26 p. (Lecture Notes in Computer Science; vol. 3185).

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

    Open Access
    File
    2 Citations (Scopus)
    199 Downloads (Pure)
  • 2002

    Automated performance and dependability evaluation using model checking

    Baier, C., Haverkort, B., Hermanns, H. & Katoen, J.-P., 2002, Performance Evaluation of Complex Systems: Techniques and Tools: Performance 2002 Tutorial Lectures. Calzarossa, M. & Tucci, S. (eds.). Berlin, Heidelberg: Springer, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).

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

    Open Access
    File
    22 Citations (Scopus)
    163 Downloads (Pure)
  • 2001

    General distributions in process algebra

    Katoen, J. P. & d' Argenio, P. R., 2001, Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures. Brinksma, H., Hermanns, H. & Katoen, J. P. (eds.). London: Springer, p. 375-428 54 p. (Lecture notes in Computer Science; vol. 2090).

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

    23 Citations (Scopus)
    4 Downloads (Pure)
  • 1994

    Algebraic specification of dynamic leader election protocols in broadcast networks

    Brunekreef, J., Katoen, J. P., Koymans, R. & Mauw, S., 1994, Proceedings of Algebra of communicating processes. Utrecht: Springer, p. 338-357

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

  • Circuit switching

    Katoen, J. P. & van de Lagemaat, J., 1994, Handboek telematica. de Jong, C. (ed.). Amsterdam: Samson BedrijfsInformatie, Vol. II. 20 p. 2010

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  • Modeling systems by probabilistic process algebra: an event structures approach

    Katoen, J.-P., Langerak, R. & Latella, D., 1994, Formal description techniques, VI: proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques-FORTE '93: Boston, MA, U.S.A., 26-29 October 1993. Tenney, R. L., Amer, P. D. & Ümit Uyar, M. (eds.). Amsterdam ; New York: North Holland, p. 253-269

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

    Open Access
    File
    14 Citations (Scopus)
    60 Downloads (Pure)

  • Packet switching

    Katoen, J. P. & van de Lagemaat, J., 1994, Handboek telematica. Amsterdam: Samson BedrijfsInformatie, Vol. II. 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Professional

  • Performance analysis and true concurrency semantics

    Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1994, Theories and experiences for real time system development. World Scientific, p. 309-337

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

  • 1993

    A Semi-Markov Model of a Home Network Access Protocol (MASCOTS: Modeling, Analysis and Simulation of computer and Telecommunication Systems)

    Katoen, J. P., 1993, Proceedings of MASCOTS, Simulation Series, vol. 25, no. 1. p. 293-298 6 p.

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

  • 1992

    A parallel program for the recognition of P-invariant segments.

    Katoen, J. P. & Schoenmakers, B., 1992, Algorithms and parallel VLSI architectures II. Elsevier, p. 79-84 6 p.

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