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