Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.

Hendra Gunadi Alwen Tiu

Published in: FM (2014)

Keyphrases

operating system
computer systems
microsoft windows
memory management
virtual machine
metric temporal logic
distributed systems
multi threaded
monitoring system
application level
data structure
address space
windows xp
case study
user friendly
virtual memory
windows nt
operating environment
linux kernel