{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:12:17Z","timestamp":1730297537676,"version":"3.28.0"},"reference-count":29,"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\/smc.2019.8913890","type":"proceedings-article","created":{"date-parts":[[2019,11,29]],"date-time":"2019-11-29T15:09:34Z","timestamp":1575040174000},"page":"2364-2371","source":"Crossref","is-referenced-by-count":5,"title":["Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification"],"prefix":"10.1109","author":[{"given":"Roufaida","family":"Bettira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laid","family":"Kahloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/rcs.1786"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14257\/ijca.2014.7.1.13"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1504\/IJMIC.2016.078345"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2573824"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp036"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref17","article-title":"On petri nets with hierarchical special arcs","author":"akshay","year":"2017","journal-title":"arXiv preprint arXiv 1707 01280"},{"key":"ref18","article-title":"Reconnet: a tool for modeling and simulating with reconfigurable place\/transition nets","volume":"54","author":"padberg","year":"2012","journal-title":"Electronic Communications of the EASST"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217321"},{"journal-title":"Uppaal Model Checking Timed Automata","year":"2008","author":"bouyer","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2608918"},{"key":"ref27","first-page":"167","article-title":"Hierarchical reconfigurable petri nets","author":"lorbeer","year":"2018","journal-title":"Proc Modellierung (Workshops)"},{"key":"ref3","first-page":"1","article-title":"Multiobjective optimization approach for a portable development of reconfigurable real-time systems: From specification to implementation","author":"lakhdhar","year":"2018","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2016.2645401"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2018.2824900"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.03.016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1155\/2015\/813476"},{"key":"ref2","first-page":"1","article-title":"Toward a new methodology for an efficient test of reconfigurable hardware systems","author":"ahmed","year":"2018","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref9","first-page":"2051","article-title":"Filtering and intrusion detection approach for secured reconfigurable mobile systems","volume":"12","author":"idriss","year":"2017","journal-title":"Journal of Electrical Engineering and Technology"},{"journal-title":"Theory of hybrid systems and discrete event systems","year":"1997","author":"puri","key":"ref1"},{"key":"ref20","first-page":"1","article-title":"Modeling, simulation and verification of probabilistic reconfigurable discrete-event systems under energy and memory constraints","author":"khlifi","year":"2018","journal-title":"Iranian Journal of Science and Technology Transactions of Electrical Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503503"},{"key":"ref21","first-page":"1","article-title":"On methodology for the verification of reconfigurable timed net condition\/event systems","author":"hafidi","year":"2018","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1214\/07-STS235"},{"journal-title":"Hierarchical modeling and analysis of timed systems","year":"2003","author":"david","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2016.03.008"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281905"}],"event":{"name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2019,10,6]]},"location":"Bari, Italy","end":{"date-parts":[[2019,10,9]]}},"container-title":["2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8906183\/8913838\/08913890.pdf?arnumber=8913890","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:44:52Z","timestamp":1658155492000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8913890\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/smc.2019.8913890","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}