{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T07:46:02Z","timestamp":1782546362745,"version":"3.54.5"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T00:00:00Z","timestamp":1702166400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,10]],"date-time":"2023-12-10T00:00:00Z","timestamp":1702166400000},"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":[[2023,12,10]]},"DOI":"10.1109\/wsc60868.2023.10408388","type":"proceedings-article","created":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T18:30:14Z","timestamp":1706725814000},"page":"2674-2685","source":"Crossref","is-referenced-by-count":5,"title":["Validation Without Data - Formalizing Stylized Facts Of Time Series"],"prefix":"10.1109","author":[{"given":"Pia","family":"Wilsdorf","sequence":"first","affiliation":[{"name":"University of Rostock,Institute for Visual and Analytic Computing,Rostock,Germany,18059"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marian","family":"Zuska","sequence":"additional","affiliation":[{"name":"University of Rostock,Institute for Visual and Analytic Computing,Rostock,Germany,18059"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philipp","family":"Andelfinger","sequence":"additional","affiliation":[{"name":"University of Rostock,Institute for Visual and Analytic Computing,Rostock,Germany,18059"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adelinde M.","family":"Uhrmacher","sequence":"additional","affiliation":[{"name":"University of Rostock,Institute for Visual and Analytic Computing,Rostock,Germany,18059"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"Peters","sequence":"additional","affiliation":[{"name":"University of Rostock,Department of Economics,Rostock,Germany,18057"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"A Comparison of the Current Crisis with the Great Depression as Regards their Depth and the Policy Responses","volume-title":"Working Paper 354, WIFO","author":"Aiginger","year":"2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-1049.1996.tb00737.x"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ecolmodel.2013.11.009"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1162\/003465399558454"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10887-011-9065-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1080\/713665670"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10579-017-9381-z"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00191-016-0466-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.5089\/9781451927573.001"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510171"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.082080399"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.17705\/1CAIS.03710"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3386\/w27391"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/UKSIM.2009.20"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.22360\/springsim.2017.tmsdevs.042"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1080\/17477778.2020.1742588"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70766-2_16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.isci.2019.08.045"},{"key":"ref20","first-page":"1","article-title":"The Definitive ANTLR 4 Reference","author":"Parr","year":"2013","journal-title":"The Definitive ANTLR 4 Reference"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0277615"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2017.8247839"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2019.2899840"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1057\/jos.2012.20"},{"key":"ref26","article-title":"MultiVeStA: Statistical Model Checking for Discrete Event Simulators","volume-title":"Working Paper, IMT Institute for Advanced Studies Lucca","author":"Sebastio","year":"2013"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-0048(99)01004-6"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3326168"},{"key":"ref29","article-title":"Automatic Verification of DEVS Models","volume-title":"Proceedings of the 2002 Spring Simulation Interoperability Workshop","author":"Wainer"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.econlet.2003.07.014"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1006\/exeh.1998.0701"},{"issue":"2","key":"ref32","first-page":"8","article-title":"Empirical Validation of Agent-Based Models: Alternatives and Prospects","volume":"10","author":"Windrum","year":"2007","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4371(04)01057-X"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1049\/cit2.12207"}],"event":{"name":"2023 Winter Simulation Conference (WSC)","location":"San Antonio, TX, USA","start":{"date-parts":[[2023,12,10]]},"end":{"date-parts":[[2023,12,13]]}},"container-title":["2023 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10406299\/10407113\/10408388.pdf?arnumber=10408388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T00:15:03Z","timestamp":1706832903000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10408388\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,10]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/wsc60868.2023.10408388","relation":{},"subject":[],"published":{"date-parts":[[2023,12,10]]}}}