| 2019 | CCS | Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis. | Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent, Thanh-Ha Le |
| 2017 | ECOOP | Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2017 | FASE | Slicing from Formal Semantics: Chisel. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2016 | FMICS | Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. | Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh |
| 2015 | LOPSTR | Memory Policy Analysis for Semantics Specifications in Maude. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2014 | IFM | Towards a Formal Semantics-Based Technique for Interprocedural Slicing. | Irina Mariuca Asavoae, Mihail Asavoae, Adrin Riesco |
| 2011 | SYNASC | Using the Executable Semantics for CFG Extraction and Unfolding. | Mihail Asavoae, Irina Mariuca Asavoae |
| 2010 | SYNASC | Path Directed Symbolic Execution in the K Framework. | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |