| Publication | Date of Publication | Type |
|---|
Symbolic Specialization of Rewriting Logic Theories with Presto
Theory and Practice of Logic Programming | 2023-12-12 | 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 |
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 |
| \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance | 2020-02-18 | 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 |
A rule-based method to match software patterns against UML models
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Inspecting rewriting logic computations (in a parametric and stepwise way)
Specification, Algebra, and Software | 2014-03-25 | Paper |
Rewriting-based repairing strategies for XML repositories
The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
| Cost-sensitive diagnosis of declarative programs | 2013-08-27 | Paper |
| Abstract correction of first-order functional programs | 2013-08-27 | Paper |
Backward trace slicing for conditional rewrite theories
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Backward trace slicing for rewriting logic theories
Lecture Notes in Computer Science | 2011-07-29 | Paper |
An access control language based on term rewriting and description logic
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science | 2010-11-11 | Paper |
Transformation and debugging of functional logic programs
Lecture Notes in Computer Science | 2010-07-20 | Paper |
| scientific article; zbMATH DE number 1956545 (Why is no real title available?) | 2003-07-30 | Paper |
