{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T11:25:12Z","timestamp":1769340312301,"version":"3.49.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"S17","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1186\/1471-2105-13-s17-s15","type":"journal-article","created":{"date-parts":[[2012,12,13]],"date-time":"2012-12-13T06:16:02Z","timestamp":1355379362000},"source":"Crossref","is-referenced-by-count":22,"title":["Improved statistical model checking methods for pathway analysis"],"prefix":"10.1186","volume":"13","author":[{"given":"Chuan Hock","family":"Koh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sucheendra K","family":"Palaniappan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PS","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limsoon","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,13]]},"reference":[{"key":"5479_CR1","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA: Model Checking. 1999, MIT Press"},{"issue":"1","key":"5479_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier N, Chiaverini M, Danos V, Fages F, Schachter V: Modeling and querying biomolecular interaction networks. Theoretical Computer Science. 2004, 325 (1): 25-44. 10.1016\/j.tcs.2004.03.063.","journal-title":"Theoretical Computer Science"},{"key":"5479_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-88562-7_18","volume-title":"Proceedings of 6th International Conference on Computational Methods in Systems Biology","author":"EM Clarke","year":"2008","unstructured":"Clarke EM, Faeder JR, Langmead CJ, Harris LA, Jha SK, Legay A: Statistical model checking in Bio-Lab: Applications to the automated analysis of T-cell receptor signaling pathway. Proceedings of 6th International Conference on Computational Methods in Systems Biology. 2008, 231-250. Springer, [\n                    http:\/\/dx.doi.org\/10.1007\/978-3-540-88562-7_18\n                    \n                  ]"},{"key":"5479_CR4","volume-title":"A Monte Carlo model checker for probabilistic LTL with numerical constraints","author":"R Donaldson","year":"2008","unstructured":"Donaldson R, Gilbert D: A Monte Carlo model checker for probabilistic LTL with numerical constraints. 2008, Tech. Rep. TR-2008-282, Department of Computing Science, University of Glasgow"},{"issue":"Suppl 7","key":"5479_CR5","doi-asserted-by":"publisher","first-page":"S10","DOI":"10.1186\/1471-2105-11-S7-S10","volume":"11","author":"H Gong","year":"2010","unstructured":"Gong H, Zuliani P, Komuravelli A, Faede JR, Clarke EM: Analysis and verification of the HMGB1 signaling pathway. BMC Bioinformatics. 2010, 11 (Suppl 7): S10-10.1186\/1471-2105-11-S7-S10.","journal-title":"BMC Bioinformatics"},{"issue":"4","key":"5479_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M Kwiatkowska","year":"2008","unstructured":"Kwiatkowska M, Norman G, Parker D: Using probabilistic model checking in systems biology. SIGMETRICS Performance Evaluation Review. 2008, 35 (4): 14-21. 10.1145\/1364644.1364651. [\n                    http:\/\/portal.acm.org\/citation.cfm?id=1364644.1364651\n                    \n                  ]","journal-title":"SIGMETRICS Performance Evaluation Review"},{"issue":"5","key":"5479_CR7","doi-asserted-by":"publisher","first-page":"1576","DOI":"10.1039\/c0mb00253d","volume":"7","author":"C Li","year":"2011","unstructured":"Li C, Nagasaki M, Koh CH, Miyano S: Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension. Molecular Biosystems. 2011, 7 (5): 1576-1592. 10.1039\/c0mb00253d.","journal-title":"Molecular Biosystems"},{"key":"5479_CR8","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/s10009-005-0187-8","volume":"8","author":"HLS Younes","year":"2006","unstructured":"Younes HLS, Kwiatkowska M, Norman G, Parker D: Numerical vs. statistical probabilistic model checking. International Journal on Software Tools for Technology Transfer. 2006, 8: 216-228. 10.1007\/s10009-005-0187-8. [\n                    http:\/\/portal.acm.org\/citation.cfm?id=1165374.1165375\n                    \n                  ]","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"5479_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Proceedings of 14th International Conference on Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes HLS, Simmons RG: Probabilistic verification of discrete event systems using acceptance sampling. Proceedings of 14th International Conference on Computer Aided Verification. 2002, 223-235. Springer"},{"key":"5479_CR10","first-page":"142","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"HLS Younes","year":"2006","unstructured":"Younes HLS: Error control for probabilistic model checking. Verification, Model Checking, and Abstract Interpretation. 2006, 142-156. Springer, [\n                    http:\/\/dx.doi.org\/10.1007\/11609773_10\n                    \n                  ]"},{"key":"5479_CR11","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Proceedings of 16th conference on Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen K, Viswanathan M, Agha G: Statistical model checking of black-box probabilistic systems. Proceedings of 16th conference on Computer Aided Verification. 2004, 202-215. Springer"},{"key":"5479_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/11513988_25","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2005","unstructured":"Younes HLS: Probabilistic verification for \"black box\" systems. Computer Aided Verification. 2005, 253-265. Springer"},{"key":"5479_CR13","volume-title":"PhD thesis","author":"HLS Younes","year":"2005","unstructured":"Younes HLS: Verification and planning for stochastic processes with asynchronous events. PhD thesis. 2005, Carnegie Mellon University"},{"key":"5479_CR14","first-page":"307","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T Herault","year":"2003","unstructured":"Herault T, Lassaigne R, Magniette F, Peyronnet S: Approximate probabilistic model checking. Verification, Model Checking, and Abstract Interpretation. 2003, 307-329. Springer"},{"key":"5479_CR15","first-page":"243","volume-title":"Proceedings of 13th ACM International Conference on Hybrid Systems: Computation and Control","author":"P Zuliani","year":"2010","unstructured":"Zuliani P, Platzer A, Clarke EM: Bayesian statistical model checking with application to Simulink\/Stateflow verification. Proceedings of 13th ACM International Conference on Hybrid Systems: Computation and Control. 2010, 243-252."},{"key":"5479_CR16","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Proceedings of 7th International Conference on Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha SK, Clarke EM, Langmead CJ, Legay A, Platzer A, Zuliani P: A Bayesian approach to model checking biological systems. Proceedings of 7th International Conference on Computational Methods in Systems Biology. 2009, 218-234. Springer"},{"issue":"21","key":"5479_CR17","doi-asserted-by":"publisher","first-page":"2162","DOI":"10.1016\/j.tcs.2011.01.012","volume":"412","author":"SK Jha","year":"2011","unstructured":"Jha SK, Langmead CJ: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theoretical Computer Science. 2011, 412 (21): 2162-2187. 10.1016\/j.tcs.2011.01.012. [\n                    http:\/\/dx.doi.org.libproxy1.nus.edu.sg\/10.1016\/j.tcs.2011.01.012\n                    \n                  ]","journal-title":"Theoretical Computer Science"},{"key":"5479_CR18","first-page":"100","volume":"17","author":"A Saito","year":"2006","unstructured":"Saito A, Nagasaki M, Doi A, Ueno K, Miyano S: Cell fate simulation model of gustatory neurons with mi-croRNAs double-negative feedback loop by hybrid function Petri net with extension. Genome Informatics. 2006, 17: 100-111.","journal-title":"Genome Informatics"},{"issue":"5","key":"5479_CR19","doi-asserted-by":"publisher","first-page":"734","DOI":"10.1093\/bioinformatics\/btq727","volume":"27","author":"CH Koh","year":"2011","unstructured":"Koh CH, Nagasaki M, Saito A, Li C, Wong L, Miyano S: MIRACH: Efficient model checker for quantitative biological pathway models. Bioinformatics. 2011, 27 (5): 734-735. 10.1093\/bioinformatics\/btq727.","journal-title":"Bioinformatics"},{"key":"5479_CR20","first-page":"138","volume":"11","author":"M Heiner","year":"2009","unstructured":"Heiner M, Lehrack S, Gilbert D, Marwan W: Extended stochastic Petri nets for model-based design of wetlab experiments. Transactions on Computational Systems Biology. 2009, 11: 138-163.","journal-title":"Transactions on Computational Systems Biology"},{"issue":"11","key":"5479_CR21","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1093\/bioinformatics\/bts166","volume":"28","author":"B Liu","year":"2012","unstructured":"Liu B, Hagiescu A, Palaniappan SK, Chattopadhyay B, Cui Z, Wong WF, Thiagarajan PS: Approximate probabilistic analysis of biopathway dynamics. Bioinformatics. 2012, 28 (11): 1508-1516. 10.1093\/bioinformatics\/bts166. [\n                    http:\/\/bioinformatics.oxfordjournals.org\/content\/28\/11\/1508\n                    \n                  ]","journal-title":"Bioinformatics"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-13-S17-S15.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-13-S17-S15\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-13-S17-S15.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T05:13:20Z","timestamp":1548134000000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-13-S17-S15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":21,"journal-issue":{"issue":"S17","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["5479"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-13-s17-s15","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"article-number":"S15"}}