{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T21:36:56Z","timestamp":1775684216072,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319668444","type":"print"},{"value":"9783319668451","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66845-1_10","type":"book-chapter","created":{"date-parts":[[2017,8,26]],"date-time":"2017-08-26T11:37:20Z","timestamp":1503747440000},"page":"145-160","source":"Crossref","is-referenced-by-count":8,"title":["Transient and Steady-State Statistical Analysis for Discrete Event Simulators"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Gilmore","sequence":"first","affiliation":[]},{"given":"Dani\u00ebl","family":"Reijsbergen","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,27]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G.A., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. In: QAPL 2005. ENTCS, vol. 153(2), pp. 213\u2013239. Elsevier (2006)","DOI":"10.1016\/j.entcs.2005.10.040"},{"issue":"1","key":"10_CR2","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/974734.974738","volume":"14","author":"C Alexopoulos","year":"2004","unstructured":"Alexopoulos, C., Goldsman, D.: To batch or not to batch? ACM Trans. Model. Comput. Simul. 14(1), 76\u2013114 (2004)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Alexopoulos, C., Seila, A.F.: Implementing the batch means method in simulation experiments. In: Proceedings of the 28th Conference on Winter Simulation, WSC 1996, pp. 214\u2013221. IEEE Computer Society, Washington, DC (1996)","DOI":"10.1145\/256562.256608"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"M AlTurki","year":"2011","unstructured":"AlTurki, M., Meseguer, J.: PVeStA: a parallel statistical model checking and quantitative analysis tool. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 386\u2013392. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22944-2_28"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Arora, S., Rathor, A., Rao, M.V.P.: Statistical model checking of opportunistic network protocols. In: Proceedings of AINTEC 2015, pp. 62\u201368. ACM (2015)","DOI":"10.1145\/2837030.2837039"},{"issue":"1","key":"10_CR6","doi-asserted-by":"crossref","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. Comput. Logic (TOCL) 1(1), 162\u2013170 (2000)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"issue":"6","key":"10_CR7","first-page":"524","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29(6), 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-28934-2_5","volume-title":"Formal Aspects of Component Software","author":"M Bartoletti","year":"2016","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A.S., Pompianu, L.: A contract-oriented middleware. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 86\u2013104. Springer, Cham (2016). doi: 10.1007\/978-3-319-28934-2_5"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-54624-2_10","volume-title":"Specification, Algebra, and Software","author":"L Belzner","year":"2014","unstructured":"Belzner, L., Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 188\u2013211. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54624-2_10"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-28934-2_1","volume-title":"Formal Aspects of Component Software","author":"L Belzner","year":"2016","unstructured":"Belzner, L., Hennicker, R., Wirsing, M.: OnPlan: a framework for simulation-based online planning. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 1\u201330. Springer, Cham (2016). doi: 10.1007\/978-3-319-28934-2_1"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-40196-1_12","volume-title":"Quantitative Evaluation of Systems","author":"B Boyer","year":"2013","unstructured":"Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 160\u2013164. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40196-1_12"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Bu\u0161i\u0107, A., Gaujal, B., Vincent, J.-M.: Perfect simulation and non-monotone Markovian systems. In: Valuetools 2008. ICST (2008)","DOI":"10.4108\/ICST.VALUETOOLS2008.4404"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1007\/978-3-319-47166-2_46","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Massink, M., Pa\u0161kauskas, R., Vandin, A.: A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 657\u2013673. Springer, Cham (2016). doi: 10.1007\/978-3-319-47166-2_46"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Duguid, A., Gilmore, S., Guerriero, M.L., Hillston, J.: The Bio-PEPA tool suite. In: QEST 2009, pp. 309\u2013310 (2009)","DOI":"10.1109\/QEST.2009.27"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Ciocchetta, F., Duguid, A., Guerriero, M.L.: A compartmental model of the cAMP\/PKA\/MAPK pathway in Bio-PEPA. In: Ciobanu, G. (ed.) MeCBIC 2009. EPTCS, vol. 11, pp. 71\u201390 (2009)","DOI":"10.4204\/EPTCS.11.5"},{"issue":"33\u201334","key":"10_CR16","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. TCS 410(33\u201334), 3065\u20133084 (2009)","journal-title":"TCS"},{"issue":"1","key":"10_CR17","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1287\/mnsc.10.1.47","volume":"10","author":"RW Conway","year":"1963","unstructured":"Conway, R.W.: Some tactical problems in digital simulation. Manage. Sci. 10(1), 47\u201361 (1963)","journal-title":"Manage. Sci."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-642-04761-9_11","volume-title":"Automated Technology for Verification and Analysis","author":"D Rabih","year":"2009","unstructured":"Rabih, D., Pekergin, N.: Statistical model checking using perfect simulation. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 120\u2013134. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04761-9_11"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Gast, N., Massonnet, G., Reijsbergen, D., Tribastone, M.: Probabilistic forecasts of bike-sharing systems for journey planning. In: CIKM 2015, pp. 703\u2013712 (2015)","DOI":"10.1145\/2806416.2806569"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-10181-1_5","volume-title":"Integrated Formal Methods","author":"S Gilmore","year":"2014","unstructured":"Gilmore, S., Tribastone, M., Vandin, A.: An analysis pathway for the quantitative evaluation of public transport systems. In: Albert, E., Sekerinski, E. (eds.) IFM 2014. LNCS, vol. 8739, pp. 71\u201386. Springer, Cham (2014). doi: 10.1007\/978-3-319-10181-1_5"},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1214\/aoap\/1177005777","volume":"2","author":"PW Glynn","year":"1992","unstructured":"Glynn, P.W., Whitt, W.: The asymptotic validity of sequential stopping rules for stochastic simulations. Ann. Appl. Probab. 2, 180\u2013198 (1992)","journal-title":"Ann. Appl. Probab."},{"issue":"5","key":"10_CR22","doi-asserted-by":"crossref","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. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"issue":"2","key":"10_CR23","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.peva.2010.04.001","volume":"68","author":"J-P Katoen","year":"2011","unstructured":"Katoen, J.-P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. Perform. Eval. 68(2), 90\u2013104 (2011)","journal-title":"Perform. Eval."},{"key":"10_CR24","unstructured":"L\u2019Ecuyer, P.: SSJ: Stochastic simulation in Java, software library (2016). http:\/\/simul.iro.umontreal.ca\/ssj\/"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"L\u2019Ecuyer, P., Meliani, L., Vaucher, J.: SSJ: a framework for stochastic simulation in Java. In: Y\u00fccesan, E., Chen, C.-H., Snowdon, J.L., Charnes, J.M. (eds.) Proceedings of the 2002 Winter Simulation Conference, pp. 234\u2013242. IEEE Press (2002)","DOI":"10.1109\/WSC.2002.1172890"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16612-9_11"},{"issue":"4","key":"10_CR27","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1016\/j.cell.2008.04.025","volume":"133","author":"SR Neves","year":"2008","unstructured":"Neves, S.R., Tsokas, P., Sarkar, A., Grace, E.A., Rangamani, P., Taubenfeld, S.M., Alberini, C.M., Schaff, J.C., Blitzer, R.D., Moraru, I.I., Iyengar, R.: Cell shape and negative links in regulatory motifs together control spatial information flow in signaling networks. Cell 133(4), 666\u2013680 (2008)","journal-title":"Cell"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Pianini, D., Sebastio, S., Vandin, A.: Distributed statistical analysis of complex systems modeled through a chemical metaphor. In: HPCS 2014, pp. 416\u2013423. IEEE (2014)","DOI":"10.1109\/HPCSim.2014.6903715"},{"key":"10_CR29","unstructured":"Reijsbergen, D., Gilmore, S.: An automated methodology for analysing urban transportation systems using model checking (2016). https:\/\/danielreijsbergen.files.wordpress.com\/2016\/10\/bus_modelling1.pdf"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Sebastio, S., Amoretti, M., Lluch Lafuente, A.: A computational field framework for collaborative task execution in volunteer clouds. In: SEAMS 2014, pp. 105\u2013114. ACM (2014)","DOI":"10.1145\/2593929.2593943"},{"key":"10_CR31","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: statistical model checking for discrete event simulators. In: Valuetools 2013, pp. 310\u2013315. ACM (2013)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27813-9_16"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Sen, K., Viswanathan, M., Agha, G.A.: Vesta: a statistical model-checker and analyzer for probabilistic systems. In: QEST 2005, pp. 251\u2013252 (2005)","DOI":"10.1109\/QEST.2005.42"},{"issue":"1","key":"10_CR34","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1044322.1044325","volume":"15","author":"NM Steiger","year":"2005","unstructured":"Steiger, N.M., Lada, E.K., Wilson, J.R., Joines, J.A., Alexopoulos, C., Goldsman, D.: ASAP3: a batch means procedure for steady-state simulation analysis. ACM Trans. Model. Comput. Simul. 15(1), 39\u201373 (2005)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"10_CR35","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Legay, A., Lluch-Lafuente, A., Vandin, A.: Statistical analysis of probabilistic models of software product lines with quantitative constraints. In: SPLC 2015, pp. 11\u201315. ACM (2015)","DOI":"10.1145\/2791060.2791087"},{"key":"10_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-47166-2_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: Statistical model checking for product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 114\u2013133. Springer, Cham (2016). doi: 10.1007\/978-3-319-47166-2_8"},{"key":"10_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/11513988_25","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2005","unstructured":"Younes, H.L.S.: Probabilistic verification for \u201cBlack-Box\u201d systems. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 253\u2013265. Springer, Heidelberg (2005). doi: 10.1007\/11513988_25"},{"key":"10_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_17"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66845-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T16:51:45Z","timestamp":1570035105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66845-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668444","9783319668451"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66845-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}