{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T14:37:36Z","timestamp":1768919856272,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397981","type":"print"},{"value":"9783642397998","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39799-8_7","type":"book-chapter","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T23:13:06Z","timestamp":1373497986000},"page":"107-123","source":"Crossref","is-referenced-by-count":32,"title":["Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking"],"prefix":"10.1007","author":[{"given":"Lubo\u0161","family":"Brim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milan","family":"\u010ce\u0161ka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Dra\u017ean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-22110-1_8","volume-title":"Computer Aided Verification","author":"A. Andreychenko","year":"2011","unstructured":"Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Parameter Identification for Markov Models of Biochemical Reactions. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 83\u201398. Springer, Heidelberg (2011)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying Continuous Time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model Checking Continuous-Time Markov Chains by Transient Analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Ballarini, P., Forlin, M., Mazza, T., Prandi, D.: Efficient Parallel Statistical Model Checking of Biochemical Networks. In: PDMC 2009. EPTCS, vol.\u00a014, pp. 47\u201361 (2009)","DOI":"10.4204\/EPTCS.14.4"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2011.10.022","volume":"419","author":"R. Barbuti","year":"2012","unstructured":"Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. Theor. Comput. Sci.\u00a0419, 2\u201316 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR6","unstructured":"Bernardini, F., Biggs, C., Derrick, J., Gheorghe, M., Niranjan, M., Sanguinetti, G.: Parameter Estimation and Model Checking in a Model of Prokaryotic Autoregulation. Tech. rep., University of Sheffield (2007)"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1186\/1471-2105-13-68","volume":"13","author":"B. Daigle","year":"2012","unstructured":"Daigle, B., Roh, M., Petzold, L., Niemi, J.: Accelerated Maximum Likelihood Parameter Estimation for Stochastic Biochemical Systems. BMC Bioinformatics\u00a013(1), 68\u201371 (2012)","journal-title":"BMC Bioinformatics"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68894-5_1","volume-title":"Formal Methods for Computational Systems Biology","author":"A. Degasperi","year":"2008","unstructured":"Degasperi, A., Gilmore, S.: Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 1\u201320. Springer, Heidelberg (2008)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V.: Fast Adaptive Uniformization of the Chemical Master Equation. In: HIBI 2009, pp. 118\u2013127. IEEE Computer Society (2009)","DOI":"10.1109\/HiBi.2009.23"},{"issue":"15","key":"7_CR10","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1002\/rnc.1018","volume":"15","author":"H. Samad El","year":"2005","unstructured":"El Samad, H., Khammash, M., Petzold, L., Gillespie, D.: Stochastic Modelling of Gene Regulatory Networks. Int. J. of Robust and Nonlinear Control\u00a015(15), 691\u2013711 (2005)","journal-title":"Int. J. of Robust and Nonlinear Control"},{"issue":"4","key":"7_CR11","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1145\/42404.42409","volume":"31","author":"B.L. Fox","year":"1988","unstructured":"Fox, B.L., Glynn, P.W.: Computing Poisson Probabilities. CACM\u00a031(4), 440\u2013445 (1988)","journal-title":"CACM"},{"issue":"25","key":"7_CR12","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(25), 2340\u20132381 (1977)","journal-title":"Journal of Physical Chemistry"},{"issue":"6","key":"7_CR13","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1098\/rsfs.2011.0047","volume":"1","author":"A. Golightly","year":"2011","unstructured":"Golightly, A., Wilkinson, D.J.: Bayesian Parameter Inference for Stochastic Biochemical Network Models Using Particle Markov Chain Monte Carlo. Interface Focus\u00a01(6), 807\u2013820 (2011)","journal-title":"Interface Focus"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W. Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient Solutions in Markovian Queueing Systems. Computers & Operations Research\u00a04(1), 47\u201353 (1977)","journal-title":"Computers & Operations Research"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Hahn, E.M., Han, T., Zhang, L.: Synthesis for PCTL in Parametric Markov Decision Processes. In: NASA Formal Methods, pp. 146\u2013161 (2011)","DOI":"10.1007\/978-3-642-20398-5_12"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-02658-4_27","volume-title":"Computer Aided Verification","author":"T.A. Henzinger","year":"2009","unstructured":"Henzinger, T.A., Mateescu, M., Wolf, V.: Sliding Window Abstraction for Infinite Markov Chains. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 337\u2013352. Springer, Heidelberg (2009)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"S.K. Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian Approach to Model Checking Biological Systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol.\u00a05688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Koh, C.H., Palaniappan, S., Thiagarajan, P., Wong, L.: Improved Statistical Model Checking Methods for Pathway Analysis. BMC Bioinformatics\u00a013(suppl. 17), S15 (2012)","DOI":"10.1186\/1471-2105-13-S17-S15"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.camwa.2005.11.016","volume":"51","author":"M. Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Pacheco, A.: Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds. Compu. Math. Appl.\u00a051(2), 305\u2013316 (2006)","journal-title":"Compu. Math. Appl."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of Probabilistic Real-time Systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-72522-0_6","volume-title":"Formal Methods for Performance Evaluation","author":"M. Kwiatkowska","year":"2007","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Stochastic Model Checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 220\u2013270. Springer, Heidelberg (2007)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Mikeev, L., Neuh\u00e4u\u00dfer, M., Spieler, D., Wolf, V.: On-the-fly Verification and Optimization of DTA-properties for Large Markov Chains. Form. Method. Syst. Des., 1\u201325 (2012)","DOI":"10.1007\/s10703-012-0165-1"},{"issue":"4","key":"7_CR23","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1049\/ip-syb:20050105","volume":"153","author":"S. Reinker","year":"2006","unstructured":"Reinker, S., Altman, R., Timmer, J.: Parameter Estimation in Stochastic Biochemical Reactions. IEEE Proc. Syst. Biol.\u00a0153(4), 168\u2013178 (2006)","journal-title":"IEEE Proc. Syst. Biol."},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01379769","volume":"253","author":"F. Schl\u00f6gl","year":"1972","unstructured":"Schl\u00f6gl, F.: Chemical Reaction Models for Non-Equilibrium Phase Transitions. Zeitschrift fur Physik\u00a0253, 147\u2013161 (1972)","journal-title":"Zeitschrift fur Physik"},{"issue":"10","key":"7_CR25","doi-asserted-by":"publisher","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M. Swat","year":"2004","unstructured":"Swat, M., Kel, A., Herzel, H.: Bifurcation Analysis of the Regulatory Modules of the Mammalian G1\/S transition. Bioinformatics\u00a020(10), 1506\u20131511 (2004)","journal-title":"Bioinformatics"},{"issue":"39","key":"7_CR26","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1098\/rsif.2008.0476","volume":"6","author":"M. Vellela","year":"2009","unstructured":"Vellela, M., Qian, H.: Stochastic Dynamics and Non-Equilibrium Thermodynamics of a Bistable Chemical System: the Schl\u00f6gl Model Revisited. Journal of The Royal Society Interface\u00a06(39), 925\u2013940 (2009)","journal-title":"Journal of The Royal Society Interface"},{"issue":"8","key":"7_CR27","doi-asserted-by":"crossref","first-page":"1863","DOI":"10.1101\/gr.1272403","volume":"13","author":"E. Yang","year":"2003","unstructured":"Yang, E., van Nimwegen, E., Zavolan, M., Rajewsky, N., Schroeder, M.K., Magnasco, M., Darnell, J.E.: Decay Rates of Human mRNAs: Correlation With Functional Characteristics and Sequence Attributes. Genome Research\u00a013(8), 1863\u20131872 (2003)","journal-title":"Genome Research"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39799-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,28]],"date-time":"2022-02-28T09:22:49Z","timestamp":1646040169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39799-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397981","9783642397998"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39799-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}