{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T17:23:58Z","timestamp":1720718638781},"reference-count":14,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,5,25]],"date-time":"2016-05-25T00:00:00Z","timestamp":1464134400000},"content-version":"vor","delay-in-days":145,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Procedia Computer Science"],"published-print":{"date-parts":[[2016]]},"DOI":"10.1016\/j.procs.2016.05.468","type":"journal-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T03:06:58Z","timestamp":1464836818000},"page":"1473-1484","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Runtime Verification of Scientific Codes Using Statistics"],"prefix":"10.1016","volume":"80","author":[{"given":"Minh Ngoc","family":"Dinh","sequence":"first","affiliation":[]},{"given":"David","family":"Abramson","sequence":"additional","affiliation":[]},{"given":"Chao","family":"Jin","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.procs.2016.05.468_bib0005","doi-asserted-by":"crossref","unstructured":"M. N. Dinh, D. Abramson, C. Jin, D. Kurniawan, A. Gontarek, B. Moench, et al., \u201cDebugging Scientific Applications With Statistical Assertions,\u201d in International Conference on Computational Science (ICCS), Omaha, Nebraska, USA, 2012, pp. 1940-1949.","DOI":"10.1016\/j.procs.2012.04.212"},{"key":"10.1016\/j.procs.2016.05.468_bib0010","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/jcph.1995.1039","article-title":"Fast Parallel Algorithms for Short-Range Molecular Dynamics","volume":"117","author":"Plimpton","year":"1995","journal-title":"Journal of Computational Physics"},{"key":"10.1016\/j.procs.2016.05.468_bib0015","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1086\/317361","article-title":"FLASH: An Adaptive Mesh Hydrodynamics Code for Modeling Astrophysical Thermonuclear Flashes","volume":"131","author":"Fryxell","year":"2000","journal-title":"The Astrophysical Journal Supplement Series"},{"key":"10.1016\/j.procs.2016.05.468_bib0020","series-title":"Computational fluid dynamics","author":"Chung","year":"2010"},{"key":"10.1016\/j.procs.2016.05.468_bib0025","unstructured":"D. Frenkel and B. Smit, Understanding Molecular Simulations: From Algorithms to Applications, 2 ed.: Elsevier Science & Technology, 2002."},{"key":"10.1016\/j.procs.2016.05.468_bib0030","series-title":"Statistical physics","author":"Landau","year":"1969"},{"key":"10.1016\/j.procs.2016.05.468_bib0035","unstructured":"Free Software Foundation Inc. (2008, 15\/01\/2009). GDB: The GNU Project Debugger. Available: http:\/\/www.gnu.org\/software\/gdb\/."},{"key":"10.1016\/j.procs.2016.05.468_bib0040","unstructured":"Sandia National Labs. (2013, 09\/04\/2013). LAMMPS Mail List Thread Index. Available: http:\/\/lammps.sandia.gov\/threads\/threads.html."},{"key":"10.1016\/j.procs.2016.05.468_bib0045","unstructured":"C. Daley. (2011, 18\/03\/2013). fix_particle_map_jan_2011\/svn_log_messages.txt. Available: http:\/\/www.flash.uchicago.edu\/\u223ccdaley\/FLASH3.3_patches\/fix_particle_map_jan_2011\/svn_log_messages.txt."},{"key":"10.1016\/j.procs.2016.05.468_bib0050","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1057\/jos.2012.20","article-title":"Verification and Validation of Simulation Models","volume":"7","author":"Sargent","year":"2013","journal-title":"Journal of Simulation"},{"key":"10.1016\/j.procs.2016.05.468_bib0055","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01299065","article-title":"Aligning Simulation Models: A Case Study and Results","volume":"1","author":"Axtell","year":"1996","journal-title":"Computational and Mathematical Organization Theory"},{"key":"10.1016\/j.procs.2016.05.468_bib0060","doi-asserted-by":"crossref","unstructured":"S. F. Siegel and T. K. Zirkel, \u201cCollective Assertions,\u201d in Verification, model checking, and abstract interpretation (VMCAI), Austin, Texas, 2011.","DOI":"10.1007\/978-3-642-18275-4_27"},{"key":"10.1016\/j.procs.2016.05.468_bib0065","unstructured":"C.-N. Wen, S.-H. Chou, T.-F. Chen, and T.-J. Lin, \u201cRunAssert: A Non-Intrusive Run-Time Assertion for Parallel Programs Debugging,\u201d presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, 2010."},{"key":"10.1016\/j.procs.2016.05.468_bib0070","doi-asserted-by":"crossref","unstructured":"D. Schwartz-Narbonne, F. Liu, T. Pondicherry, D. August, and S. Malik, \u201cParallel assertions for debugging parallel programs,\u201d presented at the Formal Methods and Models for Codesign (MEMOCODE), Cambridge, 2011.","DOI":"10.1109\/MEMCOD.2011.5970525"}],"container-title":["Procedia Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S187705091630953X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S187705091630953X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T04:44:09Z","timestamp":1568004249000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S187705091630953X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":14,"alternative-id":["S187705091630953X"],"URL":"http:\/\/dx.doi.org\/10.1016\/j.procs.2016.05.468","relation":{},"ISSN":["1877-0509"],"issn-type":[{"value":"1877-0509","type":"print"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Runtime Verification of Scientific Codes Using Statistics","name":"articletitle","label":"Article Title"},{"value":"Procedia Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.procs.2016.05.468","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}
