3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Equational and Inductive Reasoning for Maude in Athena
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…
cs.DC2024★ 3 cited
Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems
Mateo Sanabria, Ivana Dusparic, Nicolas Cardozo
Self-healing systems depend on following a set of predefined instructions to recover from a known failure state. Failure states are generally detected based on domain specific spec…