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

2009
32 Citations (Scopus)

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

156 Downloads (Pure)

Diagnosis, Synthesis and Analysis of Probabilistic Models

Han, T., 25 Sep 2009, Enschede: University of Twente. 190 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
25 Citations (Scopus)
59 Downloads (Pure)

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

Probabilistic specifications with data types

Katoen, J. P., van de Pol, J., Stoelinga, M. & Timmer, M., 5 Nov 2009. 1 p.

Research output: Contribution to conferencePosterOther research output

Open Access
File
29 Citations (Scopus)
32 Downloads (Pure)

Quantitative model checking of continuous-time Markov chains against timed automata specifications

Chen, T., Han, T., Katoen, J. P. & Mereacre, A., Aug 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science. Piscataway: IEEE Computer Society, p. 309-318 10 p. 10.1109/LICS.2009.21

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

File
10 Citations (Scopus)
60 Downloads (Pure)

Simulation-based CTMC Model Checking: An Empirical Evaluation

Katoen, J. P. & Zapreev, I. S., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 31-40 10 p. 10.1109/QEST.2009.25

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

File
38 Downloads (Pure)

Symmetry reduction for stochastic hybrid systems

Bujorianu, L. M. & Katoen, J. P., 6 Jan 2009, 47th IEEE Conference on Decision and Control, CDC 2008. Los Alamitos: IEEE Computer Society, p. 233-238 6 p. 10.1109/CDC.2008.4739086

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

File
72 Citations (Scopus)
75 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., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 167-176 10 p. 10.1109/QEST.2009.11

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

File
1 Citation (Scopus)
67 Downloads (Pure)

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Klink, D., Remke, A. K. I., Haverkort, B. R. H. M. & Katoen, J. P., Sep 2009, Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). IEEE Computer Society, p. 133-142 10 p. 10.1109/QEST.2009.9

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

File
16 Downloads (Pure)

Towards an Information Retrieval Theory of Everything

Hiemstra, D., Lammerink, J. M. W. (ed.), Katoen, J. P. (ed.), Kok, J. N. (ed.), van de Pol, J. C. (ed.) & Raamsdonk, F. (ed.), 2009, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 2009, p. 27-38 12 p.

Research output: Contribution to journalArticleAcademic

File
2008
40 Citations (Scopus)

Approximate parameter synthesis for probabilistic time-bounded reachability

Han, T., Katoen, J. P. & Mereacre, A., Dec 2008, Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008). Los Alamitos: IEEE Computer Society Press, p. 173-182 10 p. 10.1109/RTSS.2008.19

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

9 Citations (Scopus)

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

Han, T., Katoen, J. P. & Mereacre, A., Apr 2008, Hybrid Systems: Computation and Control (HSCC). Berlin: Springer, p. 244-258 15 p. 10.1007/978-3-540-78929-1. (Lecture Notes in Computer Science; vol. 4981, no. 69160R).

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

40 Citations (Scopus)

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison

Jansen, D. N., Katoen, J. P., Oldenkamp, M., Stoelinga, M. I. A. & Zapreev, I. S., Feb 2008, Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007. Yohav, K. (ed.). London: Springer, p. 69-85 17 p. 10.1007/978-3-540-77966-7_9. (Lecture Notes in Computer Science; vol. 4899, no. 2008/16200).

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

76 Downloads (Pure)

Model Checking Markov Chains: Techniques and Tools

Zapreev, I. S., 7 Mar 2008, Zutphen: Woehrmann Printing Service. 229 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
11 Citations (Scopus)
40 Downloads (Pure)

Perspectives in probabilistic verification

Katoen, J. P., Jun 2008, Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering. Los Alamitos: IEEE Computer Society, p. 3-10 8 p. 10.1109/TASE.2008.44

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

File

Principles of Model Checking

Baier, C. & Katoen, J. P., May 2008, New York: MIT Press. 965 p.

Research output: Book/ReportBookAcademic

21 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

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

File
14 Citations (Scopus)

Regular Expressions for PCTL Counterexamples

Damman, B., Han, T. & Katoen, J. P., Sep 2008, Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008). Los Alamitos: IEEE Computer Society Press, p. 179-188 10 p. 10.1109/QEST.2008.11

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

Regular Expressions
Counterexample
Likelihood
Combinatorial argument
Leader Election
1 Citation (Scopus)
28 Downloads (Pure)

Symmetry Reduction For Stochastic Hybrid Systems

Bujorianu, L. M. & Katoen, J. P., 18 Mar 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-08-27)

Research output: Book/ReportReportProfessional

File
5 Citations (Scopus)

Time-Abstracting Bisimulation for Probabilistic Timed Automata

Chen, T., Han, T. & Katoen, J. P., Jun 2008, Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, p. 177-184 8 p. 10.1109/TASE.2008.29

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

