{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:58:49Z","timestamp":1762005529110},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665825"},{"type":"electronic","value":"9783319665832"}],"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-66583-2_5","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:02:48Z","timestamp":1502488968000},"page":"69-84","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of Timed Properties Using the Jump-Diffusion Approximation"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Ballarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Beccuti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Bibbona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andras","family":"Horvath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberta","family":"Sirovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Sproston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-319-07734-5_19","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Beccuti, M., Donatelli, S.: (Stochastic) model checking in GreatSPN. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 354\u2013363. Springer, Cham (2014). doi:\n10.1007\/978-3-319-07734-5_19"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.tcs.2015.03.015","volume":"587","author":"A Angius","year":"2015","unstructured":"Angius, A., Balbo, G., Beccuti, M., Bibbona, E., Horvath, A., Sirovich, R.: Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. 587, 49\u201372 (2015)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"5_CR4","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s10009-015-0370-5","volume":"17","author":"P Ballarini","year":"2015","unstructured":"Ballarini, P.: Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. STTT 17(4), 505\u2013526 (2015)","journal-title":"STTT"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.peva.2015.04.003","volume":"90","author":"P Ballarini","year":"2015","unstructured":"Ballarini, P., Barbot, B., Duflot, M., Haddad, S., Pekergin, N.: HASL: a new approach for performance evaluation and model checking from concepts to experimentation. Perform. Eval. 90, 53\u201377 (2015)","journal-title":"Perform. Eval."},{"doi-asserted-by":"crossref","unstructured":"Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N.: COSMOS: a statistical model checker for the hybrid automata stochastic logic. In: Proceedings of the QEST 2011, pp. 143\u2013144. IEEE Computer Society (2011)","key":"5_CR6","DOI":"10.1109\/QEST.2011.24"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-319-07734-5_15","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M Beccuti","year":"2014","unstructured":"Beccuti, M., Bibbona, E., Horvath, A., Sirovich, R., Angius, A., Balbo, G.: Analysis of petri net models through stochastic differential equations. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 273\u2013293. Springer, Cham (2014). doi:\n10.1007\/978-3-319-07734-5_15"},{"unstructured":"Bibbona, E., Sirovich, R.: Strong approximation of density dependent Markov chains on bounded domains by jump diffusion processes. Technical report, Universit\u00e0 di Torino (2017)","key":"5_CR8"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.ic.2015.03.002","volume":"242","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Hillston, J.: Model checking single agent behaviours by fluid approximation. Inf. Comput. 242, 183\u2013226 (2015)","journal-title":"Inf. Comput."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-40196-1_9","volume-title":"Quantitative Evaluation of Systems","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Lanciani, R.: Model checking markov population models by central limit approximation. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 123\u2013138. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-40196-1_9"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-319-22975-1_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L Bortolussi","year":"2015","unstructured":"Bortolussi, L., Lanciani, R.: Fluid model checking of timed properties. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 172\u2013188. Springer, Cham (2015). doi:\n10.1007\/978-3-319-22975-1_12"},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-7(1:12)2011","volume":"7","author":"T Chen","year":"2011","unstructured":"Chen, T., Han, T., Katoen, J.-P., Mereacre, A.: Model checking of continuous-time Markov chains against timed automata specifications. Log. Meth. Comput. Sci. 7(1), 1\u201334 (2011)","journal-title":"Log. Meth. Comput. Sci."},{"issue":"2","key":"5_CR13","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/TSE.2008.108","volume":"35","author":"S Donatelli","year":"2009","unstructured":"Donatelli, S., Haddad, S., Sproston, J.: Model checking timed and stochastic properties with CSL\n            $${^{\\rm TA}}$$\n          . IEEE T. Software Eng. 35(2), 224\u2013240 (2009)","journal-title":"IEEE T. Software Eng."},{"key":"5_CR14","first-page":"122","volume":"134","author":"P Gressens","year":"2015","unstructured":"Gressens, P., Steenwinckel, J.V., Schang, A., Sigaut, S., Degos, V., Lebon, S., Schwendimann, L., Le Charpentier, T., Hagberg, H., Soussi, N., Fleiss, B.: Microglial Wnt signaling inhibition promotes microglia activation and oligodendrocyte maturation blockade. J. Neurochem. 134, 122 (2015)","journal-title":"J. Neurochem."},{"issue":"6","key":"5_CR15","doi-asserted-by":"crossref","first-page":"943","DOI":"10.1016\/j.bpj.2009.11.039","volume":"98","author":"PB Jensen","year":"2010","unstructured":"Jensen, P.B., Pedersen, L., Krishna, S., Jensen, M.H.: A Wnt oscillator model for somitogenesis. Biophys. J. 98(6), 943\u2013950 (2010)","journal-title":"Biophys. J ."},{"doi-asserted-by":"crossref","unstructured":"Kolesnichenko, A., de Boer, P., Remke, A., Haverkort B.R.: A logic for model-checking mean-field models. In: Proceedings of the DSN 2013, pp. 1\u201312. IEEE Computer Society (2013)","key":"5_CR16","DOI":"10.1109\/DSN.2013.6575345"},{"issue":"7","key":"5_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0021900200026929","volume":"1","author":"TG Kurtz","year":"1970","unstructured":"Kurtz, T.G.: Solutions of ordinary differential equations as limits of pure jump Markov processes. J. Appl. Probab. 1(7), 49\u201358 (1970)","journal-title":"J. Appl. Probab."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BFb0120765","volume-title":"Stochastic Systems: Modeling, Identification and Optimization, I","author":"TG Kurtz","year":"1976","unstructured":"Kurtz, T.G.: Limit theorems and diffusion approximations for density dependent Markov chains. In: Wets, R.J.B. (ed.) Stochastic Systems: Modeling, Identification and Optimization, I, pp. 67\u201378. Springer, Heidelberg (1976)"},{"issue":"3","key":"5_CR19","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-4149(78)90020-0","volume":"6","author":"TG Kurtz","year":"1978","unstructured":"Kurtz, T.G.: Strong approximation theorems for density dependent Markov chains. Stoc. Proc. Appl. 6(3), 223\u2013240 (1978)","journal-title":"Stoc. Proc. Appl."},{"issue":"2","key":"5_CR20","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10703-012-0165-1","volume":"43","author":"L Mikeev","year":"2013","unstructured":"Mikeev, L., Neuh\u00e4u\u00dfer, M.R., Spieler, D., Wolf, V.: On-the-fly verification and optimization of DTA-properties for large Markov chains. Form. Method. Syst. Des. 43(2), 313\u2013337 (2013)","journal-title":"Form. Method. Syst. Des."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T22:03:53Z","timestamp":1502489033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}