Irina Mariuca Asavoae

26 papers B 2C 1Misc 2Journal 8Unranked 13

Year	Rank	Type	Title / 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