Joost-Pieter Katoen
- katoen at cs.rwth-aachen.de
- Address
- Room 4201
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21200
Please visit my personal page in the web
Publications
| 2007 | |
|---|---|
| Martin R. Neuhäußer, Joost-Pieter Katoen. Bisimulation and logical preservation for continuous-time Markov decision processes, 26 S., RWTH, Department of Computer Science, 2007. | |
| 2006 | |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. Replaying play in and play out : synthesis of design models from scenarios by learning, 26 Bl. : graph. Darst., 2006. | |
| Tingting Han, Joost-Pieter Katoen. Counterexamples in probabilistic model checking, 35 Bl. : graph. Darst., RWTH, Department of Computer Science, 2006. | |
| DOI | Dino Distefano, Joost-Pieter Katoen, Arend Rensink. Safety and liveness in concurrent pointer programs, Formal methods for components and objects : 4th international symposium ; revised lectures / FMCO 2005, Amsterdam, The Netherlands, November 1- 4, 2005. Frank S. de Boer ... (ed.), 280-312, Springer, 2006. |
| DOI | Henrik Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen. MoDeST : a compositional modeling formalism for real-time and stochastic systems, 812-830, IEEE, 2006. |
| DOI | Mario Bravetti, Holger Hermanns, Joost-Pieter Katoen. YMCA : why Markov chain algebra?, 107-112, Elsevier, 2006. |
| DOI | Rocco Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink. Towards a logic for performance and mobility, 161-175, Elsevier, 2006. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability, Third international conference on the quantitative evaluation of systems : QEST 2006 ; riverside, california, 11 - 14 september 2006 / IEEE computer society; IEEE, 301-310, IEEE Computer Society, 2006. |
| DOI | Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen. Probably on time and within budget : on reachability in priced probabilistic timed automata, Third international conference on the quantitative evaluation of systems : QEST 2006 ; riverside, california, 11 - 14 september 2006 / IEEE computer society; IEEE, 311-320, IEEE Computer Society, 2006. |
| DOI | Giuliana Franceschinis, Joost-Pieter Katoen, Murray Woodside. Guest editors introduction to the special section on the first International Conference on the Quantitative Evaluation of SysTems (QEST), 529-530, IEEE, 2006. |
| 2005 | |
| DOI | Henrik Bohnenkamp, Johan Gorter, Jarno Guidi, Joost-Pieter Katoen. Are you still there? : a lightweight algorithm to monitor node presence in self-configuring networks, Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 704-709, IEEE Computer Society, 2005. |
| DOI | Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. A Markov reward model checker, Proceedings / second international conference on the quantitative evaluation of systems : 19 - 22 september 2005, torino, italy / organized by dipartimento di informatica, università di torino ..., 243-244, IEEE Computer Society, 2005. |
| DOI | Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan. Model checking Markov reward models with impulse rewards, Proceedings / 2005 international conference on dependable systems and networks : 28 june - 1 july 2005, yokohama, japan / sponsored by IEEE computer society technical committee on fault-tolerant computing; IFIP WG 10.4 on dependable computing and fault tolerance; IEICE technical group on dependable comouting, 722-731, IEEE Computer Society, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part I: Stochastic automata, 1-38, Elsevier, 2005. |
| DOI | Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf. Comparative branching-time semantics for Markov chains, 149-214, Elsevier, 2005. |
| DOI | Pedro R. D'Argenio, Joost-Pieter Katoen. A theory of stochastic systems. Part II: Process algebra, 39-74, Elsevier, 2005. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation, 10-15, Association for Computing Machinery, 2005. |
| 2002 | |
| DOI | Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier. Model checking performability properties, Proceedings / international conference on dependable systems and networks : 23 - 26 june 2002, washington, D.C., USA / sponsored by IEEE computer society technical committee on fault-tolerant computing (TCFTC) ..., 103-112, IEEE Computer Society, 2002. |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Automated performance and dependability evaluation using model checking, Performance evaluation of complex systems : techniques and tools ; performance 2002 tutorial lectures ; [tutorials presented at the IFIP WG 7.3 international symposium on computer modeling, measurement and evaluation (performance 2002) held in rome on september 23 - 27, 2002] / maria carla calzarossa; salvatore tucci (eds.), 261-289, Springer, 2002. |
| 2000 | |
| DOI | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. On the Logical Characterisation of Performability Properties, Automata, languages and programming : 27th international colloquium ; proceedings / ICALP 2000, geneva, switzerland, july 9 - 15, 2000 / ugo montanari ... (eds.), 780-792, Springer [u.a.], 2000. |