Get started
Author

Irina Măriuca Asăvoae

Observed names: Asavoae, Irina, Asavoae, Irina Mariuca, I. Asavoae, I.M. Asăvoae, Irina Mariuca Asavoae, Irina-Mariuca Asavoae
Institution: Thales (France)
Observed institutions: Institut national de recherche en sciences et technologies du numérique, Alexandru Ioan Cuza University, Université Joseph Fourier, Swansea University, Thales (France), Verimag, Centre Inria de Paris
OpenAlex ID: A5073795268
Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis
2019 · Ramtine Tofighi-Shirazi, Irina-Mariuca Asavoae, et al. · 30
PDF
Towards Automated Android App Collusion Detection
2016 · Asavoae, Irina Mariuca, Blasco, Jorge, et al. · Pure (Coventry University) · 13
Fine-grained static detection of obfuscation transforms using ensemble-learning and semantic reasoning
2019 · Ramtine Tofighi-Shirazi, Irina Măriuca Asăvoae, et al. · 11
PDF
Collecting Semantics under Predicate Abstraction in the K Framework
2010 · Irina Măriuca Asăvoae, Mihail Asăvoae · Lecture notes in computer science · 10
A Generic Program Slicing Technique Based on Language Definitions
2013 · Adrián Riesco, Irina Măriuca Asăvoae, et al. · Lecture notes in computer science · 9
PDF
Reproducibility and representativity
2017 · C. Maxim, A. Gogonel, et al. · ACM SIGBED Review · 7
Abstract Semantics for Alias Analysis in K
2014 · Irina Măriuca Asăvoae · Electronic Notes in Theoretical Computer Science · 7
PDF
Interacting via the Heap in the Presence of Recursion
2012 · Jurriaan Rot, Irina Măriuca Asăvoae, et al. · Electronic Proceedings in Theoretical Computer Science · 7
PDF
Software Model Checking
2017 · Irina Măriuca Asăvoae, Hoang Nga Nguyen, et al. · 6
PDF
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications
2016 · Irina Măriuca Asăvoae, Hoang Nga Nguyen, et al. · Lecture notes in computer science · 5
Detecting Malicious Collusion Between Mobile Software Applications: The Android TM Case
2017 · Irina Măriuca Asăvoae, Jorge Blasco, et al. · Data analytics · 4
Towards a Formal Semantics-Based Technique for Interprocedural Slicing
2014 · Irina Măriuca Asăvoae, Mihail Asăvoae, et al. · Lecture notes in computer science · 4
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
2012 · Mihail Asăvoae, Irina Măriuca Asăvoae, et al. · Lecture notes in computer science · 4
Slicing from formal semantics: Chisel—a tool for generic program slicing
2018 · Irina Măriuca Asăvoae, Mihail Asăvoae, et al. · International Journal on Software Tools for Technology Transfer · 3
Slicing from Formal Semantics: Chisel
2017 · Adrián Riesco, Irina Măriuca Asăvoae, et al. · Lecture notes in computer science · 3
Reproducibility and representativity - mandatory properties for the compositionality of measurement-based WCET estimation approaches
2016 · Maxim, Cristian, Gogonel, Adriana, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 3
Memory Policy Analysis for Semantics Specifications in Maude
2015 · Adrián Riesco, Irina Mariuca Asavoae, et al. · Lecture notes in computer science · 3
Bounded Model Checking of Recursive Programs with Pointers in K
2013 · Irina Măriuca Asăvoae, Frank de Boer, et al. · Lecture notes in computer science · 3
PDF
Context-Updates Analysis and Refinement in Chisel
2018 · Irina Măriuca Asăvoae, Mihail Asăvoae, et al. · Lecture notes in computer science · 2
PDF
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper
2017 · Irina Măriuca Asăvoae, Hoang Nga Nguyen, et al. · arXiv (Cornell University) · 2
Hardware Trojan detection via rewriting logic
2022 · Irina Măriuca Asăvoae, Ramtine Tofighi Shirazi, et al. · Journal of Logical and Algebraic Methods in Programming · 1
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
2018 · Irina Măriuca Asăvoae, Hoang Nga Nguyen, et al. · Lecture notes in computer science · 1
Model checking recursive programs interacting via the heap
2014 · I.M. Asăvoae, F. de Boer, et al. · Science of Computer Programming · 1
PDF
On the Modular Integration of Abstract Semantics for WCET Analysis
2014 · Mihail Asăvoae, Irina Măriuca Asăvoae · Lecture notes in computer science · 1
Using the Executable Semantics for CFG Extraction and Unfolding
2011 · Mihail Asavoae, Irina Mariuca Asavoae · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Works count: 25
Citation count: 140
H-index: 7
I10-index: 4
Year
Topic
Type