25 | | * J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST), pages 243-244, 2005. [attachment:KatoenKZ_QEST05.pdf PDF] [attachment:KatoenKZ_QEST05.bib BibTex] [attachment:KatoenKZ_QEST05_pre.pdf PPT] |
| 25 | * J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems (QEST), pages 243-244, 2005. [attachment:KatoenKZ_QEST05.pdf PDF] [attachment:KatoenKZ_QEST05.bib BibTex] [attachment:KatoenKZ_QEST05_pre.pdf PPT] |
| 26 | |
| 27 | === Related publications === |
| 28 | |
| 29 | ==== 2005 ==== |
| 30 | * L. Cloth, J.-P. Katoen, M. Khattri, and R. Pulungan. Model checking Markov reward models with impulse rewards. In DSN '05: Proceedings of the 6th International Conference on Dependable Systems and Networks, Yokohama, Japan, 2005. [attachment:ClothKKP_DSN05.bib BibTex] |
| 31 | |
| 32 | ==== 2003 ==== |
| 33 | * S. Andova, H. Hermanns, and J.-P. Katoen. Discrete-time rewards model-checked. In Formal Modeling and Analysis of Timed Systems (FORMATS 2003), Marseille, France, 2003. Lecture Notes in Computer Science, Springer-Verlag. [attachment:AndovaHK_FORMATS03.bib BibTex] |
| 34 | * C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time Markov Chains. IEEE Transactions on Software Engineering, 29(7), 2003. [attachment:BaierHHK_TSE03.bib BibTex] |
| 35 | * H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. A tool for model-checking Markov Chains. Int. Journal on Software Tools for Technology Transfer, 4(2):153-172, 2003. [attachment:HermansKMS_IJSTTT03.bib BibTex] |
| 36 | |
| 37 | ==== 2002 ==== |
| 38 | * B. Haverkort, L. Cloth, H. Hermanns, J.-P. Katoen, and C. Baier. Model-checking performability properties. In International Conference on Dependable Systems and Networks (DSN), pages 103-112. IEEE CS Press, 2002. [attachment:HaverkortCHKB_DSN02.bib BibTex] |
| 39 | |
| 40 | ==== 2000 ==== |
| 41 | * H. C. Tijms and R. Veldman. A fast algorithm for the transient reward distribution in continuous-time Markov chains. Oper. Res. Lett., 26:155-158, 2000. [attachment:TijmsV_99.bib BibTex] |
| 42 | * C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. On the Logical Characterisation of Performability Properties. In ICALP '00: Proceedings of the 27th International Colloquium on Automata, Languages and Programming, pages 780-792, London, UK, 2000. Springer-Verlag.[attachment:BaierHHK_ICALP00.bib BibTex] |
| 43 | |
| 44 | ==== 1996 ==== |
| 45 | * M. A. Qureshi and W. H. Sanders. A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. In Proceedings of the 26th International Symposium on Fault-Tolerant Computing, pages 116-125, Sendai, Japan, 1996. [attachment:QureshiS_ISFTC96.bib BibTex] |