Mihail Asăvoae

Available identifiers

zbMath Open asavoae.mihailMaRDI QIDQ2848887

List of research outcomes

Publication	Date of Publication	Type
Memory policy analysis for semantics specifications in Maude	2016-02-05	Paper
On the modular integration of abstract semantics for WCET analysis	2016-01-07	Paper
A generic program slicing technique based on language definitions	2013-09-13	Paper
On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework	2012-11-02	Paper
Collecting Semantics under Predicate Abstraction in the K Framework	2010-10-12	Paper

Research outcomes over time

This page was built for person: Mihail Asăvoae