Person:739629

Available identifiers

zbMath Open sapina.juliaMaRDI QIDQ739629

List of research outcomes

Publication	Date of Publication	Type
Symbolic Specialization of Rewriting Logic Theories with Presto	2023-12-12	Paper
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis	2023-09-25	Paper
Optimizing Maude programs via program specialization	2023-08-17	Paper
Variant-based equational anti-unification	2023-06-02	Paper
Safety enforcement via programmable strategies in Maude	2023-03-20	Paper
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA	2022-12-22	Paper
Protocol analysis with time and space	2022-07-13	Paper
Protocol analysis with time	2022-07-06	Paper
Order-sorted equational generalization algorithm revisited	2022-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q5020960	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5020553	2022-01-06	Paper
Optimization of rewrite theories by equational partial evaluation	2021-11-24	Paper
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system	2020-10-30	Paper
Symbolic Analysis of Maude Theories with Narval	2020-05-04	Paper
Inferring safe Maude programs with ÁTAME	2018-08-17	Paper
Assertion-based analysis via slicing withABETS(system description)	2017-11-09	Paper
Debugging Maude programs via runtime assertion checking and trace slicing	2016-08-18	Paper
Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis	2015-09-14	Paper
Exploring conditional rewriting logic computations	2015-01-14	Paper
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)	2014-03-25	Paper

Research outcomes over time

This page was built for person: Julia Sapiña