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

Hendra Gunadi, Alwen Tiu

Browse the full FM paper archive.