Joost P. Katoen

prof.dr.ir.

1992 …2019

Research output per year

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

Research Output

2019

ETAPS Foreword

Katoen, J-P., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 11429)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Open Access
File
2 Downloads (Pure)

Preface

Sun, J., Katoen, J-P. & Guan, N., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, p. v-v (Lecture Notes in Computer Science; vol. 11951).

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

Open Access
File
2 Downloads (Pure)

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

2018

Multi-cost Bounded Reachability in MDP

Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).

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

Open Access
File
4 Citations (Scopus)
97 Downloads (Pure)

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

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

Open Access
File
3 Citations (Scopus)
22 Downloads (Pure)

Rule-based conditioning of probabilistic data

van Keulen, M., Kaminski, B., Matheja, C. & Katoen, J. P., 1 Jan 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Springer, p. 290-305 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11142 LNAI).

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

Open Access
File
64 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 proceedingChapterAcademicpeer-review

1 Citation (Scopus)
2 Downloads (Pure)

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
87 Downloads (Pure)
2016

Confluence reduction for Markov automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., 6 Dec 2016, In : Theoretical computer science. 655, B, p. 193-219 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
4 Citations (Scopus)
101 Downloads (Pure)

The Probabilistic Model Checking Landscape

Katoen, J. P., Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016). USA: Association for Computing Machinery (ACM), p. 31-45 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
25 Citations (Scopus)
168 Downloads (Pure)

Uncovering dynamic fault trees

Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A., Jun 2016, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016. Toulouse, France: IEEE, p. 299-310 12 p.

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

Open Access
File
18 Citations (Scopus)
75 Downloads (Pure)
2015

Fault Trees on a Diet: Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

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

5 Citations (Scopus)
4 Downloads (Pure)

Probabilistic Programming: A True Verification Challenge

Katoen, J. P., Oct 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). London: Springer, p. 1-3 3 p. (Lecture Notes in Computer Science; vol. 9364).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
27 Downloads (Pure)
2014

Analysis of timed and long-run objectives for Markov automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 10 Sep 2014, In : Logical methods in computer science. 10, 3, p. 17 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
22 Citations (Scopus)
47 Downloads (Pure)

Model Checking Gigantic Markov Models

Katoen, J. P., Sep 2014, Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. Giannakopoulou, D. & Salaün, G. (eds.). London: Springer, p. xv-xvii 2 p. (Lecture Notes in Computer Science; vol. 8702).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
28 Downloads (Pure)

Probably safe or live

Katoen, J. P., Song, L. & Zhang, L., Jul 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: Association for Computing Machinery (ACM), p. 55 10 p.

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

File
7 Citations (Scopus)
31 Downloads (Pure)

Smart railroad maintenance engineering with stochastic model checking

Guck, D., Katoen, J. P., Stoelinga, M. I. A., Luiten, T. & Romijn, J., Apr 2014, Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014. Pombo, J. (ed.). Stirlingshire, UK: Civil-Comp Press, p. 299 15 p. (Civil-Comp Proceedings; vol. 104).

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

Open Access
File
6 Citations (Scopus)
82 Downloads (Pure)

Spacecraft early design validation using formal methods

Bozzano, M., Cimatti, A., Katoen, J. P., Katsaros, P., Mokos, K., Nguyen, V. Y., Noll, T., Postma, B. & Roveri, M., Dec 2014, In : Reliability engineering & system safety. 132, p. 20-35 16 p.

Research output: Contribution to journalArticleAcademicpeer-review

35 Citations (Scopus)
2013

Concurrency meets probability: theory and practice (abstract)

Katoen, J. P., Aug 2013, 24th International Conference on Concurrency Theory, CONCUR 2013. London: Springer, p. 44-45 2 p. (Lecture Notes in Computer Science; vol. 8052).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
8 Downloads (Pure)

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P., 2013, p. 17-33.

Research output: Contribution to conferencePaper

Open Access
File
17 Downloads (Pure)

Model checking for performability

Baier, C., Hahn, E. M., Haverkort, B. R., Hermanns, H. & Katoen, J-P., Aug 2013, In : Mathematical structures in computer science. 23, Special Issue 04, p. 751-795 45 p.

Research output: Contribution to journalArticleAcademicpeer-review

14 Citations (Scopus)

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
5 Citations (Scopus)
46 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).

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

File
29 Citations (Scopus)
113 Downloads (Pure)

Modelling, Reduction and Analysis of Markov Automata (extended version)

Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., 30 May 2013, Ithaca, NY, USA: Cornell University. 27 p.

Research output: Book/ReportReportAcademic

File
16 Downloads (Pure)

Taming confusion for modeling and implementing probabilistic concurrent systems

Katoen, J. P. & Peled, D., Mar 2013, Proceedings of the 22nd European Symposium on Programming (ESOP 2013). Felleisen, M. & Gardner, P. (eds.). London: Springer, p. 411-430 20 p. (Lecture Notes in Computer Science; vol. 7792).

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

File
8 Citations (Scopus)
51 Downloads (Pure)
2012

A linear process-algebraic format with data for probabilistic automata

Di Pierro, A. (ed.), Katoen, J. P., van de Pol, J. C., Norman, G. (ed.), Stoelinga, M. I. A. & Timmer, M., 6 Jan 2012, In : Theoretical computer science. 413, 1, p. 36-57 22 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
8 Citations (Scopus)
77 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
27 Citations (Scopus)
45 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata

Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sep 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

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

Open Access
File
44 Downloads (Pure)

Efficient Modelling and Generation of Markov Automata (extended version)

Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 11 Jun 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 35 p. (CTIT Technical Report Series; no. TR-CTIT-12-16)

Research output: Book/ReportReportAcademic

