{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:33:30Z","timestamp":1725806010723},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641441","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T15:14:34Z","timestamp":1223997274000},"page":"173-178","source":"Crossref","is-referenced-by-count":9,"title":["Refining power consumption estimations in the component based AADL design flow"],"prefix":"10.1109","author":[{"given":"Eric","family":"Senn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johann","family":"Laurent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Juin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Diguet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268921"},{"key":"14","article-title":"power consumption modeling of the ti c6201 and characterization of its architectural complexity","author":"julien","year":"2003","journal-title":"IEEE Micro Special Issue on Power- and Complexity-Aware Design"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1155\/ASP.2005.2641"},{"article-title":"aadl-based dependability modelling","year":"0","author":"rugina","key":"3"},{"article-title":"modelisation des systemes temps-reel embarques pour la generation automatique d applications formellement verifiees","year":"2006","author":"vergnaud","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2006.285483"},{"journal-title":"The SAE AADL Standard Info Site","year":"0","key":"10"},{"key":"7","first-page":"878","article-title":"Compact thermal modeling for temperature-aware design","author":"wei huang","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"journal-title":"SAE - Society of Automative Engineers SAES AS5506","year":"2004","key":"6"},{"year":"0","key":"5"},{"key":"4","first-page":"106","article-title":"rapid prototyping of distributed real-time embedded systems using the aadl and ocarina","author":"hugues","year":"2007","journal-title":"Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP'07)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.26"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397247"}],"event":{"name":"Design Languages (FDL)","start":{"date-parts":[[2008,9,23]]},"location":"Stuttgart","end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641441.pdf?arnumber=4641441","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:10:42Z","timestamp":1489749042000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4641441\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641441","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}