CyanogenMod http://www.cyanogenmod.org/ , [Online; accessed 30-April-2015] San Francisco ZTE Blade Mobile Phone http://www.gsmarena.com/zte_blade-3391.php , [Online; accessed 30-April-2015] Study for insight on Mobile Device Usage https://s3-ap-southeast-1.amazonaws.com/tap-sg-media/theAsianparent+Insights+Device+Usage+A+Southeast+Asia+Study+November+2014.pdf , [Online; accessed 25-March-2015] Cyrille Artho Howard Barringer Allen Goldberg Klaus Havelund Sarfraz Khurshid Mike Lowry Corina Pasareanu Grigore Roşu Koushik Sen Willem Visser 2005 Combining test case generation and runtime verification Theoretical Computer Science 336 2 209–234 10.1016/j.tcs.2004.11.007 Fabio Barbon Paolo Traverso Marco Pistore Michele Trainotti 2006 Run-Time Monitoring of Instances and Classes of Web Service Compositions ICWS '06: Proceedings of the IEEE International Conference on Web Services IEEE Computer Society
Washington, DC, USA
63–71 10.1109/ICWS.2006.113
Andreas Bauer Jan-Christoph Küster Gil Vegliach 2012 Runtime Verification meets Android Security Proceedings of the 4th NASA Formal Methods Symposium (NFM) LNCS 7226 Springer 174–180 10.1007/978-3-642-28891-3_18 Christian Colombo Adrian Francalanza Ruth Mizzi Gordon J Pace 2012 polylarva: Runtime verification with configurable resource-aware monitoring boundaries Software Engineering and Formal Methods Springer 218–232 10.1007/978-3-642-33826-7_15 Thomas S. Cook Doron Drusinksy Man-Tak Shing 2007 Specification, Validation and Run-time Moniroting of SOA Based System-of Systems Temporal Behaviors System of Systems Engineering (SoSE) IEEE Computer Society 10.1109/SYSOSE.2007.4304313 Marcelo d'Amorim Klaus Havelund 2005 Event-based runtime verification of Java programs ACM SIGSOFT Software Engineering Notes 30 ACM 1–7 10.1007/978-3-642-03240-0_13 William Enck Peter Gilbert Byung-Gon Chun Landon P. Cox Jaeyeon Jung Patrick McDaniel Anmol N. Sheth 2010 TaintDroid: An Information-flow Tracking System for Realtime Privacy Monitoring on Smartphones Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation OSDI'10 USENIX Association
Berkeley, CA, USA
1–6 10.1.1.179.3303 http://dl.acm.org/citation.cfm?id=1924943.1924971
Yliès Falcone Sebastian Currea Mohamad Jaber 2013 Runtime Verification and Enforcement for Android Applications with RV-Droid Shaz Qadeer Serdar Tasiran Runtime Verification Lecture Notes in Computer Science 7687 Springer Berlin Heidelberg 88–95 10.1007/978-3-642-35632-2_11 Yliès Falcone Sebastian Currea Mohamad Jaber 2013 Runtime Verification and Enforcement for Android Applications with RV-Droid Shaz Qadeer Serdar Tasiran Runtime Verification Lecture Notes in Computer Science 7687 Springer Berlin Heidelberg 88–95 10.1007/978-3-642-35632-2_11 Adrian Francalanza Andrew Gauci Gordon J. Pace 2013 Distributed system contract monitoring The Journal of Logic and Algebraic Programming 82 5-7 186–215 10.1016/j.jlap.2013.04.001 http://www.sciencedirect.com/science/article/pii/S1567832613000234 Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11) Hendra Gunadi Alwen Tiu 2013 Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. CoRR abs/1311.2362 10.1007/978-3-319-06410-9_21 http://dblp.uni-trier.de/db/journals/corr/corr1311.html#GunadiT13 Martin Leucker Christian Schallhart 2009 A brief account of runtime verification The Journal of Logic and Algebraic Programming 78 5 293–303 10.1016/j.jlap.2008.08.004 Lingzhi Qiu Zixiong Zhang Ziyi Shen Guozi Sun 2015 AppTrace: Dynamic trace on Android devices 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015 7145–7150 10.1109/ICC.2015.7249466 Koushik Sen Abhay Vardhan Gul Agha Grigore Roşu 2004 Efficient Decentralized Monitoring of Safety in Distributed Systems International Conference on Software Engineering 418–427 10.1109/ICSE.2004.1317464 Dong-Jie Wu Ching-Hao Mao Te-En Wei Hahn-Ming Lee Kuo-Ping Wu 2012 DroidMat: Android Malware Detection through Manifest and API Calls Tracing Information Security (Asia JCIS), 2012 Seventh Asia Joint Conference on 62–69 10.1109/AsiaJCIS.2012.18 Rubin Xu Hassen Saïdi Ross Anderson 2012 Aurasium: Practical Policy Enforcement for Android Applications Proceedings of the 21st USENIX Conference on Security Symposium Security'12 USENIX Association
Berkeley, CA, USA
27–27 10.1.1.298.9925 http://dl.acm.org/citation.cfm?id=2362793.2362820
Wenchao Zhou Oleg Sokolsky Boon Thau Loo Insup Lee 2009 DMaC: Distributed Monitoring and Checking. Runtime Verification 09 LNCS 5779 Springer 184–201 10.1007/978-3-642-04694-0_13