| Publication | Date of Publication | Type |
|---|
DM-check: verifying invariants of concurrent systems by deductive model checking
Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
Symbolic Specialization of Rewriting Logic Theories with Presto
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
Optimizing Maude programs via program specialization
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
Variant-based equational anti-unification
Logic-Based Program Synthesis and Transformation | 2023-06-02 | Paper |
Safety enforcement via programmable strategies in Maude
Journal of Logical and Algebraic Methods in Programming | 2023-03-20 | Paper |
An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
1511.94044 | 2022-12-22 | Paper |
| Protocol analysis with time and space | 2022-07-13 | Paper |
Protocol analysis with time
(available as arXiv preprint) | 2022-07-06 | Paper |
Order-sorted equational generalization algorithm revisited
Annals of Mathematics and Artificial Intelligence | 2022-05-04 | Paper |
| scientific article; zbMATH DE number 7455704 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455704 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7453112 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453112 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Optimization of rewrite theories by equational partial evaluation
Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system
Mathematics in Computer Science | 2020-10-30 | Paper |
Symbolic analysis of Maude theories with Narval
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Inferring safe Maude programs with ÁTAME | 2018-08-17 | Paper |
Assertion-based analysis via slicing withABETS(system description)
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Debugging Maude programs via runtime assertion checking and trace slicing
Journal of Logical and Algebraic Methods in Programming | 2016-08-18 | Paper |
Combining runtime checking and slicing to improve Maude error diagnosis
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Exploring conditional rewriting logic computations
Journal of Symbolic Computation | 2015-01-14 | Paper |
Inspecting rewriting logic computations (in a parametric and stepwise way)
Specification, Algebra, and Software | 2014-03-25 | Paper |
