Irina Mariuca Asavoae

26 papers B 2C 1Misc 2Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2022 J jnl
Hardware Trojan detection via rewriting logic.
J. Log. Algebraic Methods Program.
Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi
2019 — conf
Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis.
SPRO@CCS
Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent, Thanh-Ha Le
2019 J jnl
Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning.
CoRR
Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent
2018 — conf
Context-Updates Analysis and Refinement in Chisel.
SPIN
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2018 J jnl
Slicing from formal semantics: Chisel - a tool for generic program slicing.
Int. J. Softw. Tools Technol. Transf.
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2018 — conf
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K.
SPIN
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach
2017 J jnl
Context-Updates Analysis and Refinement in Chisel.
CoRR
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2017 J jnl
Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches.
SIGBED Rev.
Cristian Maxim, Adriana Gogonel, Irina Mariuca Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean
2017 B conf
Slicing from Formal Semantics: Chisel.
FASE
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2017 J jnl
Software Model Checking: A Promising Approach to Verify Mobile App Security.
CoRR
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
2017 — conf
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper.
FTfJP@ECOOP
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
2016 — conf
Towards Automated Android App Collusion Detection.
IMPS@ESSoS
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
2016 J jnl
Towards Automated Android App Collusion Detection.
CoRR
Irina Mariuca Asavoae, Jorge Blasco, Thomas M. Chen, Harsha Kumara Kalutarage, Igor Muttik, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
2016 — conf
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.
FMICS-AVoCS
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
2015 C conf
Memory Policy Analysis for Semantics Specifications in Maude.
LOPSTR
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2015 J jnl
Model checking recursive programs interacting via the heap.
Sci. Comput. Program.
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2014 B conf
Towards a Formal Semantics-Based Technique for Interprocedural Slicing.
IFM
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2013 — conf
On the Modular Integration of Abstract Semantics for WCET Analysis.
FOPARA
Mihail Asavoae, Irina Mariuca Asavoae
2012 — conf
A Generic Program Slicing Technique Based on Language Definitions.
WADT
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2012 — conf
Bounded Model Checking of Recursive Programs with Pointers in K.
WADT
Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot
2012 — conf
Interacting via the Heap in the Presence of Recursion
ICE
Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu
2011 — conf
Abstract Semantics for Alias Analysis in K.
K
Irina Mariuca Asavoae
2011 — conf
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework.
FOPARA
Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu
2011 Misc conf
Using the Executable Semantics for CFG Extraction and Unfolding.
SYNASC
Mihail Asavoae, Irina Mariuca Asavoae
2010 — conf
Collecting Semantics under Predicate Abstraction in the K Framework.
WRLA
Irina Mariuca Asavoae, Mihail Asavoae
2010 Misc conf
Path Directed Symbolic Execution in the K Framework.
SYNASC
Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu