Analyzing Energy Leaks of Android Applications Using Event-B
- 23 May 2021
- journal article
- research article
- Published by Springer Science and Business Media LLC in Mobile Networks and Applications
- Vol. 26 (3), 1329-1338
- https://doi.org/10.1007/s11036-021-01764-y
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- An Approach to Modeling and Estimating Power Consumption of Mobile ApplicationsMobile Networks and Applications, 2018
- Detecting Anomalous Energy Consumption in Android ApplicationsLecture Notes in Computer Science, 2014
- Calculating source line level energy information for Android applicationsPublished by Association for Computing Machinery (ACM) ,2013
- Android power management: Current and future trendsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Formalizing Hybrid Systems with Event-BLecture Notes in Computer Science, 2012
- Improving energy efficiency of Wi-Fi sensing on smartphonesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software DevelopmentLecture Notes in Computer Science, 2011
- Modeling in Event-BPublished by Cambridge University Press (CUP) ,2010
- An Open Extensible Tool Environment for Event-BLecture Notes in Computer Science, 2006
- The B-BookPublished by Cambridge University Press (CUP) ,1996