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
| 2010 | |
|---|---|
| Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Computing Maximum Reachability Probabilities in Markovian Timed Automata, 40 S., RWTH Aachen, Department of Computer Science, 2010. | |
| 2009 | |
| Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Quantitative model checking of continuous-time Markov chains against timed automata specifications, 50 S., RWTH Aachen, Department of Computer Science, 2009. | |
| Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, 32 S., RWTH Aachen, Department of Computer Science, 2009. | |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings / Bettina Buth ... (eds.), 173-186, Springer, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. LTL model checking of time-inhomogeneous Markov chains, Automated technology for verification and analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14 - 16, 2009; proceedings / Zhiming Liu ... (eds.), 104-119, Springer, 2009. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer. Compositional Abstraction for Stochastic Systems, Formal modeling and analysis of timed systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14 - 16, 2009; proceedings / Joël Ouaknine... (eds.), 195-211, Springer, 2009. |
| DOI | Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen. Delayed Nondeterminism in Continuous-Time Markov Decision Processes, Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / Luca de Alfaro (ed.), 364-379, Springer, 2009. |
| 2008 | |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA - the Smyle modeling approach, 26 S., TU, 2008. | |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for stochastic systems by Erlangs method of stages, 27 S., RWTH Aachen, Department of Computer Science, 2008. | |
| Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Reachability in continuous-time Markov reward decision processes, Logic and automata : history and perspectives / ed. by Jörg Flum ..., 53-72, Amsterdam Univ. Pr., 2008. | |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker. Smyle: a Tool for Synthesizing Distributed Models from Scenarios by Learning, CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings / Franck van Breugel; Marsha Cherchik (eds.), 162-166, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains, Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings / Magnus Egerstedt; Bud Mishra (eds.), 244-258, Springer, 2008. |
| DOI | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev. How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison, Hardware and software: verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23 - 25, 2007 ; proceedings / Karen Yorav (ed.), 69-85, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Abstraction for Stochastic Systems by Erlang's Method of Stages, CONCUR 2008 - concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 ; proceedings / Franck van Breugel; Marsha Cherchik (eds.), 279-294, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Alexandru Mereacre. Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains, Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 ; proceedings / Franck Cassez; Claude Jard (eds.), 203-217, Springer-Verlag, 2008. |
| 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. | |
| Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf. Three-valued abstraction for probabilistic systems, 49 Bl. : graph. Darst., RWTH Aachen, Department of Computer Science, 2007. | |
| Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. Compositional modeling and minimization of time-inhomogeneous Markov chains, 39 Bl. : graph. Darst., 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. | |