Irina Mariuca Asavoae

Identifiers

No identifiers captured yet.

Papers (3)

1. Context-Updates Analysis and Refinement in Chisel cs.PL · 2017 · author #1
2. Software Model Checking: A Promising Approach to Verify Mobile App Security cs.SE · 2017 · author #1
3. Towards Automated Android App Collusion Detection cs.SE · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hoang Nga Nguyen 2 shared papers
• Markus Roggenbach 2 shared papers
• Siraj Ahmed Shaikh 2 shared papers
• Adrian Riesco 1 shared papers
• Harsha Kumara Kalutarage 1 shared papers
• Igor Muttik 1 shared papers
• Jorge Blasco 1 shared papers
• Mihail Asavoae 1 shared papers
• Thomas M. Chen 1 shared papers