2007
18 Citations (Scopus)

Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

Neuhausser, M. & Katoen, J. P., Sep 2007, 18th International Conference on Concurrency Theory (CONCUR). London: Springer, p. 412-427 16 p. 10.1007/978-3-540-74407-8_28. (Lecture Notes in Computer Science; vol. 4703, no. Supplement).

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

77 Citations (Scopus)

Bisimulation minimisation mostly speeds up probabilistic model checking

Katoen, J. P., Katoen, J. P., Kemna, T., Zapreev, I. S. & Jansen, D. N., 2007, Tools and algorithms for the construction and analysis of systems. Grumberg, O. & Huth, M. (eds.). Berlin: Springer, p. 87-101 15 p. 10.1007/978-3-540-71209-1_9. (Lecture notes in computer science; vol. 4424, no. 2).

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

38 Citations (Scopus)
47 Downloads (Pure)

Counterexamples in probabilistic model checking

Han, T. & Katoen, J. P., 31 Jul 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Grumberg, O. & Huth, M. (eds.). Berlin, Germany: Springer, p. 72-86 15 p. 10.1007/978-3-540-71209-1_8. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

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

File
45 Citations (Scopus)

Model checking mobile stochastic logic.

De Nicola, R., Katoen, J. P., Latella, D., Loreti, M. & Massink, M., 2007, In : Theoretical computer science. 382, Supplement/1, p. 42-70 29 p., 10.1016/j.tcs.2007.05.008.

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)

Motor: The MoDeST Tool Environment

Bohnenkamp, H. C., Hermanns, H. & Katoen, J. P., 2007, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems. Berlin: Springer, p. 500-504 5 p. 10.1007/978-3-540-71209-1_38. (Lecture Notes in Computer Science; vol. 4424, no. Supplement).

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

13 Citations (Scopus)

Providing evidence of likely being on time - Counterexample generation for CTMC model checking

Han, T. & Katoen, J. P., 2007, Providing evidence of likely being on time: Counterexample generation for CTMC model checking. Namjoshi, K., Yoneda, T., Higashino, T. & Okamura, Y. (eds.). Springer, p. 331-346 16 p. 10.1007/978-3-540-75596-8_24. (Lecture Notes in Computer Science; vol. 4762, no. Supplement).

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

2006
3 Citations (Scopus)

Bisimulation and Simulation Relations for Markov Chains

Baier, C., Hermanns, H., Katoen, J. P. & Wolf, V., 2006, Essays on Algebraic Process Calculi. Aceto, L. & Gordon, A. (eds.). Amsterdam: Elsevier, p. 73-78 6 p. (Electronic Notes in Theoretical Computer Science; vol. 162, no. 10).

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

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
90 Citations (Scopus)

MoDeST: A compositional modeling formalism for real-time and stochastic systems

Bohnenkamp, H. C., d' Argenio, P. R., Hermanns, H. & Katoen, J. P., 2006, In : IEEE transactions on software engineering. 32, 10/10, p. 812-830 19 p., 10.1109/TSE.2006.104.

Research output: Contribution to journalArticleAcademicpeer-review

20 Citations (Scopus)
19 Downloads (Pure)

Probably on time and within budget: on reachability in priced probabilistic timed automata

Berendsen, J., Jansen, D. N. & Katoen, J. P., Jun 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 29 p. (CTIT Technical Report Series; no. 06-26)

Research output: Book/ReportReportProfessional

File

Probably on time and within budget - On reachability in priced probabilistic timed automata

Berendsen, J., Jansen, D. N. & Katoen, J. P., Sep 2006, Quantitative Evaluation of Systems (QEST). Los Alamitos: IEEE Computer Society, p. 311-322 12 p. 10.1109/QEST.2006.43

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

17 Citations (Scopus)

Safe on-the-fly steady-state detection for time-bounded reachability

Katoen, J. P. & Zapreev, I. S., Sep 2006, Quantitative Evaluation of Systems (QEST). Los Alamitos: IEEE Computer Society Press, p. 301-310 10 p. 10.1109/QEST.2006.47

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

7 Citations (Scopus)

Safety and Liveness in Concurrent Pointer Programs

Distefano, D. S., Katoen, J. P. & Rensink, A., 2006, Proceedings of the 4th Internatinal Symposium on Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W-P. (eds.). Berlin: Springer, p. 280-312 33 p. 10.1007/11804192_14. (Lecture Notes in Computer Science; vol. 4111, no. suppl 2/4111).

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

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

8 Citations (Scopus)

Towards a logic for performance and mobility

De Nicola, R., Katoen, J. P., Latella, D. & Massink, M., 2006, 3rd Workshop on Quantitative Aspects of Programming Languages. Cerone, A. & Wiklicky, H. (eds.). Amsterdam: Elsevier, p. 161-175 15 p. (Electronic Notes in Theoretical Computer Science; vol. 153, no. 2).

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

