Irina Mariuca Asavoae

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 16

Top Topics

Recursive Programs

Temporal Properties

Top Venues

J. Log. Algebraic Methods Program.

Publications

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