{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T08:47:51Z","timestamp":1771231671704,"version":"3.50.1"},"reference-count":86,"publisher":"Springer Science and Business Media LLC","issue":"S17","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/1471-2105-16-s17-s8","type":"journal-article","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T01:59:15Z","timestamp":1449626355000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Automated parameter estimation for biological models using Bayesian statistical model checking"],"prefix":"10.1186","volume":"16","author":[{"given":"Faraz","family":"Hussain","sequence":"first","affiliation":[]},{"given":"Christopher J","family":"Langmead","sequence":"additional","affiliation":[]},{"given":"Qi","family":"Mi","sequence":"additional","affiliation":[]},{"given":"Joyeeta","family":"Dutta-Moscato","sequence":"additional","affiliation":[]},{"given":"Yoram","family":"Vodovotz","sequence":"additional","affiliation":[]},{"given":"Sumit K","family":"Jha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,12,7]]},"reference":[{"key":"7189_CR1","volume-title":"Catalyzing Inquiry at the Interface of Computing and Biology","author":"HS Lin","year":"2005","unstructured":"Lin HS, Wooley JC, et al: Catalyzing Inquiry at the Interface of Computing and Biology. 2005, National Academies Press, Washington DC, USA"},{"issue":"3","key":"7189_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M Antoniotti","year":"2003","unstructured":"Antoniotti M, Policriti A, Ugel N, Mishra B: Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics. 2003, 38 (3): 271-286.","journal-title":"Cell Biochemistry and Biophysics"},{"key":"7189_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1002\/9780470172445.ch10","volume":"10","author":"O Balci","year":"1998","unstructured":"Balci O: Verification, validation, and testing. Handbook of simulation. 1998, 10: 335-393.","journal-title":"Handbook of simulation"},{"key":"7189_CR4","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1057\/jos.2012.20","volume":"7","author":"RG Sargent","year":"2013","unstructured":"Sargent RG: Verification and validation of simulation models. Journal of Simulation. 2013, 7: 12-24.","journal-title":"Journal of Simulation"},{"issue":"2","key":"7189_CR5","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1038\/nrg2509","volume":"10","author":"DJ Wilkinson","year":"2009","unstructured":"Wilkinson DJ: Stochastic modelling for quantitative description of heterogeneous biological systems. Nature Reviews Genetics. 2009, 10 (2): 122-133.","journal-title":"Nature Reviews Genetics"},{"key":"7189_CR6","volume-title":"Biological Modeling and Simulation: a Survey of Practical Models, Algorithms, and Numerical Methods","author":"R Schwartz","year":"2008","unstructured":"Schwartz R: Biological Modeling and Simulation: a Survey of Practical Models, Algorithms, and Numerical Methods. 2008, MIT Press, Cambridge, Massachusetts, USA"},{"key":"7189_CR7","volume-title":"Elements of computational systems biology","author":"J Gunawardena","year":"2010","unstructured":"Gunawardena J: Models in systems biology: the parameter problem and the meanings of robustness. Elements of computational systems biology. 2010, 1:"},{"key":"7189_CR8","volume-title":"Principles of Model Checking vol 26202649","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP, et al: Principles of Model Checking vol 26202649. 2008, MIT Press, Cambridge, Massachusetts, USA"},{"key":"7189_CR9","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. Formal Methods for Performance Evaluation. 2007, Springer, Germany, 220-270."},{"issue":"2","key":"7189_CR10","first-page":"159","volume":"1","author":"G An","year":"2009","unstructured":"An G, Mi Q, Dutta-Moscato J, Vodovotz Y: Agent-based models in translational systems biology. Wiley Interdisciplinary Reviews: Systems Biology and Medicine. 2009, 1 (2): 159-171.","journal-title":"Wiley Interdisciplinary Reviews: Systems Biology and Medicine"},{"issue":"suppl 3","key":"7189_CR11","doi-asserted-by":"publisher","first-page":"7280","DOI":"10.1073\/pnas.082080899","volume":"99","author":"E Bonabeau","year":"2002","unstructured":"Bonabeau E: Agent-based modeling: Methods and techniques for simulating human systems. Proceedings of the National Academy of Sciences. 2002, 99 (suppl 3): 7280-7287.","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"12","key":"7189_CR12","doi-asserted-by":"publisher","first-page":"123014","DOI":"10.1088\/0266-5611\/25\/12\/123014","volume":"25","author":"HW Engl","year":"2009","unstructured":"Engl HW, Flamm C, K\u00fcgler P, Lu J, M\u00fcller S, Schuster P: Inverse problems in systems biology. Inverse Problems. 2009, 25 (12): 123014-","journal-title":"Inverse Problems"},{"issue":"1","key":"7189_CR13","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1186\/1752-0509-2-47","volume":"2","author":"JR Banga","year":"2008","unstructured":"Banga JR: Optimization in computational systems biology. BMC systems biology. 2008, 2 (1): 47-","journal-title":"BMC systems biology"},{"key":"7189_CR14","first-page":"1072","volume":"995","author":"EA Emerson","year":"1990","unstructured":"Emerson EA: Temporal and modal logic. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). 1990, 995: 1072-","journal-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)"},{"key":"7189_CR15","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/0-387-28356-0_7","volume-title":"Search Methodologies","author":"E Aarts","year":"2005","unstructured":"Aarts E, Korst J, Michiels W: Simulated annealing. Search Methodologies. 2005, Springer, New York, 187-210."},{"key":"7189_CR16","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"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. Computational Methods in Systems Biology. 2009, 218-234."},{"issue":"1","key":"7189_CR17","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.jtbi.2006.02.015","volume":"242","author":"J Day","year":"2006","unstructured":"Day J, Rubin J, Vodovotz Y, Chow CC, Reynolds A, Clermont G: A reduced mathematical model of the acute inflammatory response ii. capturing scenarios of repeated endotoxin administration. Journal of theoretical biology. 2006, 242 (1): 237-256.","journal-title":"Journal of theoretical biology"},{"issue":"1","key":"7189_CR18","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1109\/TCBB.2011.67","volume":"9","author":"J Sun","year":"2012","unstructured":"Sun J, Garibaldi JM, Hodgman C: Parameter estimation using metaheuristics in systems biology: a comprehensive review. Computational Biology and Bioinformatics, IEEE\/ACM Transactions. 2012, 9 (1): 185-202.","journal-title":"Computational Biology and Bioinformatics, IEEE\/ACM Transactions"},{"issue":"4","key":"7189_CR19","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1093\/bioinformatics\/btl522","volume":"23","author":"OR Gonzalez","year":"2007","unstructured":"Gonzalez OR, K\u00fcper C, Jung K, Naval PC, Mendoza E: Parameter estimation using simulated annealing for s-system models of biochemical networks. Bioinformatics. 2007, 23 (4): 480-486.","journal-title":"Bioinformatics"},{"key":"7189_CR20","unstructured":"Simulated Annealing. [From MathWorld-A Wolfram Web Resource, created by Eric W. Weisstein], [ http:\/\/mathworld.wolfram.com\/SimulatedAnnealing.html ]"},{"issue":"3","key":"7189_CR21","doi-asserted-by":"publisher","first-page":"1000696","DOI":"10.1371\/journal.pcbi.1000696","volume":"6","author":"G Lillacci","year":"2010","unstructured":"Lillacci G, Khammash M: Parameter estimation and model selection in computational biology. PLoS computational biology. 2010, 6 (3): 1000696-","journal-title":"PLoS computational biology"},{"issue":"4","key":"7189_CR22","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. IEE Proceedings-Systems Biology. 2006, 153 (4): 168-178.","journal-title":"IEE Proceedings-Systems Biology"},{"issue":"2","key":"7189_CR23","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.biosystems.2005.06.016","volume":"83","author":"M Rodriguez-Fernandez","year":"2006","unstructured":"Rodriguez-Fernandez M, Mendes P, Banga JR: A hybrid approach for efficient and robust parameter estimation in biochemical pathways. Biosystems. 2006, 83 (2): 248-265.","journal-title":"Biosystems"},{"issue":"11","key":"7189_CR24","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"CG Moles","year":"2003","unstructured":"Moles CG, Mendes P, Banga JR: Parameter estimation in biochemical pathways: a comparison of global optimization methods. Genome research. 2003, 13 (11): 2467-2474.","journal-title":"Genome research"},{"issue":"14","key":"7189_CR25","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1093\/bioinformatics\/btl264","volume":"22","author":"G Koh","year":"2006","unstructured":"Koh G, Teong HFC, Cl\u00e9ment MV, Hsu D, Thiagarajan P: A decompositional approach to parameter estimation in pathway modeling: a case study of the akt and mapk pathways and their crosstalk. Bioinformatics. 2006, 22 (14): 271-280.","journal-title":"Bioinformatics"},{"issue":"2","key":"7189_CR26","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1097\/SHK.0b013e318193cc2b","volume":"32","author":"A Torres","year":"2009","unstructured":"Torres A, Bentley T, Bartels J, Sarkar J, Barclay D, Namas R, Constantine G, Zamora R, Puyana JC, Vodovotz Y: Mathematical modeling of posthemorrhage inflammation in mice: studies using a novel, computer-controlled, closed-loop hemorrhage apparatus. Shock. 2009, 32 (2): 172-178.","journal-title":"Shock"},{"key":"7189_CR27","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.jtbi.2014.05.036","volume":"358","author":"S Mathew","year":"2014","unstructured":"Mathew S, Bartels J, Banerjee I, Vodovotz Y: Global sensitivity analysis of a mathematical model of acute inflammation identifies nonlinear dependence of cumulative tissue damage on host interleukin-6 responses. Journal of theoretical biology. 2014, 358: 132-148.","journal-title":"Journal of theoretical biology"},{"issue":"3","key":"7189_CR28","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1089\/cmb.2009.0172","volume":"17","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9 A, Clermont G, Langmead CJ: Parameter synthesis in nonlinear dynamical systems: Application to systems biology. Journal of Computational Biology. 2010, 17 (3): 325-336.","journal-title":"Journal of Computational Biology"},{"issue":"1","key":"7189_CR29","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.jtbi.2006.02.016","volume":"242","author":"A Reynolds","year":"2006","unstructured":"Reynolds A, Rubin J, Clermont G, Day J, Vodovotz Y, Bard Ermentrout G: A reduced mathematical model of the acute inflammatory response: I. derivation of model and analysis of anti-inflammation. Journal of theoretical biology. 2006, 242 (1): 220-236.","journal-title":"Journal of theoretical biology"},{"issue":"2","key":"7189_CR30","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.jtbi.2004.04.044","volume":"230","author":"R Kumar","year":"2004","unstructured":"Kumar R, Clermont G, Vodovotz Y, Chow CC: The dynamics of acute inflammation. Journal of Theoretical Biology. 2004, 230 (2): 145-155.","journal-title":"Journal of Theoretical Biology"},{"key":"7189_CR31","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11880646_4","volume-title":"Transactions on Computational Systems Biology VI","author":"L Calzone","year":"2006","unstructured":"Calzone L, Chabrier-Rivier N, Fages F, Soliman S: Machine learning biochemical networks from temporal logic properties. Transactions on Computational Systems Biology VI. 2006, Springer, Germany, 68-94."},{"key":"7189_CR32","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/0-8176-4404-0_23","volume-title":"Handbook of Networked and Embedded Control Systems","author":"E Clarke","year":"2005","unstructured":"Clarke E, Fehnker A, Jha SK, Veith H: Temporal logic model checking. Handbook of Networked and Embedded Control Systems. 2005, Birkhauser, Boston, USA, 539-558."},{"issue":"4","key":"7189_CR33","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.aam.2006.08.004","volume":"39","author":"AS Jarrah","year":"2007","unstructured":"Jarrah AS, Laubenbacher R, Stigler B, Stillman M: Reverse-engineering of polynomial dynamical systems. Advances in Applied Mathematics. 2007, 39 (4): 477-489.","journal-title":"Advances in Applied Mathematics"},{"key":"7189_CR34","first-page":"233","volume-title":"Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control","author":"T Dreossi","year":"2014","unstructured":"Dreossi T, Dang T: Parameter synthesis for polynomial biological models. Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. 2014, ACM, 233-242."},{"issue":"18","key":"7189_CR35","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/bioinformatics\/btq387","volume":"26","author":"G Batt","year":"2010","unstructured":"Batt G, Page M, Cantone I, Goessler G, Monteiro P, De Jong H: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics. 2010, 26 (18): 603-610.","journal-title":"Bioinformatics"},{"issue":"1","key":"7189_CR36","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.cell.2009.01.055","volume":"137","author":"I Cantone","year":"2009","unstructured":"Cantone I, Marucci L, Iorio F, Ricci MA, Belcastro V, Bansal M, Santini S, Di Bernardo M, Di Bernardo D, Cosma MP: A yeast synthetic network for in vivo assessment of reverse-engineering and modeling approaches. Cell. 2009, 137 (1): 172-181.","journal-title":"Cell"},{"key":"7189_CR37","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R Donaldson","year":"2008","unstructured":"Donaldson R, Gilbert D: A model checking approach to the parameter estimation of biochemical pathways. Computational Methods in Systems Biology. 2008, Springer, 269-287."},{"key":"7189_CR38","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-88562-7_19","volume-title":"Computational Methods in Systems Biology","author":"A Rizk","year":"2008","unstructured":"Rizk A, Batt G, Fages F, Soliman S: On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. Computational Methods in Systems Biology. 2008, Springer, 251-268."},{"key":"7189_CR39","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1007\/978-3-319-16480-9_52","volume-title":"Bioinformatics and Biomedical Engineering","author":"T Mancini","year":"2015","unstructured":"Mancini T, Tronci E, Salvo I, Mari F, Massini A, Melatti I: Computing biological model parameters by parallel statistical model checking. Bioinformatics and Biomedical Engineering. 2015, Springer, Switzerland, 542-554."},{"issue":"10","key":"7189_CR40","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/S0006-3495(71)86257-4","volume":"11","author":"W Shack","year":"1971","unstructured":"Shack W, Tam P, Lardner T: A mathematical model of the human menstrual cycle. Biophysical journal. 1971, 11 (10): 835-","journal-title":"Biophysical journal"},{"key":"7189_CR41","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-642-32157-3_1","volume-title":"Stochastic Biomathematical Models","author":"S Ditlevsen","year":"2013","unstructured":"Ditlevsen S, Samson A: Introduction to stochastic models in biology. Stochastic Biomathematical Models. 2013, Springer, Germany, 3-35."},{"key":"7189_CR42","doi-asserted-by":"crossref","DOI":"10.1201\/b12537","volume-title":"An Introduction to Stochastic Processes with Applications to Biology","author":"LJ Allen","year":"2010","unstructured":"Allen LJ: An Introduction to Stochastic Processes with Applications to Biology. 2010, CRC Press, Boca Raton, Florida, USA"},{"issue":"4","key":"7189_CR43","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. ACM SIGMETRICS Performance Evaluation Review. 2008, 35 (4): 14-21.","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"issue":"11","key":"7189_CR44","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA: Executable cell biology. Nature biotechnology. 2007, 25 (11): 1239-1249.","journal-title":"Nature biotechnology"},{"issue":"5560","key":"7189_CR45","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H Kitano","year":"2002","unstructured":"Kitano H: Systems biology: a brief overview. Science. 2002, 295 (5560): 1662-1664.","journal-title":"Science"},{"key":"7189_CR46","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-30367-8_6","volume-title":"Model Based Parameter Estimation","author":"J Mazur","year":"2013","unstructured":"Mazur J, Kaderali L: The importance and challenges of Bayesian parameter learning in systems biology. Model Based Parameter Estimation. 2013, Springer, Germany, 145-156."},{"key":"7189_CR47","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-0-387-30440-3_10","volume-title":"Encyclopedia of Complexity and Systems Science","author":"R Laubenbacher","year":"2009","unstructured":"Laubenbacher R, Jarrah AS, Mortveit HS, Ravi S: Agent based modeling, mathematical formalism for. Encyclopedia of Complexity and Systems Science. 2009, 160-176."},{"issue":"3","key":"7189_CR48","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1057\/jos.2010.3","volume":"4","author":"CM Macal","year":"2010","unstructured":"Macal CM, North MJ: Tutorial on agent-based modelling and simulation. Journal of Simulation. 2010, 4 (3): 151-162.","journal-title":"Journal of Simulation"},{"key":"7189_CR49","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/11554028_88","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"B Calvez","year":"2005","unstructured":"Calvez B, Hutzler G: Parameter space exploration of agent-based models. Knowledge-Based Intelligent Information and Engineering Systems. 2005, Springer, 633-639."},{"issue":"1","key":"7189_CR50","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s10614-005-6415-1","volume":"26","author":"S Alfarano","year":"2005","unstructured":"Alfarano S, Lux T, Wagner F: Estimation of agent-based models: the case of an asymmetric herding model. Computational Economics. 2005, 26 (1): 19-49.","journal-title":"Computational Economics"},{"issue":"3","key":"7189_CR51","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0167-9473(02)00214-1","volume":"42","author":"M Gilli","year":"2003","unstructured":"Gilli M, Winker P: A global optimization heuristic for estimating agent based models. Computational Statistics & Data Analysis. 2003, 42 (3): 299-312.","journal-title":"Computational Statistics & Data Analysis"},{"issue":"1","key":"7189_CR52","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.jcrc.2005.11.012","volume":"21","author":"G An","year":"2006","unstructured":"An G: Concepts for developing a collaborative in silico model of the acute inflammatory response using agent-based modeling. Journal of critical care. 2006, 21 (1): 105-110.","journal-title":"Journal of critical care"},{"key":"7189_CR53","unstructured":"Simple Platform for Agent-based Representation of Knowledge (SPARK). Accessed: 2015-06-23, [ http:\/\/www.pitt.edu\/~cirm\/spark\/ ]"},{"issue":"3","key":"7189_CR54","doi-asserted-by":"publisher","first-page":"18","DOI":"10.4018\/jats.2010070102","volume":"2","author":"A Solovyev","year":"2010","unstructured":"Solovyev A, Mikheev M, Zhou L, Dutta-Moscato J, Ziraldo C, An G, Vodovotz Y, Mi Q: SPARK: A Framework for Multi-Scale Agent-Based Biomedical Modeling. International Journal of Agent Technologies and Systems. 2010, 2 (3): 18-30.","journal-title":"International Journal of Agent Technologies and Systems"},{"key":"7189_CR55","doi-asserted-by":"crossref","unstructured":"Solovyev A, Mi Q, Tzen YT, Brienza D, Vodovotz Y: Hybrid Equation\/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury. PLoS Comput Biol. 2013, 9 (5):","DOI":"10.1371\/journal.pcbi.1003070"},{"key":"7189_CR56","doi-asserted-by":"crossref","unstructured":"Dutta-Moscato J, Solovyev A, Mi Q, Nishikawa T, Soto-Gutierrez A, Fox IJ, Vodovotz Y: A multiscale agent-based in silico model of liver fibrosis progression. Frontiers in Bioengineering and Biotechnology. 2014, 2 (18):","DOI":"10.3389\/fbioe.2014.00018"},{"key":"7189_CR57","doi-asserted-by":"crossref","unstructured":"Ziraldo C, Solovyev A, Allegretti A, Krishnan S, Henzel MK, Sowa GA, Brienza D, An G, Mi Q, Vodovotz Y: A computational, tissue-realistic model of pressure ulcer formation in individuals with spinal cord injury. Journal of Critical Care. 2013, 28 (1):","DOI":"10.1016\/j.jcrc.2012.10.061"},{"issue":"2","key":"7189_CR58","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:FORM.0000017718.28096.48","volume":"24","author":"B Finkbeiner","year":"2004","unstructured":"Finkbeiner B, Sipma H: Checking finite traces using alternating automata. Formal Methods in System Design. 2004, 24 (2): 101-127.","journal-title":"Formal Methods in System Design"},{"key":"7189_CR59","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P Thati","year":"2005","unstructured":"Thati P, Rosu G: Monitoring algorithms for metric temporal logic specifications. Electr Notes Theor Comput Sci. 2005, 113: 145-162.","journal-title":"Electr Notes Theor Comput Sci"},{"key":"7189_CR60","volume-title":"Model validation and discovery for complex stochastic systems","author":"SK Jha","year":"2010","unstructured":"Jha SK: Model validation and discovery for complex stochastic systems. 2010, PhD thesis, Carnegie Mellon University"},{"key":"7189_CR61","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. Runtime Verification. 2010, Springer, 122-135."},{"issue":"2","key":"7189_CR62","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/s10703-013-0195-3","volume":"43","author":"P Zuliani","year":"2013","unstructured":"Zuliani P, Platzer A, Clarke EM: Bayesian statistical model checking with application to stateflow\/simulink verification. Formal Methods in System Design. 2013, 43 (2): 338-367.","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"7189_CR63","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho PH, Nicollin X, Olivero A, Sifakis J, Yovine S: The algorithmic analysis of hybrid systems. Theoretical computer science. 1995, 138 (1): 3-34.","journal-title":"Theoretical computer science"},{"issue":"4","key":"7189_CR64","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/1592434.1592438","volume":"41","author":"R Jhala","year":"2009","unstructured":"Jhala R, Majumdar R: Software model checking. ACM Computing Surveys (CSUR). 2009, 41 (4): 21-","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"1","key":"7189_CR65","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: Model-checking continuous-time markov chains. ACM Transactions on Computational Logic (TOCL). 2000, 1 (1): 162-170.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"6","key":"7189_CR66","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier C, Haverkort B, Hermanns H, Katoen JP: Model-checking algorithms for continuous-time markov chains. Software Engineering, IEEE Transactions. 2003, 29 (6): 524-541.","journal-title":"Software Engineering, IEEE Transactions"},{"key":"7189_CR67","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","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. Verification, Model Checking, and Abstract Interpretation. 2004, Springer, 73-84."},{"key":"7189_CR68","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-540-31980-1_18","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R Grosu","year":"2005","unstructured":"Grosu R, Smolka SA: Monte carlo model checking. Tools and Algorithms for the Construction and Analysis of Systems. 2005, Springer, Germany, 271-286."},{"key":"7189_CR69","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. Computer Aided Verification. 2004, Springer, 202-215."},{"issue":"9","key":"7189_CR70","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes HLS, Simmons RG: Statistical probabilistic model checking with a focus on time-bounded properties. Inf Comput. 2006, 204 (9): 1368-1409.","journal-title":"Inf Comput"},{"key":"7189_CR71","first-page":"223","volume-title":"CAV Lecture Notes in Computer Science","author":"HLS Younes","year":"2002","unstructured":"Younes HLS, Simmons RG: Probabilistic verification of discrete event systems using acceptance sampling. CAV Lecture Notes in Computer Science. Edited by: Brinksma, E., Larsen, K.G. 2002, Springer, Germany, 2404: 223-235."},{"key":"7189_CR72","volume-title":"Sequential Analysis","author":"A Wald","year":"1973","unstructured":"Wald A: Sequential Analysis. 1973, Dover, Courier Corporation, USA"},{"key":"7189_CR73","first-page":"201","volume-title":"Proc of the 8th International Conference on Computational Systems Bioinformatics (CSB)","author":"CJ Langmead","year":"2009","unstructured":"Langmead CJ: Generalized Queries and Bayesian Statistical Model Checking in Dynamic Bayesian Networks: Application to Personalized Medicine. Proc of the 8th International Conference on Computational Systems Bioinformatics (CSB). 2009, 201-212."},{"key":"7189_CR74","first-page":"10","volume-title":"Statistical Science","author":"D Bertsimas","year":"1993","unstructured":"Bertsimas D, Tsitsiklis J: Simulated annealing. Statistical Science. 1993, 10-15."},{"issue":"2","key":"7189_CR75","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. The Annals of Mathematical Statistics. 1945, 16 (2): 117-186.","journal-title":"The Annals of Mathematical Statistics"},{"key":"7189_CR76","first-page":"1","volume-title":"ICCABS","author":"Hussain Faraz","year":"2012","unstructured":"Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha: Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS. Edited by: Istrail, S., Mandoiu, I.I., Pop, M., Rajasekaran, S., Spouge, J.L. 2012, IEEE Computer Society, USA, 1-6."},{"issue":"4\/5","key":"7189_CR77","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1504\/IJBRA.2014.062998","volume":"10","author":"Faraz Hussain","year":"2014","unstructured":"Hussain Faraz, Jha Sumit K, Jha Susmit, Langmead Christopher J: Parameter discovery in stochastic biological models using simulated annealing and statistical model checking. International Journal of Bioinformatics Research and Applications. 2014, 10 (4\/5): 519-539.","journal-title":"International Journal of Bioinformatics Research and Applications"},{"issue":"1","key":"7189_CR78","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.mbs.2008.10.002","volume":"217","author":"B Rivi\u00e8re","year":"2009","unstructured":"Rivi\u00e8re B, Epshteyn Y, Swigon D, Vodovotz Y: A simple mathematical model of signaling resulting from the binding of lipopolysaccharide with toll-like receptor 4 demonstrates inherent preconditioning behavior. Mathematical biosciences. 2009, 217 (1): 19-26.","journal-title":"Mathematical biosciences"},{"issue":"1","key":"7189_CR79","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.mbs.2008.09.003","volume":"217","author":"P Foteinou","year":"2009","unstructured":"Foteinou P, Calvano S, Lowry S, Androulakis I: Modeling endotoxin-induced systemic inflammation using an indirect response approach. Mathematical biosciences. 2009, 217 (1): 27-42.","journal-title":"Mathematical biosciences"},{"issue":"1","key":"7189_CR80","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.mbs.2008.10.001","volume":"217","author":"G An","year":"2009","unstructured":"An G: A model of tlr4 signaling and tolerance using a qualitative, particle-event-based method: Introduction of spatially configured stochastic reaction chambers (scsrc). Mathematical biosciences. 2009, 217 (1): 43-52.","journal-title":"Mathematical biosciences"},{"issue":"2","key":"7189_CR81","doi-asserted-by":"publisher","first-page":"9249","DOI":"10.1371\/journal.pone.0009249","volume":"5","author":"X Dong","year":"2010","unstructured":"Dong X, Foteinou PT, Calvano SE, Lowry SF, Androulakis IP: Agent-based modeling of endotoxin-induced acute inflammatory response in human blood leukocytes. PloS one. 2010, 5 (2): 9249-","journal-title":"PloS one"},{"issue":"7256","key":"7189_CR82","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1038\/460685a","volume":"460","author":"JD Farmer","year":"2009","unstructured":"Farmer JD, Foley D: The economy needs agent-based modelling. Nature. 2009, 460 (7256): 685-686.","journal-title":"Nature"},{"issue":"3","key":"7189_CR83","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1093\/jrs\/fen024","volume":"21","author":"S Edwards","year":"2008","unstructured":"Edwards S: Computational tools in predicting and assessing forced migration. Journal of Refugee Studies. 2008, 21 (3): 347-359.","journal-title":"Journal of Refugee Studies"},{"issue":"1","key":"7189_CR84","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1742-5573-9-1","volume":"9","author":"AM El-Sayed","year":"2012","unstructured":"El-Sayed AM, Scarborough P, Seemann L, Galea S: Social network analysis and agent-based modeling in social epidemiology. Epidemiologic Perspectives & Innovations. 2012, 9 (1): 1-","journal-title":"Epidemiologic Perspectives & Innovations"},{"key":"7189_CR85","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/ICCABS.2011.5729862","volume-title":"Computational Advances in Bio and Medical Sciences (ICCABS), 2011 IEEE 1st International Conference","author":"SK Jha","year":"2011","unstructured":"Jha SK, Langmead CJ: Exploring behaviors of sde models of biological systems using change of measures. Computational Advances in Bio and Medical Sciences (ICCABS), 2011 IEEE 1st International Conference. 2011, IEEE, 111-116."},{"key":"7189_CR86","unstructured":"Benner P, Gugercin S, Willcox K: A survey of model reduction methods for parametric systems. Preprint MPIMD\/13-14, Max Planck Institute Magdeburg (August 2013). Available from http:\/\/www.mpi-magdeburg.mpg.de\/preprints\/"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-16-S17-S8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T09:56:10Z","timestamp":1599904570000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-16-S17-S8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":86,"journal-issue":{"issue":"S17","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["7189"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-16-s17-s8","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12]]},"assertion":[{"value":"7 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"S8"}}