15 Citations (Scopus)

YMCA: Why Markov Chain Algebra?

Bravetti, M., Hermanns, H. & Katoen, J. P., 2006, Essays on Algebraic Process Calculi. Aceto, L. & Gordon, A. (eds.). Amsterdam: Elsevier, p. 107-112 6 p. (Electronic Notes in Theoretical Computer Science; vol. 162, no. 10).

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

2005
169 Citations (Scopus)
47 Downloads (Pure)

A Markov reward model checker

Katoen, J. P., Maneesh Khattri, M., Zapreev, I. S. & Zapreev, I. S., 2005, 2nd Int. Conf. on Quantitative Evaluation of Systems. Los Alamitos, California: IEEE Computer Society, p. 243-245 3 p.

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

File
7 Citations (Scopus)
5 Downloads (Pure)

Are You Still There? - A Lightweight Algorithm to Monitor Node Presence in Self-Configuring Networks

Bohnenkamp, H., Gorter, J., Guidi, J. & Katoen, J-P., 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Los Alamitos, CA: IEEE Computer Society, p. 704-709 7 p.

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

Parallel algorithms
Personal digital assistants
Mobile phones
Topology
Availability
21 Citations (Scopus)
14 Downloads (Pure)

A theory of stochastic systems. Part II: Process algebra

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 39-74 36 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Process Algebra
Stochastic systems
Bisimulation
Stochastic Systems
Algebra
44 Citations (Scopus)
15 Downloads (Pure)

A theory of stochastic systems part I: Stochastic automata

d' Argenio, P. R. & Katoen, J. P., 2005, In : Information and computation. 203, 1, p. 1-38 38 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Stochastic systems
Transition Systems
Stochastic Systems
Automata
Probability Space
94 Citations (Scopus)
10 Downloads (Pure)

Comparative branching-time semantics for Markov chains

Baier, C., Katoen, J. P., Hermanns, H. & Wolf, V., 2005, In : Information and computation. 200, 2, p. 149-214 66 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Temporal logic
Markov processes
Branching
Markov chain
Semantics
92 Citations (Scopus)
33 Downloads (Pure)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Baier, C., Hermanns, H., Katoen, J. P. & Haverkort, B. R. H. M., 2005, In : Theoretical computer science. 345, 1, p. 2-26 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
18 Downloads (Pure)

Model-Based Testing of Reactive Systems: Advanced Lectures

Broy, M. (ed.), Jonsson, B., Katoen, J-P. (ed.), Leucker, M. & Pretschner, A., 2005, Berlin, Heidelberg: Springer. 616 p. (Lecture Notes in Computer Science; vol. 3472)

Research output: Book/ReportBook editingAcademic

Open Access
File
24 Citations (Scopus)
7 Downloads (Pure)

Model Checking Markov Reward Models with Impulse Rewards

Cloth, L., Katoen, J-P., Khattri, M. & Pulungan, R., Jul 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). Bondavalli, A., Haverkort, B. & Tang, D. (eds.). Los Alamitos, NJ: IEEE Computer Society, p. 722-731 10 p.

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

Model checking
Markov processes
Energy utilization
36 Downloads (Pure)

Model checking meets performance evaluation

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 10-16 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
22 Citations (Scopus)
4 Downloads (Pure)

Performance and verification

Haverkort, B. R. H. M. & Katoen, J. P., 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 3-3 1 p.

Research output: Contribution to journalArticleAcademic

File
17 Downloads (Pure)

QoS modelling and analysis with UML-statecharts: the StoCharts approach

Jansen, D. N., Haverkort, B. R. H. M. (ed.), Hermanns, H. & Katoen, J. P. (ed.), Mar 2005, In : SIGMETRICS performance evaluation review. 32, 4, p. 28-33 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
23 Downloads (Pure)

Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability

Katoen, J. P. & Zapreev, I. S., Nov 2005, Enschede: Formal Methods and Tools (FMT). 32 p. (CTIT Technical Report Series; no. TR-CTIT-05-52)

Research output: Book/ReportReportProfessional

File
2004
22 Downloads (Pure)

Comparative Branching-Time Semantics for Markov Chains

Baier, C., Katoen, J. P., Hermanns, H. & Wolf, V., Aug 2004, Enschede: Centre for Telematics and Information Technology (CTIT). 64 p. (1381-3625; no. 04-32)

Research output: Book/ReportReportProfessional

File
5 Downloads (Pure)

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Jensen, K. (ed.), Baier, C., Haverkort, B. R. H. M., Podelski, A. (ed.), Hermanns, H. & Katoen, J. P., 2004, p. 61-76. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File