{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:42:47Z","timestamp":1730306567573,"version":"3.28.0"},"reference-count":49,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/wsc40007.2019.9004718","type":"proceedings-article","created":{"date-parts":[[2020,2,21]],"date-time":"2020-02-21T06:30:05Z","timestamp":1582266605000},"page":"2807-2818","source":"Crossref","is-referenced-by-count":2,"title":["Validating Agent-Based Models of Large Networked Systems"],"prefix":"10.1109","author":[{"given":"Abhijin","family":"Adiga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Barrett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Eubank","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris J.","family":"Kuhlman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhav V.","family":"Marathe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Mortveit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. S.","family":"Ravi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Rosenkrantz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard E.","family":"Stearns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarth","family":"Swarup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anil","family":"Vullikanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"70","article-title":"Why Believe a Computerƒ Models, Measures, and Meaning in the Natural World","author":"oreskes","year":"2000","journal-title":"The Earth Around Us Maintaining A Livable Planet"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.2172\/793406"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363696"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(94)00016-6"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2009.0495"},{"key":"ref30","article-title":"The Conundrum of Verification and Validation of Social Science-Based Models (Redux)","author":"hahn","year":"2017","journal-title":"Technical Report"},{"journal-title":"Behavioral Modeling and Simulation from Individuals to Societies","year":"2008","key":"ref37"},{"journal-title":"Modeling Human and Organizational Behavior Application to Military Simulations","year":"1998","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2016.7"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/bs.hescom.2018.02.003","article-title":"Empirical Validation of Agent-Based Models","author":"lux","year":"2018","journal-title":"Handbook of Computational Economics Vol 4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1086\/226707"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03002-7"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.01.092"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0136139"},{"journal-title":"Technical Report","year":"2019","author":"adiga","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1126\/science.1207055"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511852008"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.geb.2014.05.002"},{"key":"ref24","first-page":"53","article-title":"Counterintuitive Behavior of Social Systems","volume":"73","author":"forrester","year":"1971","journal-title":"Technology Review"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/nature02541"},{"journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness","year":"1979","author":"garey","key":"ref26"},{"key":"ref25","first-page":"209","article-title":"Tests for Building Confidence in System Dynamics Models","author":"forrester","year":"1980","journal-title":"System Dynamics"},{"key":"ref10","first-page":"95","article-title":"Gardens of Eden and Fixed Points in Sequential Dynamical Systems","author":"barrett","year":"2001","journal-title":"Proc Discrete Mathematics and Theoretical Computer Science Conference"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0037549712446854"},{"journal-title":"Conjectures and Refutations The Growth of Scientific Knowledge","year":"1963","author":"popper","key":"ref40"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10614-007-9097-z"},{"key":"ref13","first-page":"1","article-title":"A Tourist Guide Through Treewidth","volume":"11","author":"bodlaender","year":"1993","journal-title":"Acta Cybernetica"},{"journal-title":"Empirical Model-Building and Response Surfaces","year":"1987","author":"box","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0049124113506405"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10340-017-0867-7"},{"key":"ref17","article-title":"Validating Computational Models","author":"carley","year":"1996","journal-title":"Technical Report"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1086\/286432"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1194","DOI":"10.1126\/science.1185231","article-title":"The Spread of Behavior in an Online Social Network Experiment","volume":"329","author":"centola","year":"2010","journal-title":"Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1177\/003754978504500204"},{"key":"ref3","first-page":"99","article-title":"Survey: Theory in Practice for Design and Verification","volume":"2","author":"alur","year":"2015","journal-title":"SIGLOG news"},{"key":"ref6","article-title":"TRANSIMS: Transportation Analysis Simulation System","author":"barrett","year":"2001","journal-title":"Technical Report LA-UR-00-1725 Los Alamos National Laboratory Unclassfied Report"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.04.026"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.03.006"},{"key":"ref7","article-title":"Effect of Public Policies and Individual Behavior on the Co-evolution of Social Networks and Infectious Disease Dynamics","author":"barrett","year":"2007","journal-title":"Proc DIMACS Workshop Comput Methods Dyn Interact Netw"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-006-8873-y"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.027"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.2105\/AJPH.2005.066043"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.93.048701"},{"journal-title":"Theory and Applications of Cellular Automata","year":"1987","author":"wolfram","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2017.8257955"},{"article-title":"Mutual Information in Random Boolean Models of Regulatory Networks","year":"2007","author":"ribeiro","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ASONAM.2018.8508282"},{"key":"ref44","first-page":"1501","article-title":"Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates","author":"rosenkrantz","year":"2015","journal-title":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems AAMAS"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268448"}],"event":{"name":"2019 Winter Simulation Conference (WSC)","start":{"date-parts":[[2019,12,8]]},"location":"National Harbor, MD, USA","end":{"date-parts":[[2019,12,11]]}},"container-title":["2019 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977453\/9004651\/09004718.pdf?arnumber=9004718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T21:51:02Z","timestamp":1658094662000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9004718\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/wsc40007.2019.9004718","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}