{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:38:29Z","timestamp":1742917109105,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540344544"},{"type":"electronic","value":"9783540344551"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11759744_10","type":"book-chapter","created":{"date-parts":[[2006,6,2]],"date-time":"2006-06-02T12:27:50Z","timestamp":1149251270000},"page":"134-151","source":"Crossref","is-referenced-by-count":1,"title":["Calculating Probabilities of Real-Time Test Cases"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Jurdzi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R.: Timed Automata, NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems","key":"10_CR1","DOI":"10.1007\/3-540-48683-6_3"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-54233-7_128","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1991","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for probabilistic real-time systems. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 115\u2013136. Springer, Heidelberg (1991)"},{"unstructured":"Borovkov, A.A.: Probability theory, ch. 3, Gordon and Breach (1998)","key":"10_CR3"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24611-4_2","volume-title":"Validation of Stochastic Systems","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., D\u2019Argenio, P.R.: Tutte le algebre insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 44\u201388. Springer, Heidelberg (2004)"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/937555.937558","volume":"4","author":"J. Bryans","year":"2003","unstructured":"Bryans, J., Bowman, H., Derrick, J.: Model checking stochastic automata. ACM Transactions on Computational Logic\u00a04(4), 452\u2013492 (2003)","journal-title":"ACM Transactions on Computational Logic"},{"issue":"6","key":"10_CR6","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Transactions on Software Engineering\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"issue":"5","key":"10_CR8","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1137\/0217060","volume":"17","author":"M.E. Dyer","year":"1988","unstructured":"Dyer, M.E., Frieze, A.M.: On the complexity of computing the volume of a polyhedron. SIAM Journal on Computing\u00a017(5), 967\u2013974 (1988)","journal-title":"SIAM Journal on Computing"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/3-540-49059-0_28","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"E. Gunter","year":"1999","unstructured":"Gunter, E., Peled, D.: Path Exploration Tool. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol.\u00a01579, pp. 405\u2013419. Springer, Heidelberg (1999)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-44667-2_11","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"J.-P. Katoen","year":"2001","unstructured":"Katoen, J.-P., D\u2019Argenio, P.R.: General distributions in process algebra. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 375\u2013430. Springer, Heidelberg (2001)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-44618-4_11","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M. Kwiatkowska","year":"2000","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 123\u2013137. Springer, Heidelberg (2000)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic Verification of Real-time Systems with Discrete Probability Distributions. Theoretical Computer Science\u00a0282, 101\u2013150 (2002)","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Lov\u00e1sz, L., Vempala, S.: Simulated Annealing in Convex Bodies and an O *(n 4) Volume Algorithm. In: 44th Annual IEEE Symposium on Foundations of Computer Science, pp. 650\u2013659 (2003)","key":"10_CR13","DOI":"10.1109\/SFCS.2003.1238237"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-44804-7_4","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"G.G. Infante-L\u00f3pez","year":"2001","unstructured":"Infante-L\u00f3pez, G.G., Hermanns, H., Katoen, J.-P.: Beyond memoryless distributions: Model checking semi-markov chains. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 57\u201370. Springer, Heidelberg (2001)"},{"doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: How to cook a temporal proof system for your pet language. In: Proceedings of the ACM Symposium on Principles on Programming Languages, pp. 141\u2013151 (1983)","key":"10_CR15","DOI":"10.1145\/567067.567082"},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.entcs.2004.01.034","volume":"113","author":"D. Peled","year":"2005","unstructured":"Peled, D., Qu, H.: Enforcing concurrent temporal behaviors. Electronic Notes in Theoretical Computer Science\u00a0113, 65\u201383 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-45319-9_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.C. Ruys","year":"2001","unstructured":"Ruys, T.C., Langerak, R., Katoen, J.-P., Latella, D., Massink, M.: First passage time analysis of stochastic process algebra using partial orders. In: Margaria, T., Yi, W. (eds.) ETAPS 2001 and TACAS 2001. LNCS, vol.\u00a02031, pp. 220\u2013235. Springer, Heidelberg (2001)"},{"issue":"3","key":"10_CR18","doi-asserted-by":"publisher","first-page":"246","DOI":"10.2307\/2589079","volume":"105","author":"M. Schechter","year":"1998","unstructured":"Schechter, M.: Integration Over a Polyhedron: an Application of the Fourier-Motzkin Elimination Method. The American Mathematical Monthly\u00a0105(3), 246\u2013251 (1998)","journal-title":"The American Mathematical Monthly"},{"unstructured":"Segala, R.: Modelling and Verification of Randomized Distributed Real-Time Systems, Ph.D. Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (1995)","key":"10_CR19"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-540-24611-4_6","volume-title":"Validation of Stochastic Systems","author":"J. Sproston","year":"2004","unstructured":"Sproston, J.: Model checking for probabilistic timed systems. In: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (eds.) Validation of Stochastic Systems. LNCS, vol.\u00a02925, pp. 189\u2013229. Springer, Heidelberg (2004)"},{"key":"10_CR21","first-page":"742","volume-title":"Proc. Nineteenth National Conference on Artificial Intelligence","author":"H.L.S. Younes","year":"2004","unstructured":"Younes, H.L.S., Simmons, R.G.: Solving Generalized Semi-Markov Decision Processes using Continuous Phase-Type Distributions. In: Proc. Nineteenth National Conference on Artificial Intelligence, pp. 742\u2013748. AAAI Press, Menlo Park (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11759744_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:17:30Z","timestamp":1736399850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11759744_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540344544","9783540344551"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11759744_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}