乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,10]],"date-time":"2024-08-10T04:38:43Z","timestamp":1723264723632},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T00:00:00Z","timestamp":1404172800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10009-014-0323-4","type":"journal-article","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:09:03Z","timestamp":1404191343000},"page":"351-367","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":32,"title":["Statistical model checking for biological systems"],"prefix":"10.1007","volume":"17","author":[{"given":"Alexandre","family":"David","sequence":"first","affiliation":[]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[]},{"given":"Danny B\u00f8gsted","family":"Poulsen","sequence":"additional","affiliation":[]},{"given":"Sean","family":"Sedwards","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,1]]},"reference":[{"issue":"2","key":"323_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). doi: 10.1016\/0304-3975(94)90010-8","journal-title":"Theor. Comput. Sci"},{"key":"323_CR2","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 403, 267\u2013268 (2000)","journal-title":"Nature"},{"key":"323_CR3","unstructured":"Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. In: Hatcliff, J., Zucca, E. (eds.) Formal Techniques for Distributed Systems, vol. 6117 of Lecture Notes in Computer Science, pp. 32\u201346. Springer, Berlin (2010). ISBN: 978-3-642-13463-0. doi: 10.1007\/978-3-642-13464-74"},{"key":"323_CR4","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. Lecture Notes in Computer Science, pp. 200\u2013236 (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"2","key":"323_CR5","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1002\/spe.1006","volume":"41","author":"Gerd Behrmann","year":"2011","unstructured":"Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang: Developing UPPAAL over 15 years. Softw. Pract. Exper 41(2), 133\u2013142 (2011). doi: 10.1002\/spe.1006","journal-title":"Softw. Pract. Exper"},{"key":"323_CR6","doi-asserted-by":"crossref","unstructured":"Bergmann, F.T., Sauro, H.M.: Comparing simulation results of SBML capable simulators. Bioinformatics 24(17):1963\u20131965 (2008). doi: 10.1093\/bioinformatics\/btn319 . URL: http:\/\/bioinformatics.oxfordjournals.org\/content\/24\/17\/1963.full","DOI":"10.1093\/bioinformatics\/btn319"},{"key":"323_CR7","doi-asserted-by":"crossref","unstructured":"Bulychev, P., David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. In: Reich, J., Finkbeiner, B. (eds.) Second International Workshop on Interactions, Games and Protocols, vol. 78 of EPTCS, pp. 1\u201314 (2012). doi: 10.4204\/EPTCS.78","DOI":"10.4204\/EPTCS.78"},{"key":"323_CR8","unstructured":"Bulychev, P.E., David, A., Larsen, K.G., Legay, A., Li, G., Poulsen, D.B.: Rewrite-Based Statistical Model Checking of WMTL. In: Qadeer S., Tasiran, S. (ed.) RV, vol. 7687 of Lecture Notes in Computer Science, pp. 260\u2013275. Springer, Berlin (2012). ISBN: 978-3-642-35631-5-642-35632-2. doi: 10.1007\/978-3-642-35632-225"},{"key":"323_CR9","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, vol. 7180 of Lecture Notes in Computer Science, pp. 168\u2013182. Springer, Berlin (2012). ISBN:978-3-642-28716-9. doi: 10.1007\/978-3-642-28717-615"},{"key":"323_CR10","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., van Vliet, J., Wang, Z.: Statistical Model Checking for Networks of Priced Timed Automata. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS, vol. 6919 of Lecture Notes in Computer Science, pp. 80\u201396. Springer, Berlin (2011). ISBN:978-3-642-24309-7. doi: 10.1007\/978-3-642-24310-37"},{"key":"323_CR11","doi-asserted-by":"crossref","unstructured":"David, A., Du, D., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Statistical Model Checking for Stochastic Hybrid Systems. In: Bartocci, E., Bortolussi, L. (eds.) HSB, vol. 92 of EPTCS, pp. 122\u2013136 (2012). doi: 10.4204\/EPTCS.92.9","DOI":"10.4204\/EPTCS.92.9"},{"key":"323_CR12","doi-asserted-by":"crossref","unstructured":"David, A., Du, D., Larsen, K.G., Miku\u010dionis, M., Skou, A.: An evaluation framework for energy aware buildings using statistical model checking. Sci. China Inform. Sci. 55:2694\u20132707, 2012. ISSN:1674\u2013733X. doi: 10.1007\/s11432-012-4742-0 . URL: http:\/\/dx.doi.org\/10.1007\/s11432-012-4742-0","DOI":"10.1007\/s11432-012-4742-0"},{"key":"323_CR13","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M.: Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. In: Margaria, T., Steffen, B. (eds.) ISoLA (2), vol. 7610 of Lecture Notes in Computer Science, pp. 293\u2013307. Springer, Berlin (2012). ISBN:978-3-642-34031-4. doi: 10.1007\/978-3-642-34032-128"},{"key":"323_CR14","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Runtime Verification of Biological Systems. In: ISoLA (1), pp. 388\u2013404 (2012). doi: 10.1007\/978-3-642-34026-029"},{"key":"323_CR15","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Syst. Biol. 500 (2009). doi: 10.1007\/978-1-59745-525-15"},{"key":"323_CR16","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81:2340\u20132361 (1977). doi: 10.1021\/j100540a008","DOI":"10.1021\/j100540a008"},{"key":"323_CR17","doi-asserted-by":"crossref","unstructured":"Hilborn, R.C., Erwin, J.D.: Stochastic coherence in an oscillatory gene circuit model. J. Theor. Biol. 253(2):349\u2013354 (2008). ISSN:0022\u20135193. doi: 10.1016\/j.jtbi.2008.03.012 . URL: http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0022519308001264","DOI":"10.1016\/j.jtbi.2008.03.012"},{"key":"323_CR18","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: A platform for high performance statistical model checking\u2014PLASMA. In: Flanagan, C., K\u00f6nig, B. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, vol. 7214 of Lecture Notes in Computer Science, pp. 498\u2013503. Springer, Berlin (2012). ISBN:978-3-642-28755-8. doi: 10.1007\/978-3-642-28756-537"},{"issue":"1\u2014-2","key":"323_CR19","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1\u2014-2), 134\u2013152 (1997). doi: 10.1007\/s100090050010","journal-title":"STTT"},{"key":"323_CR20","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical Model Checking: An Overview. In: RV, vol. 6418 of Lecture Notes in Computer Science, pp. 122\u2013135. Springer, Berlin (2010). doi: 10.1007\/978-3-642-16612-911"},{"key":"323_CR21","doi-asserted-by":"crossref","unstructured":"Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R.A., van der Vet, P.E., Karperien, M., Langerak, R., van de Pol, J., Post, J.N.: Modelling biological pathway dynamics with Timed Automata. IEEE J. Biomed. Health Inform. PP(99):1\u20131 (2013). ISSN:2168\u20132194. doi: 10.1109\/JBHI.2013.2292880","DOI":"10.1109\/JBHI.2013.2292880"},{"key":"323_CR22","doi-asserted-by":"crossref","unstructured":"Schivo, S., Scholma, J., Wanders, B., Urquidi C., Ricardo A., van der Vet, Paul E., Karperien, M., Langerak, R., van de Pol, J., Post, J.N.: Modelling biological pathway dynamics with Timed Automata. In: Proceedings of the 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE), pp. 447\u2013453 (2012)","DOI":"10.1109\/BIBE.2012.6399719"},{"key":"323_CR23","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical Model Checking of Black-Box Probabilistic Systems. In: CAV, LNCS 3114, pp. 202\u2013215. Springer, Berlin (2004). doi: 10.1007\/978-3-540-27813-916"},{"issue":"11","key":"323_CR24","doi-asserted-by":"crossref","first-page":"2498","DOI":"10.1101\/gr.1239303","volume":"13","author":"P Shannon","year":"2003","unstructured":"Shannon, P., Markiel, A., Ozier, O., Amin, N., Schwikowski, Benno, Ideker, Trey: Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 13(11), 2498\u20132504 (2003). doi: 10.1101\/gr.1239303","journal-title":"Genome Res."},{"key":"323_CR25","doi-asserted-by":"crossref","unstructured":"Vilar, J.M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise-resistance in genetic oscillators. Proc. Natl. Acad. Sci. 99(9): 5988\u20135992, 2002. doi: 10.1073\/pnas.092133899 . URL http:\/\/www.pnas.org\/content\/99\/9\/5988.abstract","DOI":"10.1073\/pnas.092133899"},{"key":"323_CR26","doi-asserted-by":"crossref","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In: Proceeding of 14th International Conference on Computer Aided Verification (CAV), LNCS 2404, pp. 223\u2013235. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45657-0_17"},{"key":"323_CR27","unstructured":"Younes, H.L.S.: Ymer: A Statistical Model Checker. In: Etessami, K., Rajamani, S.K. (eds.) Computer Aided Verification, vol. 3576 of Lecture Notes in Computer Science, pp. 429\u2013433. Springer, Berlin (2005). ISBN:978-3-540-27231-1. doi: 10.1007\/1151398843"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0323-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0323-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0323-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T06:08:20Z","timestamp":1565590100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0323-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,1]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["323"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0323-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,1]]}}}