Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System. - Hendra Gunadi; Alwen Tiu (FM, 2014)

Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). - Hendra Gunadi (ICECCS, 2015)

Formal Certification of Android Bytecode. - Hendra Gunadi; Alwen Tiu; Rajeev Goré (CoRR, 2015)

MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation. - Liam Hayes; Hendra Gunadi; Adrian Herrera; Jonathon Milford; Shane Magrath; Maggi Sebastian; Michael Norrish; Antony L. Hosking (CoRR, 2019)

Seed selection for successful fuzzing. - Adrian Herrera; Hendra Gunadi; Shane Magrath; Michael Norrish; Mathias Payer; Antony L. Hosking (ISSTA, 2021)