{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T20:12:27Z","timestamp":1777666347312,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340253","type":"print"},{"value":"9783642340260","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34026-0_29","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:07:20Z","timestamp":1348621640000},"page":"388-404","source":"Crossref","is-referenced-by-count":18,"title":["Runtime Verification of Biological Systems"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danny B\u00f8gsted","family":"Poulsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"29_CR1","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/332833.332842","volume":"43","author":"H. Abelson","year":"2000","unstructured":"Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Knight Jr., T.F., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous computing. Commun. ACM\u00a043(5), 74\u201382 (2000)","journal-title":"Commun. ACM"},{"issue":"2","key":"29_CR2","doi-asserted-by":"publisher","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.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"29_CR3","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1038\/35002258","volume":"403","author":"N. Barkai","year":"2000","unstructured":"Barkai, N., Leibler, S.: Biological rhythms: Circadian clocks limited by noise. Nature\u00a0403, 267\u2013268 (2000)","journal-title":"Nature"},{"key":"29_CR4","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., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 122\u2013135. Springer, Heidelberg (2010)"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-28717-6_15","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"P.E. Bulychev","year":"2012","unstructured":"Bulychev, P.E., David, A., Larsen, K.G., Legay, A., Li, G., Poulsen, D.B., Stainer, A.: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol.\u00a07180, pp. 168\u2013182. Springer, Heidelberg (2012)"},{"issue":"8","key":"29_CR6","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"29_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1146\/annurev.physchem.58.032806.104637","volume":"58","author":"D.T. Gillespie","year":"2007","unstructured":"Gillespie, D.T.: Stochastic simulation of chemical kinetics. Annual Review of Physical Chemistry\u00a058, 35\u201355 (2007)","journal-title":"Annual Review of Physical Chemistry"},{"key":"29_CR8","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"29_CR9","doi-asserted-by":"publisher","first-page":"1640","DOI":"10.1021\/jp806431b","volume":"113","author":"D.T. Gillespie","year":"2009","unstructured":"Gillespie, D.T.: Deterministic limit of stochastic chemical kinetics. The Journal of Physical Chemistry. B\u00a0113, 1640\u20131644 (2009)","journal-title":"The Journal of Physical Chemistry. B"},{"key":"29_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing Monitors for Safety Properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","first-page":"307","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. H\u00e9rault","year":"2004","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate Probabilistic Model Checking. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 307\u2013329. Springer, Heidelberg (2004)"},{"issue":"2","key":"29_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jtbi.2008.03.012","volume":"253","author":"R.C. Hilborn","year":"2008","unstructured":"Hilborn, R.C., Erwin, J.D.: Stochastic coherence in an oscillatory gene circuit model. Journal of Theoretical Biology\u00a0253(2), 349\u2013354 (2008)","journal-title":"Journal of Theoretical Biology"},{"key":"29_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W. Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities. Journal of the American Statistical Association\u00a058, 13\u201330 (1963)","journal-title":"Journal of the American Statistical Association"},{"issue":"1","key":"29_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1186\/1752-0509-5-203","volume":"5","author":"A. Ihekwaba","year":"2011","unstructured":"Ihekwaba, A., Sedwards, S.: Communicating oscillatory networks: frequency domain analysis. BMC Systems Biology\u00a05(1), 203 (2011)","journal-title":"BMC Systems Biology"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-642-28756-5_37","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C. Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: A Platform for High Performance Statistical Model Checking \u2013 PLASMA. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 498\u2013503. Springer, Heidelberg (2012)"},{"key":"29_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-31424-7_26","volume-title":"Computer Aided Verification","author":"C. Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol.\u00a07358, pp. 327\u2013342. Springer, Heidelberg (2012)"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Laplante, S., Lassaigne, R., Magniez, F., Peyronnet, S., de Rougemont, M.: Probabilistic abstraction for model checking: An approach based on property testing. ACM TCS\u00a08(4) (2007)","DOI":"10.1145\/1276920.1276922"},{"issue":"1-2","key":"29_CR18","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. STTT\u00a01(1-2), 134\u2013152 (1997)","journal-title":"STTT"},{"issue":"52","key":"29_CR19","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.1098\/rsif.2010.0183","volume":"7","author":"O. Purcell","year":"2010","unstructured":"Purcell, O., Savery, N.J., Grierson, C.S., di Bernardo, M.: A comparative analysis of synthetic genetic oscillators. Journal of The Royal Society Interface\u00a07(52), 1503\u20131524 (2010)","journal-title":"Journal of The Royal Society Interface"},{"key":"29_CR20","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":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11817963_25","volume-title":"Computer Aided Verification","author":"G. Ro\u015fu","year":"2006","unstructured":"Ro\u015fu, G., Bensalem, S.: Allen Linear (Interval) Temporal Logic \u2013 Translation to LTL and Monitor Synthesis. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 263\u2013277. Springer, Heidelberg (2006)"},{"key":"29_CR22","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":"29_CR23","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.\u00a03114, pp. 202\u2013215. Springer, Heidelberg (2004)"},{"issue":"9","key":"29_CR24","doi-asserted-by":"publisher","first-page":"5988","DOI":"10.1073\/pnas.092133899","volume":"99","author":"J.M.G. Vilar","year":"2002","unstructured":"Vilar, J.M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proceedings of the National Academy of Sciences\u00a099(9), 5988\u20135992 (2002)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"2","key":"29_CR25","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1214\/aoms\/1177731118","volume":"16","author":"A. Wald","year":"1945","unstructured":"Wald, A.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics\u00a016(2), 117\u2013186 (1945)","journal-title":"Annals of Mathematical Statistics"},{"key":"29_CR26","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)"},{"key":"29_CR27","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":"H.L.S. 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.\u00a02404, pp. 223\u2013235. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34026-0_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:41:20Z","timestamp":1620132080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34026-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340253","9783642340260"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34026-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}