{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:52Z","timestamp":1725670192485},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642287558"},{"type":"electronic","value":"9783642287565"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28756-5_37","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:57:15Z","timestamp":1332435435000},"page":"498-503","source":"Crossref","is-referenced-by-count":49,"title":["A Platform for High Performance Statistical Model Checking \u2013 PLASMA"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Jegourel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M. Gibson","year":"2000","unstructured":"Gibson, M., Bruck, J.: Efficient exact stochastic simulation of chemical systems with many species and many channels. J. of Physical Chemistry A\u00a0104, 1876 (2000)","journal-title":"J. of Physical Chemistry A"},{"key":"37_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/203091.203094","volume":"5","author":"P. Heidelberger","year":"1995","unstructured":"Heidelberger, P.: Fast simulation of rare events in queueing and reliability models. ACM Trans. Model. Comput. Simul.\u00a05, 43\u201385 (1995)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"37_CR3","unstructured":"The\u00a0PRISM manual, \n                    \n                      http:\/\/www.prismmodelchecker.org\/manual\/"},{"key":"37_CR4","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01843570","volume":"1","author":"A. Pnueli","year":"1986","unstructured":"Pnueli, A., Zuck, L.: Verification of multiprocess probabilistic protocols. Distributed Computing\u00a01, 53\u201372 (1986)","journal-title":"Distributed Computing"},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10479-005-5727-9","volume":"134","author":"A. Ridder","year":"2005","unstructured":"Ridder, A.: Importance sampling simulations of markovian reliability systems using cross-entropy. Annals of Operations Research\u00a0134, 119\u2013136 (2005)","journal-title":"Annals of Operations Research"},{"key":"37_CR6","unstructured":"Sedwards, S.: A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems. PhD thesis, University of Trento (2009)"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: Vesta: A statistical model-checker and analyzer for probabilistic systems. In: QEST, pp. 251\u2013252. IEEE (2005)","DOI":"10.1109\/QEST.2005.42"},{"issue":"4","key":"37_CR8","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0021-9991(76)90041-3","volume":"22","author":"T. Daniel","year":"1976","unstructured":"Daniel, T., Gillespie: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. Journal of Computational Physics\u00a022(4), 403\u2013434 (1976)","journal-title":"Journal of Computational Physics"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"Vilar, M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Science\u00a099 (2002)","DOI":"10.1073\/pnas.092133899"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/11513988_43","volume-title":"Computer Aided Verification","author":"H.L.S. Younes","year":"2005","unstructured":"Younes, H.L.S.: Ymer: A Statistical Model Checker. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 429\u2013433. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28756-5_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:08:55Z","timestamp":1620112135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28756-5_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287558","9783642287565"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28756-5_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}