Irina Mariuca Asavoae

According to our database, Irina Mariuca Asavoae authored at least 24 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Hardware Trojan detection via rewriting logic.

Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi

J. Log. Algebraic Methods Program., 2022

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

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis.

Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent, Thanh-Ha Le

Proceedings of the 3rd ACM Workshop on Software Protection, 2019

2018

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

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Int. J. Softw. Tools Technol. Transf., 2018

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

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Context-Updates Analysis and Refinement in Chisel.

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Proceedings of the Model Checking Software - 25th International Symposium, 2018

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

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

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

CoRR, 2017

Slicing from Formal Semantics: Chisel.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Fundamental Approaches to Software Engineering, 2017

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

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

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

Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

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

Proceedings of the 1st International Workshop on Innovations in Mobile Privacy and Security, 2016

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

Memory Policy Analysis for Semantics Specifications in Maude.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Towards a Formal Semantics-Based Technique for Interprocedural Slicing.

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

On the Modular Integration of Abstract Semantics for WCET Analysis.

Mihail Asavoae, Irina Mariuca Asavoae

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Interacting via the Heap in the Presence of Recursion

Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu

Proceedings of the Proceedings Fifth Interaction and Concurrency Experience, 2012

A Generic Program Slicing Technique Based on Language Definitions.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Bounded Model Checking of Recursive Programs with Pointers in K.

Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2011

Abstract Semantics for Alias Analysis in K.

Irina Mariuca Asavoae

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Using the Executable Semantics for CFG Extraction and Unfolding.

Mihail Asavoae, Irina Mariuca Asavoae

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

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

Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Collecting Semantics under Predicate Abstraction in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Path Directed Symbolic Execution in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010