{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T11:42:50Z","timestamp":1771328570332,"version":"3.50.1"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Hong Kong Research Grant Council","doi-asserted-by":"publisher","award":["CityU-116013"],"award-info":[{"award-number":["CityU-116013"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2018]]},"DOI":"10.1109\/access.2018.2825254","type":"journal-article","created":{"date-parts":[[2018,4,10]],"date-time":"2018-04-10T18:10:24Z","timestamp":1523383824000},"page":"21991-22010","source":"Crossref","is-referenced-by-count":6,"title":["DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9273-4025","authenticated-orcid":false,"given":"Chong","family":"Shum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wing-Hong","family":"Lau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9313-4427","authenticated-orcid":false,"given":"Tian","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry Shu-Hung","family":"Chung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman Chung-Fai","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim-Fung","family":"Tsang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loi Lei","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2010.5416636"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063454"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629974"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2017.2669305"},{"key":"ref14","first-page":"7","article-title":"Simulation validation using direct execution of wireless ad-hoc routing protocols","author":"liu","year":"2004","journal-title":"Proc 18th Workshop Parallel and Distributed Simulation (PADS '04)"},{"key":"ref15","first-page":"1","article-title":"Shadow: Running tor in a box for accurate and efficient experimentation","author":"jansen","year":"2012","journal-title":"Proc 18th Netw Distrib Syst Secur Symp (NDSS)"},{"key":"ref16","first-page":"7","article-title":"Shadow-bitcoin: Scalable simulation via direct execution of multi-threaded applications","author":"miller","year":"2015","journal-title":"Proc 8th Workshop Cyber Secur Exp Test"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535374"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/P2P.2009.5284505"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2008.2935"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/4434.895100"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/P2P.2011.6038673"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.82"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1105734.1105747"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2014.06.008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2010.5416635"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/P2P.2009.5284506"},{"key":"ref20","first-page":"81","article-title":"The Java memory model: A formal explanation","author":"huisman","year":"2007","journal-title":"Proc Satellite Workshop (CONCUR)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297029"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.02.002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2500828.2500843"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582042"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8274985\/08334524.pdf?arnumber=8334524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:08:46Z","timestamp":1642003726000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8334524\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2825254","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}