{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:37:43Z","timestamp":1752982663997,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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,10]]},"DOI":"10.1109\/ds-rt47707.2019.8958682","type":"proceedings-article","created":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T02:10:00Z","timestamp":1579227000000},"page":"1-10","source":"Crossref","is-referenced-by-count":4,"title":["Reactive Actors: Isolation for Efficient Analysis of Distributed Systems"],"prefix":"10.1109","author":[{"given":"Marjan","family":"Sirjani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehsan","family":"Khamespanah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatemeh","family":"Ghassemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-23703-5_1"},{"key":"ref38","first-page":"44","article-title":"Verification of mobile ad hoc network processes with data","volume":"15","author":"ghassemi","year":"2018","journal-title":"The CSI Journal on Computer Science and Engineering"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2011","author":"holzmann","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2013.07.010"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2019-1775"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2010-371"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0254-7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MCSA.1999.749281"},{"journal-title":"System Design Modeling and Simulation Using Ptolemy II","year":"2014","author":"ptolemaeus","key":"ref10"},{"key":"ref40","article-title":"An actor-based framework for asynchronous event-based cyber-physical systems","volume":"abs 1709 1786v2","author":"jahandideh","year":"2019","journal-title":"CoRR"},{"journal-title":"Rebeca homepage","year":"0","key":"ref11"},{"key":"ref12","first-page":"1054","article-title":"Model checking, automated abstraction, and compositional verification of rebeca models","volume":"11","author":"sirjani","year":"2005","journal-title":"J UCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-009-0111-x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0480-3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0429-z"},{"key":"ref17","article-title":"Functional and performance analysis of network-on-chips using actor-based modeling and formal verification","volume":"66","author":"sharifi","year":"2013","journal-title":"ECEASST"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.002"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.008"},{"journal-title":"Foundations of Actor Semantics","year":"1981","author":"clinger","key":"ref28"},{"key":"ref4","first-page":"102","article-title":"Rebeca: Theory, applications, and tools","author":"sirjani","year":"2006","journal-title":"Formal Methods for Components and Objects 5th International Symposium FMCO 2006"},{"key":"ref27","article-title":"State distribution policy for distributed model checking of actor models","volume":"72","author":"khamespanah","year":"2015","journal-title":"ECEASST"},{"key":"ref3","first-page":"385","article-title":"Modeling and verification of reactive systems using Rebeca","volume":"63","author":"sirjani","year":"2004","journal-title":"Fundam Inform"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02146-7_1"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.9"},{"key":"ref5","first-page":"76:1","article-title":"A survey of active object languages","volume":"50","author":"de boer","year":"2017","journal-title":"ACM Comput Surv"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09766-4_125"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92408-3_5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689700261X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95246-8_25"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30734-3_25"},{"key":"ref22","first-page":"237","article-title":"Floating time transition system: More efficient analysis of timed actors","author":"khamespanah","year":"2015","journal-title":"Formal Aspects of Component Software FACS 2015"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.07.005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2518037.2491245"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.51"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.017"},{"key":"ref25","article-title":"Modeling, Verification, and Analysis of Timed Actor-Based Models","author":"khamespanah","year":"2018","journal-title":"Ph D dissertation Reykjavik University School of Computer Science"}],"event":{"name":"2019 IEEE\/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2019,10,7]]},"location":"Cosenza, Italy","end":{"date-parts":[[2019,10,9]]}},"container-title":["2019 IEEE\/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8955480\/8958648\/08958682.pdf?arnumber=8958682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:24:43Z","timestamp":1658262283000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8958682\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/ds-rt47707.2019.8958682","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}