{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:27Z","timestamp":1725549987704},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287018"},{"type":"electronic","value":"9783540319030"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549970_9","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T12:53:44Z","timestamp":1131713624000},"page":"109-123","source":"Crossref","is-referenced-by-count":6,"title":["Stochastic Model Checking with Stochastic Comparison"],"prefix":"10.1007","author":[{"given":"Nihal","family":"Pekergin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sana","family":"Youn\u00e8s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abu-Amsha, O., Vincent, J.M.: An algorithm to bound functionals of Markov chains with large state space. In: 4th INFORMS Conference on Telecommunications, Boca Raton, Florida (1998)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"S. Andova","year":"2004","unstructured":"Andova, S., Hermanns, H., Katoen, J.P.: Disrete-time rewards model-checked. In: Larsen, K.G., Niebert, P. (eds.) FORMATS 2003. LNCS, vol.\u00a02791. Springer, Heidelberg (2004)"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. on Comp. Logic\u00a01(1), 162\u2013170 (2000)","journal-title":"ACM Trans. on Comp. Logic"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"C. Baier","year":"2002","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Automated performance and dependability evaluation using Model Checking. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 64\u201388. Springer, Heidelberg (2002)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Benmammoun, M., Fourneau, J.M., Pekergin, N., Troubnikoff, A.: An algorithmic and numerical approach to bound the performance of high speed networks. In: IEEE MASCOTS 2002, Fort Worth, USA, pp. 375\u2013382 (2002)","DOI":"10.1109\/MASCOT.2002.1167098"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45605-8_5","volume-title":"Process Algebra and Probabilistic Methods. Performance Modeling and Verification","author":"P.R. D\u2019Argenio","year":"2002","unstructured":"D\u2019Argenio, P.R., Jeannet, B., Jensen, H.E., Larsen, K.G.: Reduction and Refinement Strategies for Probabilistic Analysis. In: Hermanns, H., Segala, R. (eds.) PROBMIV 2002, PAPM-PROBMIV 2002, and PAPM 2002. LNCS, vol.\u00a02399, p. 57. Springer, Heidelberg (2002)"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Pekergin, N., Youn\u00e8s, S.: Improving Stochastic Model Checking with Stochastic Bounds. In: SAINT Modelling and Performance Evaluation in Next Generation Internet Workshop (2005)","DOI":"10.1109\/SAINTW.2005.1620026"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fourneau, J.M., Lecoz, M., Pekergin, N., Quessette, F.: An open tool to compute stochastic bounds on steady-state distributions and rewards. In: IEEE MASCOTS 2003, pp. 219\u2013225 (2003)","DOI":"10.1109\/MASCOT.2003.1240661"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"J.M. Fourneau","year":"2002","unstructured":"Fourneau, J.M., Pekergin, N.: An algorithmic approach to stochastic bounds. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 64\u201388. Springer, Heidelberg (2002)"},{"issue":"2004","key":"9_CR11","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.laa.2004.02.005","volume":"386","author":"J.M. Fourneau","year":"2004","unstructured":"Fourneau, J.M., Lecoz, M., Quessette, F.: Algorithms for irreducible and lumpable strong stochastic bound. Linear Algebra and its Applications\u00a0386(2004), 167\u2013185 (2004)","journal-title":"Linear Algebra and its Applications"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Form. Asp. of Comp.\u00a06, 512\u2013535 (1994)","journal-title":"Form. Asp. of Comp."},{"key":"9_CR13","volume-title":"Proc. Dependability Systems and NETWORKS (DSN) 2002","author":"B. Haverkort","year":"2002","unstructured":"Haverkort, B., Cloth, L., Hermanns, H., Katoen, J.P.: Model Checking Performability Properties. In: Proc. Dependability Systems and NETWORKS (DSN) 2002. IEEE CS Press, Los Alamitos (2002)"},{"key":"9_CR14","volume-title":"Modeling and Analysis of Stochastic Systems","author":"V.G. Kulkarni","year":"1995","unstructured":"Kulkarni, V.G.: Modeling and Analysis of Stochastic Systems. Chapman& Hall, Sydney (1995)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"9_CR16","volume-title":"Comparison Methods for Stochastic Models and Risks","author":"A. Muller","year":"2002","unstructured":"Muller, A., Stoyan, D.: Comparison Methods for Stochastic Models and Risks. Wiley, New York (2002)"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0166-5316(99)00026-7","volume":"36-37","author":"N. Pekergin","year":"1999","unstructured":"Pekergin, N.: Stochastic performance bounds by state space reduction. Performance Evaluation\u00a036-37, 1\u201317 (1999)","journal-title":"Performance Evaluation"},{"key":"9_CR18","volume-title":"Stochastic Orders and Their Applications","author":"M. Shaked","year":"1994","unstructured":"Shaked, M., Shantikumar, J.G.: Stochastic Orders and Their Applications. Academic Press, San Diago (1994)"},{"key":"9_CR19","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Computer Systems and Business Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549970_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:41:36Z","timestamp":1605642096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549970_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287018","9783540319030"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11549970_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}