{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:28:49Z","timestamp":1778498929331,"version":"3.51.4"},"reference-count":11,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/mc.2018.2876075","type":"journal-article","created":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T19:56:31Z","timestamp":1548446191000},"page":"78-89","source":"Crossref","is-referenced-by-count":22,"title":["Streamlining the Inclusion of Computer Experiments In a Research Paper"],"prefix":"10.1109","volume":"51","author":[{"given":"Sylvain","family":"Halle","sequence":"first","affiliation":[{"name":"Universite du Quebec a Chicoutimi, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raphael","family":"Khoury","sequence":"additional","affiliation":[{"name":"Universite du Quebec a Chicoutimi, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mewena","family":"Awesso","sequence":"additional","affiliation":[{"name":"Universite du Quebec a Chicoutimi, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"Can I implement your algorithm?","author":"crick","year":"2014","journal-title":"A model for reproducible research software"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2812803"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5992.881708"},{"key":"ref6","first-page":"1","author":"hall\u00e9","year":"0","journal-title":"Proc 20th IEEE Int Enterprise Distributed Object Computing Conf (EDOC)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2009.15"},{"key":"ref8","first-page":"356","article-title":"Execution trace analysis using LTL-FO ˆ+","author":"khoury","year":"0","journal-title":"Proc 7th Int Symp Leveraging Applications of Formal Methods Verification and Validation Part II (ISoLA)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_22"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/eScience.2017.79"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003285"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1126\/science.354.6308.142"},{"key":"ref1-sidebar2","doi-asserted-by":"publisher","DOI":"10.1145\/2994031"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2\/8625905\/08625929.pdf?arnumber=8625929","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T21:08:49Z","timestamp":1705352929000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8625929\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":11,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/mc.2018.2876075","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}