{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T09:25:45Z","timestamp":1750843545678},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030172961"},{"type":"electronic","value":"9783030172978"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-17297-8_12","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:04:12Z","timestamp":1560243852000},"page":"327-348","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Approximation Techniques for Stochastic Analysis of Biological Systems"],"prefix":"10.1007","author":[{"given":"Thakur","family":"Neupane","sequence":"first","affiliation":[]},{"given":"Zhen","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Curtis","family":"Madsen","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Chris J.","family":"Myers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-21690-4_12","volume-title":"Computer aided verification","author":"A Abate","year":"2015","unstructured":"Abate A, Brim L, \u010ce\u0161ka M, Kwiatkowska M (2015) Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. In: Kroening D, P\u0103s\u0103reanu CS (eds) Computer aided verification. Springer International Publishing, Cham, pp 195\u2013213"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A Aziz","year":"2000","unstructured":"Aziz A, Sanwal K, Singhal V, Brayton R (2000) Model-checking continuous-time Markov chains. ACM Trans Comput Logic 1:162\u2013170","journal-title":"ACM Trans Comput Logic"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Baier C, Gr\u00f6\u00dfer M, Ciesinski F (2004) Partial order reduction for probabilistic systems. In: 1st international conference on quantitative evaluation of systems (QEST 2004), Enschede, The Netherlands, 27\u201330 September 2004. IEEE Computer Society, pp 230\u2013239. \n                    https:\/\/doi.org\/10.1109\/QEST.2004.1348037","DOI":"10.1109\/QEST.2004.1348037"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2005.10.034","volume":"153","author":"Christel Baier","year":"2006","unstructured":"Baier C, D\u2019Argenio P, Groesser M (2006) Partial order reduction for probabilistic branching time. Electron Notes Theor Comput Sci 153(2):97\u2013116. \n                    https:\/\/doi.org\/10.1016\/j.entcs.2005.10.034","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"12_CR5","unstructured":"Burrage K, Hegland M, Macnamara S, Sidje R (2006) A Krylov-based finite state projection algorithm for solving the chemical master equation arising in the discrete modelling of biological systems. In: Langville AN, Stewart WJ (eds) MAM 2006: Markov anniversary meeting: an international conference to celebrate the 150th anniversary of the birth of A.A. Markov. Boston Books, Charleston, South Carolina, pp 21\u201338. \n                    http:\/\/eprints.qut.edu.au\/46148\/"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans Program Lang Syst 8(2):244\u2013263. \n                    https:\/\/doi.org\/10.1145\/5397.5399","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Courcoubetis C, Yannakakis M (1988) Verifying temporal properties of finite state probabilistic programs. In: Proceedings of the 29th annual symposium on foundations of computer science (FOCS\u201988). IEEE Computer Society Press, pp 338\u2013345","DOI":"10.1109\/SFCS.1988.21950"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C Courcoubetis","year":"1995","unstructured":"Courcoubetis C, Yannakakis M (1995) The complexity of probabilistic verification. J ACM 42(4):857\u2013907","journal-title":"J ACM"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"D\u00edaz \u00c1F, Baier C, Earle CB, Fredlund L (2012) Static partial order reduction for probabilistic concurrent systems. In: Ninth international conference on quantitative evaluation of systems, QEST 2012, London, United Kingdom, 17\u201320 September 2012. IEEE Computer Society, pp 104\u2013113. \n                    https:\/\/doi.org\/10.1109\/QEST.2012.22","DOI":"10.1109\/QEST.2012.22"},{"key":"12_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11691617_5","volume-title":"Model Checking Software","author":"Harald Fecher","year":"2006","unstructured":"Fecher H, Leucker M, Wolf V (2006) Don\u2019t know in probabilistic systems. In: Proceedings of the 13th international conference on model checking software. Springer-Verlag, Berlin, SPIN\u201906, pp 71\u201388. \n                    https:\/\/doi.org\/10.1007\/11691617_5"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-49519-3_9","volume-title":"Formal Methods in Computer-Aided Design","author":"Kathi Fisler","year":"1998","unstructured":"Fisler K, Vardi MY (1998) Bisimulation minimization in an automata-theoretic verification framework. In: FMCAD. Lecture notes in computer science, vol 1522. Springer, Berlin, pp 115\u2013132"},{"key":"12_CR12","first-page":"338","volume-title":"Lecture Notes in Computer Science","author":"Kathi Fisler","year":"1999","unstructured":"Fisler K, Vardi MY (1999) Bisimulation and model checking. In: Pierre L, Kropf T (eds) Correct hardware design and verification methods. Springer, Berlin, pp 338\u2013342"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1016091902809","volume":"21","author":"Kathi Fisler","year":"2002","unstructured":"Fisler K, Vardi MY (2002) Bisimulation minimization and symbolic model checking. Form Methods Syst Des 21(1):39\u201378. \n                    https:\/\/doi.org\/10.1023\/A:1016091902809","journal-title":"Formal Methods in System Design"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1038\/35002131","volume":"403","author":"TS Gardner","year":"2000","unstructured":"Gardner TS, Cantor CR, Collins JJ (2000) Construction of a genetic toggle switch in Escherichia coli. Nature 403:339\u2013342","journal-title":"Nature"},{"issue":"25","key":"12_CR15","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Chem Phys 81(25):2340\u20132361","journal-title":"J Chem Phys"},{"issue":"1","key":"12_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W.K. Grassmann","year":"1977","unstructured":"Grassmann W (1977) Transient solutions in Markovian queueing systems. Comput Oper Res 4(1):47\u201353. \n                    https:\/\/doi.org\/10.1016\/0305-0548(77)90007-7\n                    \n                  , \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/0305054877900077","journal-title":"Computers & Operations Research"},{"issue":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"Donald Gross","year":"1984","unstructured":"Gross D, Miller DR (1984) The randomization technique as a modeling tool and solution procedure for transient Markov processes. Oper Res 32(2):343\u2013361. \n                    https:\/\/doi.org\/10.1287\/opre.32.2.343","journal-title":"Operations Research"},{"issue":"5","key":"12_CR18","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson H, Jonsson B (1994) A logic for reasoning about time and reliability. Form Asp Comput 6(5):512\u2013535","journal-title":"Form Asp Comput"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational methods in systems biology","author":"J Heath","year":"2006","unstructured":"Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O (2006) Probabilistic model checking of complex biological pathways. In: Priami C (ed) Computational methods in systems biology. Springer, Berlin, pp 32\u201347"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer aided verification","author":"TA Henzinger","year":"2009","unstructured":"Henzinger TA, Mateescu M, Wolf V (2009) Sliding window abstraction for infinite Markov chains. In: Bouajjani A, Maler O (eds) Computer aided verification. Springer, Berlin, pp 337\u2013352"},{"key":"12_CR21","doi-asserted-by":"publisher","unstructured":"Hermanns H, Wachter B, Zhang L (2008) Probabilistic CEGAR. In: Proceedings of the 20th international conference on computer aided verification. Springer-Verlag, Berlin, CAV \u201908, pp 162\u2013175. \n                    https:\/\/doi.org\/10.1007\/978-3-540-70545-1_16","DOI":"10.1007\/978-3-540-70545-1_16"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Katoen JP, Kemna T, Zapreev I, Jansen DN (2007a) Bisimulation minimisation mostly speeds up probabilistic model checking. In: Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems. Springer-Verlag, Berlin, TACAS\u201907, pp 87\u2013101. \n                    http:\/\/dl.acm.org\/citation.cfm?id=1763507.1763519","DOI":"10.1007\/978-3-540-71209-1_9"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Katoen JP, Klink D, Leucker M, Wolf V (2007b) Three-valued abstraction for continuous-time Markov chains. In: Proceedings of the 19th international conference on computer aided verification. Springer-Verlag, Berlin, CAV\u201907, pp 311\u2013324. \n                    http:\/\/dl.acm.org\/citation.cfm?id=1770351.1770401","DOI":"10.1007\/978-3-540-73368-3_37"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Kuwahara H, Myers C, Barker N, Samoilov M, Arkin A (2006) Automated abstraction methodology for genetic regulatory networks. Trans Comp Syst Biol VI:150\u2013175","DOI":"10.1007\/11880646_7"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Kwiatkowska M, Norman G, Parker D (2007) Stochastic model checking. In: Bernardo M, Hillston J (eds) Formal methods for the design of computer, communication and software systems: performance evaluation (SFM\u201907). LNCS (tutorial volume), vol 4486. Springer, Berlin, pp 220\u2013270","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-12002-2_3","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Marta Kwiatkowska","year":"2010","unstructured":"Kwiatkowska M, Norman G, Parker D, Qu H (2010) Assume-guarantee verification for probabilistic systems. In: Esparza J, Majumdar R (eds) Tools and algorithms for the construction and analysis of systems, pp 23\u201337"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"Marta Kwiatkowska","year":"2011","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan G, Qadeer S (eds) Proceedings of the 23rd international conference on computer aided verification (CAV\u201911). LNCS, vol 6806. Springer, Berlin, pp 585\u2013591"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Lapin M, Mikeev L, Wolf V (2011) Shave: stochastic hybrid analysis of Markov population models. In: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, 12\u201314 April 2011. ACM, pp 311\u2013312. \n                    https:\/\/publications.cispa.saarland\/891\/\n                    \n                  , pub\\_id: 705. Bibtex: LaMiWo\\_11:Shave. URL date: None","DOI":"10.1145\/1967701.1967746"},{"key":"12_CR29","unstructured":"Madsen C (2013) Stochastic analysis of synthetic genetic circuits. PhD thesis, University of Utah"},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MDT.2012.2187875","volume":"29","author":"C Madsen","year":"2012","unstructured":"Madsen C, Myers CJ, Patterson T, Roehner N, Stevens JT, Winstead C (2012) Design and test of genetic circuits using iBioSim. IEEE Des Test Comput 29(3):32\u201339","journal-title":"IEEE Des Test Comput"},{"issue":"3","key":"12_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2644817","volume":"11","author":"Curtis Madsen","year":"2014","unstructured":"Madsen C, Zhang Z, Roehner N, Winstead C, Myers C (2014) Stochastic model checking of genetic circuits. J Emerg Technol Comput Syst 11(3):23:1\u201323:21. \n                    https:\/\/doi.org\/10.1145\/2644817","journal-title":"ACM Journal on Emerging Technologies in Computing Systems"},{"key":"12_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-40708-6_2","volume-title":"Computational methods in systems biology","author":"L Mikeev","year":"2013","unstructured":"Mikeev L, Sandmann W, Wolf V (2013) Numerical approximation of rare event probabilities in biochemically reacting systems. In: Gupta A, Henzinger TA (eds) Computational methods in systems biology. Springer, Berlin, pp 5\u201318"},{"issue":"4","key":"12_CR33","doi-asserted-by":"publisher","first-page":"044104","DOI":"10.1063\/1.2145882","volume":"124","author":"Brian Munsky","year":"2006","unstructured":"Munsky B, Khammash M (2006) The finite state projection algorithm for the solution of the chemical master equation. J Chem Phys 124(4):044104. \n                    https:\/\/doi.org\/10.1063\/1.2145882","journal-title":"The Journal of Chemical Physics"},{"issue":"Special Issue","key":"12_CR34","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1109\/TAC.2007.911361","volume":"53","author":"Brian Munsky","year":"2008","unstructured":"Munsky B, Khammash M (2008) The finite state projection approach for the analysis of stochastic noise in gene networks. IEEE Trans Autom Control 53(Special Issue):201\u2013214. \n                    https:\/\/doi.org\/10.1109\/TAC.2007.911361","journal-title":"IEEE Transactions on Automatic Control"},{"key":"12_CR35","unstructured":"Myers CJ (2009) Engineering genetic circuits. Chapman & Hall\/CRC mathematical and computational biology, 1st edn. Chapman & Hall\/CRC, London"},{"issue":"21","key":"12_CR36","doi-asserted-by":"publisher","first-page":"2848","DOI":"10.1093\/bioinformatics\/btp457","volume":"25","author":"CJ Myers","year":"2009","unstructured":"Myers CJ, Barker N, Jones K, Kuwahara H, Madsen C, Nguyen NPD (2009) iBioSim: a tool for the analysis and design of genetic circuits. Bioinformatics 25(21):2848\u20132849. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btp457","journal-title":"Bioinformatics"},{"issue":"11","key":"12_CR37","doi-asserted-by":"publisher","first-page":"4999","DOI":"10.1063\/1.1545446","volume":"118","author":"Christopher V. Rao","year":"2003","unstructured":"Rao CV, Arkin AP (2003) Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. J Chem Phys 118(11):4999\u20135010. \n                    https:\/\/doi.org\/10.1063\/1.1545446","journal-title":"The Journal of Chemical Physics"},{"key":"12_CR38","doi-asserted-by":"crossref","unstructured":"Wachter B, Zhang L, Hermanns H (2007) Probabilistic model checking modulo theories. In: fourth international conference on the quantitative evaluation of systems (QEST 2007), pp 129\u2013140","DOI":"10.1109\/QEST.2007.10"},{"key":"12_CR39","doi-asserted-by":"publisher","unstructured":"Watanabe L, Nguyen T, Zhang M, Zundel Z, Zhang Z, Madsen C, Roehner N, Myers C (0) ibiosim 3: A tool for model-based genetic circuit design. ACS Synth Biol 0(0):null. \n                    https:\/\/doi.org\/10.1021\/acssynbio.8b00078\n                    \n                  , pMID: 29944839","DOI":"10.1021\/acssynbio.8b00078"},{"issue":"52","key":"12_CR40","doi-asserted-by":"publisher","first-page":"15000","DOI":"10.1073\/pnas.1617932114","volume":"113","author":"Hai Zheng","year":"2016","unstructured":"Zheng H, Ho PY, Jiang M, Tang B, Liu W, Li D, Yu X, Kleckner NE, Amir A, Liu C (2016) Interrogating the Escherichia coli cell cycle by cell dimension perturbations. Proc Natl Acad Sci 113(52):15000\u201315005. \n                    https:\/\/doi.org\/10.1073\/pnas.1617932114\n                    \n                  , \n                    http:\/\/www.pnas.org\/content\/113\/52\/15000\n                    \n                  , \n                    http:\/\/www.pnas.org\/content\/113\/52\/15000.full.pdf","journal-title":"Proceedings of the National Academy of Sciences"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T09:15:37Z","timestamp":1560244537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_12","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"type":"print","value":"1568-2684"},{"type":"electronic","value":"2662-2432"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}