Irina Măriuca Asăvoae
Thales (France)(FR)
Publications by Year
Research Areas
Advanced Malware Detection Techniques, Security and Verification in Computing, Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems
Most-Cited Works
- → Towards Automated Android App Collusion Detection(2016)13 cited
- → Collecting Semantics under Predicate Abstraction in the K Framework(2010)10 cited
- → A Generic Program Slicing Technique Based on Language Definitions(2013)9 cited
- → Abstract Semantics for Alias Analysis inK(2014)7 cited
- → Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications(2016)6 cited
- → Interacting via the Heap in the Presence of Recursion(2012)6 cited
- → Software Model Checking(2017)5 cited
- → Towards a Formal Semantics-Based Technique for Interprocedural Slicing(2014)4 cited
- → Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case(2017)4 cited
- → Reproducibility and representativity(2017)4 cited