Julia Sapiña

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Julia Sapiña