No photo of Joost P. Katoen

Joost P. Katoen

prof.dr.ir.

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

Research Output 1992 2018

Filter
Chapter
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 proceedingChapter

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
2013
5 Citations

Model checking meets probability: a gentle introduction

Katoen, J. P. 2013 Engineering Dependable Software Systems. Amsterdam: IOS Press, 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 proceedingChapter

File
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 proceedingChapter

File

Stochastic model checking

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

Research output: Chapter in Book/Report/Conference proceedingChapter

2004
2 Citations

Embedded software analysis with MOTOR

Katoen, J. P., Bohnenkamp, H. C., Hermanns, H. & Klaren, R. 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 Verlag, p. 268-293 26 p. (Lecture Notes in Computer Science; vol. 3185)

Research output: Chapter in Book/Report/Conference proceedingChapter

2002

Automated performance and dependability evaluation using model checking

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

Research output: Chapter in Book/Report/Conference proceedingChapter

21 Citations

Automated performance and dependability evaluation using model checking

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P. 2002 Computer Performance Evaluation. Calzarossa, M. & Tucci, S. (eds.). Berlin: Springer Verlag, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459)

Research output: Chapter in Book/Report/Conference proceedingChapter

File
2001
21 Citations

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 Verlag, p. 375-428 54 p. (Lecture notes in Computer Science; vol. 2090)

Research output: Chapter in Book/Report/Conference proceedingChapter

Process Algebra
Stochastic Process Algebra
Markov chain
Discrete Event Systems
Contention
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 Verlag, p. 338-357

Research output: Chapter in Book/Report/Conference proceedingChapter

Circuit switching

Katoen, J. P. & van de Lagemaat, J. 1994 Handboek telematica deel II. Amsterdam: Samson BedrijfsInformatie, p. 2010-1-2010-20 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

10 Citations

Modeling systems by probabilistic process algebra: an event structure approach

Katoen, J. P., Langerak, R. & Latella, D. 1994 Proceedings of the formal description techniques VI. Boston: North Holland, p. 253-269

Research output: Chapter in Book/Report/Conference proceedingChapter

Packet switching

Katoen, J. P. & van de Lagemaat, J. 1994 Handboek telematica deel II. Amsterdam: Samson BedrijfsInformatie, p. 2020-1-2020-20 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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 proceedingChapter

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 proceedingChapter

1992

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

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

Research output: Chapter in Book/Report/Conference proceedingChapter