{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T15:30:17Z","timestamp":1759159817508},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/tii.2011.2123901","type":"journal-article","created":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T15:32:16Z","timestamp":1300807936000},"page":"287-301","source":"Crossref","is-referenced-by-count":14,"title":["Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems"],"prefix":"10.1109","volume":"7","author":[{"family":"Chun-Hsian Huang","sequence":"first","affiliation":[]},{"family":"Pao-Ann Hsiung","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/231940"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/APCSAC.2008.4625436"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2009.5118239"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2060206"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2050001"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2006.311188"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2026896"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71322-7_13"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2007.898281"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/408605"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/11581741_4","article-title":"Model-driven architecture for hard real-time systems: From platform independent models to code","volume":"3748","author":"burmester","year":"2005","journal-title":"Proc 1st Eur Conf Model Driven ArchitectureFoundations and Applications (ECMDA-FA)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.61"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2006.02.009"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.03.013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185551"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2098415"},{"key":"ref1","article-title":"Model-driven compilation of UML-models for reconfigurable architectures","author":"beierlein","year":"2004","journal-title":"Proc 2nd RTAS Workshop on Model-Driven Embedded Syst (MoDES'04)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.68"},{"key":"ref20","first-page":"337","article-title":"Specification and verification of concurrent systems in CESAR","volume":"137","author":"queille","year":"1982","journal-title":"Proc Int Symp Program"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2007.898279"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1297666.1297681","article-title":"ReChannel: Describing and simulating reconfigurable hardware in systemC","volume":"13","author":"raabe","year":"2008","journal-title":"ACM Trans Design Autom Electron Syst"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/12.980017"},{"key":"ref23","first-page":"7","article-title":"Floorplanning based on particle swarm optimization","author":"sun","year":"2006","journal-title":"Proc IEEE Comput Soc Annu Symp VLSI"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/5762835\/05735172.pdf?arnumber=5735172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:11Z","timestamp":1633909871000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5735172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":24,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tii.2011.2123901","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5]]}}}