Hoang Nga Nguyen

Identifiers

No identifiers captured yet.

Papers (4)

1. Software Model Checking: A Promising Approach to Verify Mobile App Security cs.SE · 2017 · author #2
2. Towards Automated Android App Collusion Detection cs.SE · 2016 · author #6
3. Model Checking Resource Bounded Systems with Shared Resources via Alternating B\"uchi Pushdown Systems cs.LO · 2015 · author #2
4. Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources cs.MA · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Irina Mariuca Asavoae 2 shared papers
• Markus Roggenbach 2 shared papers
• Siraj Ahmed Shaikh 2 shared papers
• Brian Logan 1 shared papers
• Franco Raimondi 1 shared papers
• Harsha Kumara Kalutarage 1 shared papers
• Igor Muttik 1 shared papers
• Jorge Blasco 1 shared papers
• Natasha Alechina 1 shared papers
• Nils Bulling 1 shared papers
• Thomas M. Chen 1 shared papers