Slicing-Based Trace Analysis of Rewriting Logic Specifications with iJulienne. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (ESOP, 2013)

Parametric Exploration of Rewriting Logic Computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (SCSS, 2013)

Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Specification, Algebra, and Software, 2014)

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (Logic, Rewriting, and Concurrency, 2015)

Exploring conditional rewriting logic computations. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Symb. Comput., 2015)

Assertion-based Analysis via Slicing with ABETS (System Description). - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (CoRR, 2016)

Debugging Maude programs via runtime assertion checking and trace slicing. - María Alpuente; Demis Ballis; Francisco Frechina; Julia Sapiña (J. Log. Algebraic Methods Program., 2016)

Assertion-based analysis via slicing with ABETS. - María Alpuente; Francisco Frechina; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2016)

Inspecting Maude variants with GLINTS. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Angel Cuenca-Ortega (Theory Pract. Log. Program., 2017)

Inferring Safe Maude Programs with ÁTAME. - María Alpuente; Demis Ballis; Julia Sapiña (ICMS, 2018)

Most General Variant Unifiers. - Santiago Escobar 001; Julia Sapiña (ICLP Technical Communications, 2019)

Static correction of Maude programs with assertions. - María Alpuente; Demis Ballis; Julia Sapiña (J. Syst. Softw., 2019)

Symbolic Analysis of Maude Theories with Narval. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2019)

An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA. - Damián Aparicio-Sánchez; Santiago Escobar 001; Raúl Gutiérrez; Julia Sapiña (ESORICS (2), 2020)

Protocol Analysis with Time. - Damián Aparicio-Sánchez; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Julia Sapiña (INDOCRYPT, 2020)

Variant-based Equational Unification under Constructor Symbols. - Damián Aparicio-Sánchez; Santiago Escobar 001; Julia Sapiña (ICLP Technical Communications, 2020)

Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System. - María Alpuente; Demis Ballis; Julia Sapiña (Math. Comput. Sci., 2020)

Protocol Analysis with Time and Space. - Damián Aparicio-Sánchez; Santiago Escobar 001; Catherine Meadows 001; José Meseguer 001; Julia Sapiña (Protocols, Strands, and Logic, 2021)

Variant-Based Equational Anti-unification. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (LOPSTR, 2022)

Order-sorted equational generalization algorithm revisited. - María Alpuente; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (Ann. Math. Artif. Intell., 2022)

Optimization of rewrite theories by equational partial evaluation. - María Alpuente; Demis Ballis; Santiago Escobar 001; Julia Sapiña (J. Log. Algebraic Methods Program., 2022)

Symbolic Specialization of Rewriting Logic Theories with Presto. - María Alpuente; Santiago Escobar 001; Julia Sapiña; Demis Ballis (Theory Pract. Log. Program., 2022)

Optimizing Maude Programs via Program Specialization. - María Alpuente; Demis Ballis; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023)

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. - Santiago Escobar 001; Raúl López-Rueda; Julia Sapiña (FTSCS, 2023)

Safety enforcement via programmable strategies in Maude. - María Alpuente; Demis Ballis; Santiago Escobar 001; D. Galán; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)

An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. - Raúl López-Rueda; Santiago Escobar 001; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)

NuITP: An Inductive Theorem Prover for Equational Program Verification. - Francisco J. Durán; Santiago Escobar 001; José Meseguer 001; Julia Sapiña (PPDP, 2024)

Verifying Invariants by Deductive Model Checking. - Kyungmin Bae; Santiago Escobar 001; Raúl López-Rueda; José Meseguer 001; Julia Sapiña (WRLA, 2024)