Changes between Version 5 and Version 6 of Bibliography


Ignore:
Timestamp:
Jun 17, 2008, 6:30:39 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Bibliography

    v5 v6  
    2323==== 2005 ====
    2424 * J.-P. Katoen and I. S. Zapreev. Safe on-the-fly steady-state detection for time-bounded reachability. Technical Report TR-CTIT-05-52, CTIT, University of Twente, 2005. [attachment:KatoenZ_CTIT05_52.pdf PDF] [attachment:KatoenZ_CTIT05_52.bib BibTex]
    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]