default search action
Irina Mariuca Asavoae
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
- [j4]Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco
, Uemura Yasuyoshi:
Hardware Trojan detection via rewriting logic. J. Log. Algebraic Methods Program. 127: 100762 (2022) - 2018
- [j3]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): 739-769 (2018) - 2017
- [j2]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): 24-31 (2017) - 2015
- [j1]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Model checking recursive programs interacting via the heap. Sci. Comput. Program. 100: 61-83 (2015)
Conference and Workshop Papers
- 2019
- [c18]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: 3-14 - 2018
- [c17]Irina Mariuca Asavoae, Hoang Nga Nguyen
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. SPIN 2018: 3-25 - [c16]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Context-Updates Analysis and Refinement in Chisel. SPIN 2018: 328-346 - 2017
- [c15]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach
Software Model Checking: A Promising Approach to Verify Mobile App Security: A Position Paper. FTfJP@ECOOP 2017: 1:1-1:2 - [c14]Adrián Riesco
Slicing from Formal Semantics: Chisel. FASE 2017: 374-378 - 2016
- [c13]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: 29-37 - [c12]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications. FMICS-AVoCS 2016: 142-149 - 2015
- [c11]Adrián Riesco
Memory Policy Analysis for Semantics Specifications in Maude. LOPSTR 2015: 293-310 - 2014
- [c10]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. IFM 2014: 291-306 - 2013
- [c9]Mihail Asavoae, Irina Mariuca Asavoae:
On the Modular Integration of Abstract Semantics for WCET Analysis. FOPARA 2013: 19-37 - 2012
- [c8]Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Bounded Model Checking of Recursive Programs with Pointers in K. WADT 2012: 59-76 - [c7]Adrián Riesco
A Generic Program Slicing Technique Based on Language Definitions. WADT 2012: 248-264 - [c6]Jurriaan Rot, Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue
Interacting via the Heap in the Presence of Recursion. ICE 2012: 99-113 - 2011
- [c5]Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu:
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. FOPARA 2011: 90-107 - [c4]Mihail Asavoae, Irina Mariuca Asavoae:
Using the Executable Semantics for CFG Extraction and Unfolding. SYNASC 2011: 123-127 - [c3]Irina Mariuca Asavoae:
Abstract Semantics for Alias Analysis in K. K 2011: 97-110 - 2010
- [c2]Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu:
Path Directed Symbolic Execution in the K Framework. SYNASC 2010: 133-141 - [c1]Irina Mariuca Asavoae, Mihail Asavoae:
Collecting Semantics under Predicate Abstraction in the K Framework. WRLA 2010: 123-139
Informal and Other Publications
- 2019
- [i5]Ramtine Tofighi-Shirazi, Irina Asavoae, Philippe Elbaz-Vincent, Thanh Ha Le:
Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis. CoRR abs/1909.01640 (2019) - [i4]Ramtine Tofighi-Shirazi, Irina Mariuca Asavoae, Philippe Elbaz-Vincent:
Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning. CoRR abs/1911.07523 (2019) - 2017
- [i3]Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh:
Software Model Checking: A Promising Approach to Verify Mobile App Security. CoRR abs/1706.04741 (2017) - [i2]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Context-Updates Analysis and Refinement in Chisel. CoRR abs/1709.06897 (2017) - 2016
- [i1]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 abs/1603.02308 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: