Hendra Gunadi

Identifiers

• name variant Hendra Gunadi 0.60 · backfill

Papers (2)

1. Formal Certification of Android Bytecode cs.PL · 2015 · author #1
2. Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System cs.LO · 2013 · author #1

Mentions

• 1504.01842 #1 · backfill · confidence 0.70 Hendra Gunadi
• 1311.2362 #1 · backfill · confidence 0.70 Hendra Gunadi

Frequent Coauthors

• Alwen Tiu 2 shared papers
• Rajeev Gore 1 shared papers