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: Scientific - peer-reviewChapter

Formal methods
Fault tree analysis
Aerospace applications
Process engineering
Nuclear energy
2013
4 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: ScientificChapter

Automata
Timed automata
Timing
Likelihood
Model
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: ScientificChapter

Specifications

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: Scientific - peer-reviewChapter

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: Scientific - peer-reviewChapter

Quality of service
2002
20 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: ScientificChapter

Markov processes
Specifications
Model checking
Random processes
Petri nets

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: ScientificChapter

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: ScientificChapter

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: ScientificChapter

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: ProfessionalChapter

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: ScientificChapter

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: ProfessionalChapter

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: ScientificChapter

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: ScientificChapter

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: ScientificChapter