{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:18:10Z","timestamp":1750220290449,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the ITRC(Information Technology Research Center) support program(IITP-2022-2020-0-01795).","award":["IITP-2022-2020-0-01795"],"award-info":[{"award-number":["IITP-2022-2020-0-01795"]}]},{"name":"This research was supported by the MSIT(Ministry of Science and ICT), Korea, under the (No. 2015-0-00250, (SW Star Lab) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System) supervised by the IITP(Institute of Information & Communications Technology Planning & Evaluation).","award":["2015-0-00250"],"award-info":[{"award-number":["2015-0-00250"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1145\/3477314.3507167","type":"proceedings-article","created":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T00:37:36Z","timestamp":1651883856000},"page":"960-963","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Statistical verification using learned usages for evaluating energy-efficient mobile device design"],"prefix":"10.1145","author":[{"given":"Jiyoung","family":"Song","sequence":"first","affiliation":[{"name":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youlim","family":"Jung","sequence":"additional","affiliation":[{"name":"DelightRoom, Seoul, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiwoo","family":"Cho","sequence":"additional","affiliation":[{"name":"Bluepoint Partners, Seoul, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[{"name":"Korea Advanced Institute of Science and Technology, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,5,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.11.042"},{"key":"e_1_3_2_1_2_1","unstructured":"Luca Ardito Giuseppe Procaccianti Marco Torchiano and Giuseppe Migliore. 2013. Profiling power consumption on mobile devices. (2013)."},{"key":"e_1_3_2_1_3_1","unstructured":"Aaron Carroll Gernot Heiser et al. 2010. An Analysis of Power Consumption in a Smartphone.. In USENIX annual technical conference Vol. 14. Boston MA 21--21."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clsr.2013.11.005"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0076-y"},{"key":"e_1_3_2_1_6_1","unstructured":"Ian Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville and Yoshua Bengio. 2014. Generative adversarial nets. In Advances in neural information processing systems. 2672--2680."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380502"},{"key":"e_1_3_2_1_8_1","volume-title":"Exploiting big data from mobile device sensor-based apps: Challenges and benefits. MIS Quarterly Executive 12, 4","author":"O'Leary Daniel E","year":"2013","unstructured":"Daniel E O'Leary. 2013. Exploiting big data from mobile device sensor-based apps: Challenges and benefits. MIS Quarterly Executive 12, 4 (2013)."},{"key":"e_1_3_2_1_9_1","volume-title":"Networking and Parallel\/Distributed Computing (SNPD), 2015 16th IEEE\/ACIS International Conference on. IEEE, 1--8.","author":"Qian Hao","year":"2015","unstructured":"Hao Qian and Daniel Andresen. 2015. Reducing mobile device energy consumption with computation offloading. In Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD), 2015 16th IEEE\/ACIS International Conference on. IEEE, 1--8."},{"volume-title":"Advanced Course on Petri Nets","author":"Valmari Antti","key":"e_1_3_2_1_10_1","unstructured":"Antti Valmari. 1996. The state explosion problem. In Advanced Course on Petri Nets. Springer, 429--528."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1950815.1950816"},{"key":"e_1_3_2_1_12_1","volume-title":"USENIX Annual Technical Conference","volume":"12","author":"Yoon Chanmin","year":"2012","unstructured":"Chanmin Yoon, Dongwon Kim, Wonwoo Jung, Chulkoo Kang, and Hojung Cha. 2012. AppScope: Application Energy Metering Framework for Android Smartphone Using Kernel Activity Monitoring.. In USENIX Annual Technical Conference, Vol. 12. 1--14."}],"event":{"name":"SAC '22: The 37th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event","acronym":"SAC '22"},"container-title":["Proceedings of the 37th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507167","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477314.3507167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:29Z","timestamp":1750188689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477314.3507167"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":12,"alternative-id":["10.1145\/3477314.3507167","10.1145\/3477314"],"URL":"https:\/\/doi.org\/10.1145\/3477314.3507167","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]},"assertion":[{"value":"2022-05-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}