{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T15:05:20Z","timestamp":1768835120216,"version":"3.49.0"},"reference-count":19,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.272.3","type":"journal-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T04:47:06Z","timestamp":1529902026000},"page":"24-38","source":"Crossref","is-referenced-by-count":11,"title":["Model-Based Design of Energy-Efficient Applications for IoT Systems"],"prefix":"10.4204","volume":"272","author":[{"given":"Alexios","family":"Lekidis","sequence":"first","affiliation":[{"name":"Aristotle University of Thessaloniki"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[{"name":"Aristotle University of Thessaloniki"}]}],"member":"2720","published-online":{"date-parts":[[2018,6,25]]},"reference":[{"issue":"3","key":"basu2011rigorous","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","article-title":"Rigorous component-based system design using the BIP framework","volume":"28","author":"Basu","year":"2011","journal-title":"IEEE software"},{"key":"benini1998system","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1145\/280756.280881","article-title":"System-level power estimation and optimization","volume-title":"Proceedings of the 1998 international symposium on Low power electronics and design","author":"Benini","year":"1998"},{"key":"boano2009controllable","doi-asserted-by":"publisher","first-page":"865","DOI":"10.1109\/LCN.2009.5355013","article-title":"Controllable radio interference for experimental and testing purposes in wireless sensor networks","volume-title":"Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on","author":"Boano","year":"2009"},{"key":"bonomi2012fog","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2342509.2342513","article-title":"Fog computing and its role in the internet of things","volume-title":"Proceedings of the first edition of the MCC workshop on Mobile cloud computing","author":"Bonomi","year":"2012"},{"key":"buettner2006x","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/1182807.1182838","article-title":"X-MAC: a short preamble MAC protocol for duty-cycled wireless sensor networks","volume-title":"Proceedings of the 4th international conference on Embedded networked sensor systems","author":"Buettner","year":"2006"},{"key":"colitti2011rest","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/MASS.2011.102","article-title":"REST enabled wireless sensor networks for seamless integration with web applications","volume-title":"Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on","author":"Colitti","year":"2011"},{"key":"dunkels2007software","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/1278972.1278979","article-title":"Software-based on-line energy estimation for sensor nodes","volume-title":"Proceedings of the 4th workshop on Embedded networked sensors","author":"Dunkels","year":"2007"},{"key":"eriksson2009cooja","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5637","article-title":"COOJA\/MSPSim: interoperability testing for wireless sensor networks","volume-title":"Proceedings of the 2nd International Conference on Simulation Tools and Techniques","author":"Eriksson","year":"2009"},{"key":"georgiou2017iot","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2741419","article-title":"The IoT energy challenge: A software perspective","author":"Georgiou","year":"2017","journal-title":"IEEE Embedded Systems Letters"},{"key":"herault2004approximate","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-24622-0_8","article-title":"Approximate probabilistic model checking","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H\u00e9rault","year":"2004"},{"issue":"301","key":"hoeffding1963probability","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1214\/aoms\/1177730491","article-title":"Probability inequalities for sums of bounded random variables","volume":"58","author":"Hoeffding","year":"1963","journal-title":"Journal of the American statistical association"},{"key":"kovatsch2011low","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1109\/MASS.2011.100","article-title":"A low-power CoAP for Contiki","volume-title":"Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on","author":"Kovatsch","year":"2011"},{"key":"legay2010statistical","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.ic.2006.05.002","article-title":"Statistical model checking: An overview","volume-title":"Runtime Verification","author":"Legay","year":"2010"},{"key":"lekidis2015design","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.19387.11042","volume-title":"Design flow for the rigorous development of networked embedded systems","author":"Lekidis","year":"2015"},{"key":"lekidis2018model","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2568","article-title":"Model-based Design of IoT Systems with the BIP Component Framework","author":"Lekidis","year":"2018","journal-title":"Software \u2013 Practice and Experience"},{"issue":"10","key":"martinez2015power","doi-asserted-by":"publisher","first-page":"5777","DOI":"10.1109\/JSEN.2015.2445094","article-title":"The power of models: Modeling power consumption for IoT devices","volume":"15","author":"Martinez","year":"2015","journal-title":"IEEE Sensors Journal"},{"issue":"2","key":"nouri2015statistical","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10009-014-0313-6","article-title":"Statistical model checking QoS properties of systems with SBIP","volume":"17","author":"Nouri","year":"2015","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"2","key":"vilajosana2014realistic","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1109\/JSEN.2013.2285411","article-title":"A realistic energy consumption model for TSCH networks","volume":"14","author":"Vilajosana","year":"2014","journal-title":"IEEE Sensors Journal"},{"issue":"01","key":"zhou2011modeling","doi-asserted-by":"publisher","DOI":"10.4236\/wsn.2011.31003","article-title":"Modeling of node energy consumption for wireless sensor networks","volume":"3","author":"Zhou","year":"2011","journal-title":"Wireless Sensor Network"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:05:32Z","timestamp":1574208332000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1807.01242v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,25]]},"references-count":19,"URL":"https:\/\/doi.org\/10.4204\/eptcs.272.3","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,25]]}}}