Irina Măriuca Asăvoae

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K Model Checking Software	2023-03-21	Paper
Hardware Trojan detection via rewriting logic Journal of Logical and Algebraic Methods in Programming	2022-05-25	Paper
scientific article; zbMATH DE number 7149819 (Why is no real title available?) (available as arXiv preprint)	2020-01-10	Paper
scientific article; zbMATH DE number 7149819 (Why is no real title available?)	2020-01-10	Paper
Memory policy analysis for semantics specifications in Maude Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
On the modular integration of abstract semantics for WCET analysis Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
Bounded model checking of recursive programs with pointers in K Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
A generic program slicing technique based on language definitions Recent Trends in Algebraic Development Techniques	2013-09-13	Paper
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework Foundational and Practical Aspects of Resource Analysis	2012-11-02	Paper
Collecting Semantics under Predicate Abstraction in the K Framework Rewriting Logic and Its Applications	2010-10-12	Paper

Research outcomes over time

This page was built for person: Irina Măriuca Asăvoae