Irina Mariuca Asavoae

发表

Interacting via the Heap in the Presence of Recursion

Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2012, ICE.

Bounded Model Checking of Recursive Programs with Pointers in K

Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2012, WADT.

Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications

Nguyen Hoang Nga, Markus Roggenbach, Irina Mariuca Asavoae, 2016, FMICS-AVoCS.

A Generic Program Slicing Technique Based on Language Definitions

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2012, WADT.

Model checking recursive programs interacting via the heap

Frank S. de Boer, Jurriaan Rot, Marcello M. Bonsangue, 2015, Sci. Comput. Program..

Fine-grained static detection of obfuscation transforms using ensemble-learning and semantic reasoning

Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Philippe Elbaz-Vincent, 2019, Proceedings of the 9th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW9 '19.

Memory Policy Analysis for Semantics Specifications in Maude

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2015, LOPSTR.

Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper

Nguyen Hoang Nga, Markus Roggenbach, Irina Mariuca Asavoae, 2017, FTfJP@ECOOP.

Slicing from formal semantics: Chisel—a tool for generic program slicing

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2018, International Journal on Software Tools for Technology Transfer.

Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches

Liliana Cucu-Grosjean, Irina Mariuca Asavoae, Mihail Asavoae, 2016, SIGBED.

On the Modular Integration of Abstract Semantics for WCET Analysis

Irina Mariuca Asavoae, Mihail Asavoae, I. Asavoae, 2013, FOPARA.

Context-Updates Analysis and Refinement in Chisel pdf

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2017, SPIN.

Using the Executable Semantics for CFG Extraction and Unfolding

Irina Mariuca Asavoae, Mihail Asavoae, 2011, 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Abstract Semantics for Alias Analysis in K

Irina Mariuca Asavoae, 2014, Electron. Notes Theor. Comput. Sci..

Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K

Nguyen Hoang Nga, Markus Roggenbach, Irina Mariuca Asavoae, 2018, SPIN.

Slicing from Formal Semantics: Chisel

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2017, FASE.

Collecting Semantics under Predicate Abstraction in the K Framework

Irina Mariuca Asavoae, Mihail Asavoae, 2010, WRLA.

Towards a Formal Semantics-Based Technique for Interprocedural Slicing

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2014, IFM.

On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework

Irina Mariuca Asavoae, Dorel Lucanu, Mihail Asavoae, 2011, FOPARA.

Towards Automated Android App Collusion Detection

Nguyen Hoang Nga, Markus Roggenbach, Irina Mariuca Asavoae, 2016, IMPS@ESSoS.

Path Directed Symbolic Execution in the K Framework

Irina Mariuca Asavoae, Dorel Lucanu, Mihail Asavoae, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.