{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:08:28Z","timestamp":1725487708676},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725831"},{"type":"electronic","value":"9783540725848"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72584-8_161","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T13:58:59Z","timestamp":1184594339000},"page":"1238-1245","source":"Crossref","is-referenced-by-count":2,"title":["Validating Evolving Simulations in COERCE"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Paul F.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Spiegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyu","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Gore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"161_CR1","unstructured":"Waziruddin, S., Brogan, D.C., Reynolds, P.F.: Coercion through optimization: A classification of optimization techniques. In: Proceedings of the Fall Simulation Interoperability Workshop (2004)"},{"key":"161_CR2","first-page":"293","volume-title":"Proceedings of 2005 Winter Simulation Conference","author":"P.K. Davis","year":"2005","unstructured":"Davis, P.K.: New Paradigms and Challenges. In: Proceedings of 2005 Winter Simulation Conference, pp. 293\u2013302. IEEE, Piscataway (2005)"},{"key":"161_CR3","unstructured":"OCRWM. Yucca mountain science and engineering report REV 1. DOE\/RW-0539-1. U.S. Department of Energy, Office of Civilian Radioactive Waste Management, Las Vegas, Nevada (2002)"},{"key":"161_CR4","doi-asserted-by":"crossref","unstructured":"IPCC. Ipcc fourth assessment report climate change. Intergovernmental Panel on Climate Change (2007)","DOI":"10.1017\/CBO9780511546013"},{"key":"161_CR5","unstructured":"OMB. Circular a-4, regulatory analysis. Office of Management and Budget (September 2003)"},{"key":"161_CR6","doi-asserted-by":"crossref","unstructured":"Sentz, K., Ferson, S.: Combination of evidence in dempster-shafer theory. Sandia National Laboratories (2002)","DOI":"10.2172\/800792"},{"issue":"1","key":"161_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1111\/j.1539-6924.1981.tb01350.x","volume":"1","author":"S. Kaplan","year":"1981","unstructured":"Kaplan, S., Garrick, B.: On the quantitative definition of risk. Risk Analysis\u00a01(1), 11\u201327 (1981)","journal-title":"Risk Analysis"},{"key":"161_CR8","doi-asserted-by":"publisher","first-page":"1359","DOI":"10.1126\/science.2255906","volume":"250","author":"G.. Apostolakis","year":"1990","unstructured":"Apostolakis, G.: The concept of probability in safety assessment of technological systems. Science\u00a0250, 1359\u20131364 (1990)","journal-title":"Science"},{"key":"161_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical Reasoning with Imprecise Probabilities","author":"P.. Walley","year":"1991","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman\/Hall, Boca Raton (1991)"},{"key":"161_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0951-8320(96)00071-3","volume":"54","author":"S. Ferson","year":"1996","unstructured":"Ferson, S., Ginzburg, L.: Different methods are needed to propagate ignorance and variability. Reliability Engineering and System Safety\u00a054, 133\u2013144 (1996)","journal-title":"Reliability Engineering and System Safety"},{"key":"161_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.ress.2004.03.008","volume":"85","author":"S. Ferson","year":"2004","unstructured":"Ferson, S., Hajagos, J.: Arithmetic with uncertain numbers: rigorous and best possible answers. Reliability Engineering and System Safety\u00a085, 135\u2013152 (2004)","journal-title":"Reliability Engineering and System Safety"},{"issue":"4","key":"161_CR12","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1897\/1551-5028(2002)021<0882:CODAPC>2.0.CO;2","volume":"21","author":"H. Regan","year":"2002","unstructured":"Regan, H., Sample, B., Ferson, S.: Comparison of deterministic and probabilistic calculation of ecological soil screening levels. Environmental Toxicoloy and Chemistry\u00a021(4), 882\u2013890 (2002)","journal-title":"Environmental Toxicoloy and Chemistry"},{"key":"161_CR13","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A mathematical theory of evidence","author":"G.. Shafer","year":"1976","unstructured":"Shafer, G.: A mathematical theory of evidence. Princeton University Press, Princeton (1976)"},{"issue":"4","key":"161_CR14","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1111\/j.1539-6924.2005.00644.x","volume":"25","author":"J. Helton","year":"2005","unstructured":"Helton, J., Oberkampf, W., Johnson, J.: Competing failure risk analysis using evidence theory. Risk Analysis\u00a025(4), 973\u2013995 (2005)","journal-title":"Risk Analysis"},{"key":"161_CR15","doi-asserted-by":"crossref","unstructured":"Easterling, R., Berger, J.: Statistical foundations for the validation of computer models. In: V&V State of the Art: Proceedings of Foundations \u201902 (2002)","DOI":"10.2172\/809985"},{"key":"161_CR16","unstructured":"Liu, X., Reynolds, P., Brogan, D.: Using abstraction in the verification of simulation coercion. In: Proceedings of the 2006 Conference on Principles of Advanced and Distributed Simulation (PADS), pp. 119\u2013128 (2006)"},{"key":"161_CR17","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.. Holzmann","year":"2004","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston (2004)"},{"key":"161_CR18","unstructured":"Lynch, N., Segala, R., Vaandrager, F.: Hybrid, I\/O Automata. Technical Report: MIT-LCS-TR-827d, MIT Lab. for Computer Science (Jan. 2003)"},{"key":"161_CR19","unstructured":"Carnahan, J., Reynolds, P., Brogan, D.: Language constructs for identifying flexible points in coercible simulations. In: Proceedings of the 2004 Fall Simulation Interoperability Workshop. Simulation Interoperability Standards Organization, Orlando, Florida (September 2004)"},{"key":"161_CR20","unstructured":"Vallee-Rai, R., Co, P., Gagnon, E., Hendren, L., Lam, P., Sundaresan, V.: Soot - a Java bytecode optimization framework. In: Proceedings of the 1999 Conference of the Centre for Advanced Studies on Collaborative Research (1999)"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72584-8_161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T08:45:41Z","timestamp":1629362741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72584-8_161"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540725831","9783540725848"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72584-8_161","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}