{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:41:00Z","timestamp":1730306460462,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/wsc.2017.8247876","type":"proceedings-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:43:13Z","timestamp":1515433393000},"page":"1312-1323","source":"Crossref","is-referenced-by-count":1,"title":["A framework for formal automated analysis of simulation experiments using probabilistic model checking"],"prefix":"10.1109","author":[{"given":"Kyle","family":"Doud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Levent","family":"Yilmaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Eclipse Modeling Project A Domain-specific Language Toolkit","year":"2009","author":"gronback","key":"ref10"},{"journal-title":"Accelerating science A Computing Research Agenda","year":"2016","author":"honavar","key":"ref11"},{"journal-title":"Applied Groundwater Modeling Simulation of Flow and Advective Transport","year":"2015","author":"hunt","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2010.5707120"},{"journal-title":"Probabilistic Model Checking for Systems Biology","year":"2010","author":"kwiatkowska","key":"ref15"},{"key":"ref16","article-title":"An Introduction to Aspect-Oriented Programming","author":"lee","year":"2002","journal-title":"COMP610E Course of Software Development of E-Business Applications (Spring 2002)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15865-0_2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"ref19","article-title":"Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance","author":"norman","year":"2014","journal-title":"Technical Report"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2016.7822160"},{"journal-title":"A Model Driven Engineering Framework for Simulation Experiment Management","year":"2016","author":"chakladar","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/11591962_8"},{"key":"ref3","first-page":"107","article-title":"Model Checking Executable Specification for Reactive Components","volume":"4","author":"blaskovic","year":"2012","journal-title":"The Second International Conference on Advances in System Testing and Validation Lifecycle"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_13"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2004.06.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28554-7"},{"key":"ref9","first-page":"1","author":"griswold","year":"2001","journal-title":"Aspect-Oriented Programming with AspectJ"},{"key":"ref1","first-page":"1","article-title":"Model-Driven Software Development","volume":"1","author":"bettin","year":"2004","journal-title":"MDA J"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268448"},{"key":"ref22","first-page":"115","article-title":"The Science of Simulation Modeling","volume":"26","author":"savory","year":"1994","journal-title":"International Conference on Simulation in Engineering Education (ICSEE 94)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2004.1371298"},{"journal-title":"How do Hypothesis Tests Provide Scientific Evidence? Reconciling Karl Popper and Thomas Bayes","year":"2011","author":"sprenger","key":"ref24"},{"key":"ref23","article-title":"Modeling and Simulation at the Exascale for Energy and the Environment: Report on the Advanced Scientific Computing Research Town Hall Meetings on Simulation and Modeling at the Exascale for Energy, Ecological Sustainability and Global Security (E3)","author":"simon","year":"2007","journal-title":"US Department of Energy Office of Science"},{"key":"ref26","article-title":"Probabilistic Networks and Explanatory Coherence","author":"thagard","year":"1997","journal-title":"Automated Abduction Inference to the Best Explanation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00057046"}],"event":{"name":"2017 Winter Simulation Conference (WSC)","start":{"date-parts":[[2017,12,3]]},"location":"Las Vegas, NV","end":{"date-parts":[[2017,12,6]]}},"container-title":["2017 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8232982\/8247314\/08247876.pdf?arnumber=8247876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:54Z","timestamp":1518458094000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8247876\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/wsc.2017.8247876","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}