{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:14Z","timestamp":1763468174550,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/patmos.2013.6662156","type":"proceedings-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T21:56:40Z","timestamp":1385589400000},"page":"59-66","source":"Crossref","is-referenced-by-count":3,"title":["Power contracts: A formal way towards power-closure?!"],"prefix":"10.1109","author":[{"given":"Gregor","family":"Nitsche","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Gruttner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/LPE.1996.542726"},{"key":"22","first-page":"547","article-title":"From RTL IP to functional system-level models with extra-functional properties Proceedings of the eighth","author":"lorenz","year":"2012","journal-title":"IEEE Acm Ifip International Conference on Hardware\/Software Codesign and System Synthesis ser"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1155\/2007\/68673"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1201\/9781420067859-c15"},{"key":"18","first-page":"1827","article-title":"Power simulation and estimation in VLSI circuits","author":"pedram","year":"1999","journal-title":"The VLSI Handbook ser"},{"key":"15","article-title":"Enabling energyaware design decisions for behavioural descriptions containing blackbox ip-components","author":"kosmann","year":"2013","journal-title":"Patmos 2013"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1561\/1000000022"},{"key":"13","article-title":"Architecture modeling","author":"baumgart","year":"2011","journal-title":"Technical Report"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-28644-8_22","article-title":"Timed vs time-triggered automata","volume":"3170","author":"krcal","year":"2004","journal-title":"CONCUR Ser Lecture Notes in Computer Science"},{"key":"11","first-page":"157","article-title":"Components and contracts: A semantical foundation for compositional refinement","author":"hungar","year":"2012","journal-title":"Tagungsband MBEES Modellbasierte Entwicklung Eingebetteter Systeme 2012"},{"key":"12","article-title":"Contracts for systems design","author":"benveniste","year":"2012","journal-title":"Research Centre Rennes Rennes Cedex"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1145\/348019.348081"},{"key":"3","article-title":"Design for low-power at the electronic system level","author":"schirrmeister","year":"2009","journal-title":"ChipVision Design Systems"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/92.335013"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1007\/978-1-4615-5433-2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/2.917539"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.3166\/ejc.18.217-238"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1002\/j.2334-5837.2008.tb00827.x","article-title":"Designing embedded systems using heterogeneous rich components","author":"josko","year":"2008","journal-title":"INCOSE International Symposium 2008"},{"key":"6","article-title":"Boosting re-use of embedded automotive applications through rich components","author":"damm","year":"2005","journal-title":"Proceedings of Foundations of Interface Technologies 2005"},{"key":"5","first-page":"21","article-title":"Non-invasive power simulation at system-level with systemc","volume":"7606","author":"lorenz","year":"2012","journal-title":"Proceedings of the22nd International Workshop on Integrated Circuit and System Design"},{"key":"4","article-title":"High-level power estimation and analysis","volume":"1","author":"nebel","year":"2005","journal-title":"Low-Power Electronics Design"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/DATE.2011.5763167"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-3-642-13754-9_6"}],"event":{"name":"2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)","start":{"date-parts":[[2013,9,9]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2013,9,11]]}},"container-title":["2013 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6646388\/6662142\/06662156.pdf?arnumber=6662156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:16:47Z","timestamp":1498101407000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6662156\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/patmos.2013.6662156","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}