{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T17:50:35Z","timestamp":1787161835636,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3191697.3213805","type":"proceedings-article","created":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T08:12:40Z","timestamp":1530519160000},"page":"93-98","source":"Crossref","is-referenced-by-count":2,"title":["Detecting energy bugs and hotspots in control software using model checking"],"prefix":"10.1145","author":[{"given":"Pascal van","family":"Gastel","sequence":"first","affiliation":[{"name":"Avans University of Applied Sciences, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernard van","family":"Gastel","sequence":"additional","affiliation":[{"name":"Open University, Netherlands \/ Radboud University Nijmegen, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marko van","family":"Eekelen","sequence":"additional","affiliation":[{"name":"Open University, Netherlands \/ Radboud University Nijmegen, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2015.16"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635871"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_10"},{"key":"e_1_3_2_1_4_1","unstructured":"Bernard van Gastel Rody Kersten and Marko van Eekelen. 2015. Using dependent types to define energy augmented semantics of programs. In Foundational and Practical Aspects of Resource Analysis (FOPARA\u201915). 20\u201339. 1007\/978-3-319-46559-3_2  Bernard van Gastel Rody Kersten and Marko van Eekelen. 2015. Using dependent types to define energy augmented semantics of programs. In Foundational and Practical Aspects of Resource Analysis (FOPARA\u201915). 20\u201339. 1007\/978-3-319-46559-3_2"},{"key":"e_1_3_2_1_5_1","unstructured":"Bernard van Gastel. 2016. Assessing sustainability of software; analysing correctness memory and energy consumption. Ph.D. Dissertation. Open Universiteit. http:\/\/sustainablesoftware.info\/download\/thesis-met-cover.pdf  Bernard van Gastel. 2016. Assessing sustainability of software; analysing correctness memory and energy consumption. Ph.D. Dissertation. Open Universiteit. http:\/\/sustainablesoftware.info\/download\/thesis-met-cover.pdf"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_7_1","unstructured":"Mohammad Ashraful Hoque Matti Siekkinen Kashif Nizam Khan Yu Xiao and Sasu Tarkoma. 2015.  Mohammad Ashraful Hoque Matti Siekkinen Kashif Nizam Khan Yu Xiao and Sasu Tarkoma. 2015."},{"key":"e_1_3_2_1_8_1","unstructured":"Modeling Profiling and Debugging the Energy Consumption of Mobile Devices. Comput. Surveys 48 3 (2015) 1\u201340. 10.1145\/2840723   Modeling Profiling and Debugging the Energy Consumption of Mobile Devices. Comput. Surveys 48 3 (2015) 1\u201340. 10.1145\/2840723"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.3154"},{"key":"e_1_3_2_1_10_1","first-page":"3","article-title":"Model Checking of Energy Consumption Behavior. Springer International Publishing","author":"Nakajima Shin","year":"2015","journal-title":"Cham"},{"key":"e_1_3_2_1_11_1","first-page":"378","article-title":"Using Real-Time Maude to Model Check Energy Consumption Behavior. Springer International Publishing","author":"Nakajima Shin","year":"2015","journal-title":"Cham"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168841"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588548.2588553"},{"key":"e_1_3_2_1_14_1","unstructured":"Axel Van Lamsweerde. 2009. Requirements engineering: From system goals to UML models to software. John Wiley &amp; Sons Chichister UK.   Axel Van Lamsweerde. 2009. Requirements engineering: From system goals to UML models to software. John Wiley &amp; Sons Chichister UK."},{"key":"e_1_3_2_1_15_1","unstructured":"Claas Wilke Sebastian G\u00f6tz Jan Reimann and Uwe A\u00dfmann. 2011. Vision paper: Towards model-based energy testing. Model Driven Engineering Languages and Systems 6981 LNCS (2011) 480\u2013489. 35 Abstract 1 Introduction 2 Energy bugs and hotspots 3 Detection method 4 Formalising the detection 5 Detection workflow with case study 6 Related work 7 Contribution References   Claas Wilke Sebastian G\u00f6tz Jan Reimann and Uwe A\u00dfmann. 2011. Vision paper: Towards model-based energy testing. Model Driven Engineering Languages and Systems 6981 LNCS (2011) 480\u2013489. 35 Abstract 1 Introduction 2 Energy bugs and hotspots 3 Detection method 4 Formalising the detection 5 Detection workflow with case study 6 Related work 7 Contribution References"}],"event":{"name":"<Programming> 2018: 2nd International Conference on the Art, Science, and Engineering of Programming 2018","location":"Nice France","acronym":"<Programming> 2018","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3213805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3191697.3213805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:11:32Z","timestamp":1750198292000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3191697.3213805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":15,"alternative-id":["10.1145\/3191697.3213805","10.1145\/3191697"],"URL":"https:\/\/doi.org\/10.1145\/3191697.3213805","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]}}}