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
2 Downloads (Pure)

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 proceedingChapterAcademicpeer-review

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
2013
5 Citations (Scopus)
33 Downloads (Pure)

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 proceedingChapterAcademic

File
2006
11 Downloads (Pure)

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 proceedingChapterAcademic

File
2 Citations (Scopus)

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 proceedingChapterAcademicpeer-review

2004
2 Citations (Scopus)
7 Downloads (Pure)

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 proceedingChapterAcademicpeer-review

Open Access
File
Embedded software
Quality of service
Network protocols
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 proceedingChapterAcademic

22 Citations (Scopus)
18 Downloads (Pure)

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, p. 261-289 29 p. (Lecture Notes in Computer Science; vol. 2459).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
2001
22 Citations (Scopus)

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 proceedingChapterAcademic

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, p. 338-357

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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 proceedingChapterProfessional

11 Citations (Scopus)

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 proceedingChapterAcademic

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 proceedingChapterProfessional

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 proceedingChapterAcademic

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 proceedingChapterAcademic

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, p. 79-84 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic