Andrei Arusoaie

From MaRDI portal
Person:507360

Available identifiers

zbMath Open arusoaie.andreiMaRDI QIDQ507360

List of research outcomes





PublicationDate of PublicationType
Proof-carrying parameters in certified symbolic execution2024-11-15Paper
Unification in matching logic2024-03-14Paper
Unification Modulo Builtins2023-04-26Paper
Certifying Findel derivatives for blockchain2021-08-03Paper
Symbolic execution based on language transformation2018-05-15Paper
https://portal.mardi4nfdi.de/entity/Q45940042017-11-16Paper
Executing and verifying higher-order functional-imperative programs in Maude2017-10-13Paper
A generic framework for symbolic execution: a coinductive approach2017-02-06Paper
Language definitions as rewrite theories2016-12-28Paper
Proving Reachability-Logic Formulas Incrementally2016-10-21Paper
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications2015-09-14Paper
Language Definitions as Rewrite Theories2015-09-09Paper

Research outcomes over time

This page was built for person: Andrei Arusoaie

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:507360&oldid=6958141"
Powered by MediaWiki