File
22 Downloads (Pure)

Formal correctness, safety, dependability, and performance analysis of a satellite

Esteve, M. A., Katoen, J. P., Nguyen, V. Y., Postma, B. & Yushstein, Y., Jun 2012, 34th International Conference on Software Engineering, ICSE 2012. USA: IEEE Computer Society, p. 1022-1031 10 p. (ACM Proceedings - International Conference on Software Engineering).

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

60 Citations (Scopus)

GSPNs Revisited: Simple Semantics and New Analysis Algorithms

Katoen, J. P., Jun 2012, 12th International Conference on Application of Concurrency to System Design, ACSD 2012. USA: IEEE Computer Society, p. 6-11 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

15 Citations (Scopus)

Model checking: one can do much more than you think!

Katoen, J. P., 2012, Fundamentals of Software Engineering: fourth IPM International Conference, FSEN 2011. Berlin: Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 7141).

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

File
2 Citations (Scopus)
12 Downloads (Pure)

Quantitative timed analysis of interactive Markov chains

Guck, D., Han, T., Katoen, J-P. & Neuhäußer, M. R., Apr 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (eds.). Berlin: Springer, p. 8-23 15 p. (Lecture Notes in Computer Science; vol. 7226).

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

Open Access
File
36 Citations (Scopus)
76 Downloads (Pure)
2011

Efficient CTMC Model Checking of Linear Real-Time Objectives

Barbot, B., Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Mar 2011, p. 128-142. 15 p.

Research output: Contribution to conferencePaper

31 Citations (Scopus)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Chen, T., Han, T., Katoen, J. P. & Mereacre, A., 2011, In : Logical methods in computer science. 7, 1-12, p. 12:1-12:34 34 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
38 Citations (Scopus)
43 Downloads (Pure)

The ins and outs of the probabilistic model checker MRMC

Katoen, J. P., Zapreev, I. S., Hahn, E. M., Hermanns, H. & Jansen, D. N., Feb 2011, In : Performance evaluation. 68, 2, p. 90-104 15 p.

Research output: Contribution to journalArticleAcademicpeer-review

140 Citations (Scopus)

Time-bounded reachability in tree-structured QBDs by abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Feb 2011, In : Performance evaluation. 68, 2, p. 105-125 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
4 Citations (Scopus)
15 Downloads (Pure)
2010

Advances in Probabilistic Model Checking

Katoen, J. P., Jan 2010, 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010. Barthe, G. & Hermenegildo, M. (eds.). Berlin: Springer, p. 25-25 1 p. (Lecture Notes in Computer Science; vol. 5944).

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

File
51 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., Jun 2010, Application of Concurrency to System Design, Tenth International Conference on. Gomes, L., Khomenko, V. & Fernandes, J. M. (eds.). Los Alamitos: IEEE Computer Society Press, p. 213-222 10 p. 10.1109/ACSD.2010.18

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

File
5 Citations (Scopus)
136 Downloads (Pure)

A linear process-algebraic format for probabilistic systems with data (extended version)

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A. & Timmer, M., 7 Apr 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-10-11)

Research output: Book/ReportReportAcademic

File
30 Downloads (Pure)

Computing Optimal Schedules of Battery Usage in Embedded Systems

Jongerden, M. R., Mereacre, A., Bohnenkamp, H. C., Haverkort, B. R. H. M. & Katoen, J. P., 2010, In : IEEE transactions on industrial informatics. 6, 3, p. 276-286 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
29 Citations (Scopus)
101 Downloads (Pure)

Performability assessment by model checking of Markov reward models

Baier, C., Cloth, L., Haverkort, B. R., Hermanns, H. & Katoen, J. P., 2010, In : Formal methods in system design. 36, 1, p. 1-36 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)

Performance Evaluation and Model Checking Join Forces

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Sep 2010, In : Communications of the ACM. 53, 9, p. 76-85 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
58 Citations (Scopus)
55 Downloads (Pure)

Quantitative Verification in Practice

Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Downloads (Pure)

The How and Why of Interactive Markov Chains

Hermanns, H. & Katoen, J. P., 2010, Symposium on Formal Methods for Components and Objects, FMCO 2009. de Boer, F. S., Bonsangue, S. H. & Leuschel, M. (eds.). Berlin: Springer, p. 311-337 27 p. (Lecture Notes in Computer Science; vol. 6286).

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

File
28 Citations (Scopus)
169 Downloads (Pure)
2009

Compositional Abstraction of Stochastic Systems

Katoen, J. P., Klink, D. & Neuhausser, M., 3 Sep 2009, Formal Modeling and Analysis of Timed Systems. Berlin: Springer, p. 195-211 17 p. 10.1007/978-3-642-04368-0_16. (Lecture Notes in Computer Science; vol. 5813).

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

File
25 Citations (Scopus)
109 Downloads (Pure)

Counterexample Generation in Probabilistic Model Checking

Han, T., Katoen, J. P. & Damman, B., 2009, In : IEEE transactions on software engineering. 35, 2, p. 241-257 17 p., 10.1109/TSE.2009.5.

Research output: Contribution to journalArticleAcademicpeer-review

File
74 Citations (Scopus)
57 Downloads (Pure)

Delayed Nondeterminism in Continuous-Time Markov Decision Processes

Neuhausser, M., Stoelinga, M. I. A. & Katoen, J. P., 27 Mar 2009, Foundations of Software Science and Computational Structures. Berlin: Springer, p. 364-379 16 p. 10.1007/978-3-642-00596-1_26. (Lecture Notes in Computer Science; vol. 5504).

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

32 Citations (Scopus)

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

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

File
25 Citations (Scopus)
76 Downloads (Pure)