Path Directed Symbolic Execution in the K Framework. - Irina Mariuca Asavoae; Mihail Asavoae; Dorel Lucanu (SYNASC, 2010)

Collecting Semantics under Predicate Abstraction in the K Framework. - Irina Mariuca Asavoae; Mihail Asavoae (WRLA, 2010)

On Abstractions for Timing Analysis in the $ mathbb{K}$ Framework. - Mihail Asavoae; Irina Mariuca Asavoae; Dorel Lucanu (FOPARA, 2011)

Using the Executable Semantics for CFG Extraction and Unfolding. - Mihail Asavoae; Irina Mariuca Asavoae (SYNASC, 2011)

Abstract Semantics for Alias Analysis in K. - Irina Mariuca Asavoae (K, 2011)

Bounded Model Checking of Recursive Programs with Pointers in K. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (WADT, 2012)

A Generic Program Slicing Technique Based on Language Definitions. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (WADT, 2012)

Interacting via the Heap in the Presence of Recursion - Jurriaan Rot; Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu (ICE, 2012)

On the Modular Integration of Abstract Semantics for WCET Analysis. - Mihail Asavoae; Irina Mariuca Asavoae (FOPARA, 2013)

Towards a Formal Semantics-Based Technique for Interprocedural Slicing. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (IFM, 2014)

Memory Policy Analysis for Semantics Specifications in Maude. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (LOPSTR, 2015)

Model checking recursive programs interacting via the heap. - Irina Mariuca Asavoae; Frank S. de Boer; Marcello M. Bonsangue; Dorel Lucanu; Jurriaan Rot (Sci. Comput. Program., 2015)

Towards Automated Android App Collusion Detection. - Irina Mariuca Asavoae; Jorge Blasco; Thomas M. Chen; Harsha Kumara Kalutarage; Igor Muttik; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (IMPS@ESSoS, 2016)

Utilising $${ mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (FMICS-AVoCS, 2016)

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 (FTfJP@ECOOP, 2017)

Slicing from Formal Semantics: Chisel. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (FASE, 2017)

Software Model Checking: A Promising Approach to Verify Mobile App Security. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach; Siraj Ahmed Shaikh (CoRR, 2017)

Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches. - Cristian Maxim; Adriana Gogonel; Irina Mariuca Asavoae; Mihail Asavoae; Liliana Cucu-Grosjean (SIGBED Rev., 2017)

Context-Updates Analysis and Refinement in Chisel. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (SPIN, 2018)

Software Model Checking for Mobile Security - Collusion Detection in mathbb K K. - Irina Mariuca Asavoae; Hoang Nga Nguyen; Markus Roggenbach (SPIN, 2018)

Slicing from formal semantics: Chisel - a tool for generic program slicing. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis. - Ramtine Tofighi-Shirazi; Irina Mariuca Asavoae; Philippe Elbaz-Vincent; Thanh-Ha Le (SPRO@CCS, 2019)

Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning. - Ramtine Tofighi-Shirazi; Irina Mariuca Asavoae; Philippe Elbaz-Vincent (CoRR, 2019)

Hardware Trojan detection via rewriting logic. - Irina Mariuca Asavoae; Ramtine Tofighi-Shirazi; Adrián Riesco 001; Uemura Yasuyoshi (J. Log. Algebraic Methods Program., 2022)