A Distributed Implementation of Mobile Maude. - Francisco Durán 001; Adrián Riesco 001; Alberto Verdejo (WRLA, 2006)

Introducing the ITP Tool: a Tutorial. - Manuel Clavel; Miguel Palomino; Adrián Riesco 001 (J. Univers. Comput. Sci., 2006)

Distributed Applications Implemented in Maude with Parameterized Skeletons. - Adrián Riesco 001; Alberto Verdejo (FMOODS, 2007)

Mobile Maude. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Adrián Riesco 001; Alberto Verdejo (All About Maude, 2007)

A Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (AMAST, 2008)

Declarative Debugging of Membership Equational Logic Specifications. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (Concurrency, Graphs and Models, 2008)

A Declarative Debugger for Maude Functional Modules. - Rafael Caballero 001; Narciso Martí-Oliet; Adrián Riesco 001; Alberto Verdejo (WRLA, 2008)

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. - Adrián Riesco 001; Alberto Verdejo (WRLA, 2008)

A Natural Implementation of Plural Semantics in Maude. - Adrián Riesco 001; Juan Rodríguez-Hortalá (LDTA, 2009)

Integrating Maude into Hets. - Mihai Codescu; Till Mossakowski; Adrián Riesco 001; Christian Maeder (AMAST, 2010)

A Complete Declarative Debugger for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (AMAST, 2010)

Programming with singular and plural non-deterministic functions. - Adrián Riesco 001; Juan Rodríguez-Hortalá (PEPM, 2010)

Declarative Debugging of Missing Answers for Maude. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (RTA, 2010)

Test-Case Generation for Maude Functional Modules. - Adrián Riesco 001 (WADT, 2010)

Enhancing the Debugging of Maude Specifications. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (WRLA, 2010)

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. - Rafael Caballero 001; Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet (LOPSTR, 2011)

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. - Isabel Pita; Adrián Riesco 001 (PROLE, 2011)

Using Semantics Specified in Maude to Generate Test Cases. - Adrián Riesco 001 (ICTAC, 2012)

S-Narrowing for Constructor Systems. - Adrián Riesco 001; Juan Rodríguez-Hortalá (ICTAC, 2012)

A Generic Program Slicing Technique Based on Language Definitions. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (WADT, 2012)

Using Narrowing to Test Maude Specifications. - Adrián Riesco 001 (WRLA, 2012)

Declarative debugging of rewriting logic specifications. - Adrián Riesco 001; Alberto Verdejo; Narciso Martí-Oliet; Rafael Caballero 001 (J. Log. Algebraic Methods Program., 2012)

A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TAP@STAF, 2013)

Speeding Up Algorithmic Debugging Using Balanced Execution Trees. - David Insa; Josep Silva; Adrián Riesco 001 (TAP@STAF, 2013)

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. - Adrián Riesco 001 (FLOPS, 2014)

Towards a Formal Semantics-Based Technique for Interprocedural Slicing. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (IFM, 2014)

EDD: A Declarative Debugger for Sequential Erlang Programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (TACAS, 2014)

An Integration of CafeOBJ into Full Maude. - Adrián Riesco 001 (WRLA, 2014)

Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. - Adrián Riesco 001; Juan Rodríguez-Hortalá (PROLE, 2014)

Singular and plural functions for functional logic programming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (Theory Pract. Log. Program., 2014)

Specifying and Analyzing the Kademlia Protocol in Maude. - Isabel Pita; Adrián Riesco 001 (ICTAC, 2015)

Memory Policy Analysis for Semantics Specifications in Maude. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (LOPSTR, 2015)

A zoom-declarative debugger for sequential Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Sci. Comput. Program., 2015)

CafeInMaude: A CafeOBJ Interpreter in Maude. - Adrián Riesco 001; Kazuhiro Ogata 001; Kokichi Futatsugi (FASE, 2016)

Temporal Random Testing for Spark Streaming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (IFM, 2016)

Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. - Gustavo Santos-García; Carolyn L. Talcott; Adrián Riesco 001; Beatriz Santos-Buitrago; Javier De Las Rivas (PACBB, 2016)

Debugging Meets Testing in Erlang. - Salvador Tamarit; Adrián Riesco 001; Enrique Martin-Martin; Rafael Caballero 001 (TAP@STAF, 2016)

Slicing from Formal Semantics: Chisel. - Adrián Riesco 001; Irina Mariuca Asavoae; Mihail Asavoae (FASE, 2017)

A Formal Proof Generator from Semi-formal Proof Documents. - Adrián Riesco 001; Kazuhiro Ogata 001 (ICTAC, 2017)

Reverse Inference in Symbolic Systems Biology. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; Gustavo Santos-García; Carolyn L. Talcott (PACBB, 2017)

A Survey of Algorithmic Debugging. - Rafael Caballero 001; Adrián Riesco 001; Josep Silva (ACM Comput. Surv., 2017)

A Maude environment for CafeOBJ. - Adrián Riesco 001; Kazuhiro Ogata 001; Kokichi Futatsugi (Formal Aspects Comput., 2017)

Specification and Verification of Invariant Properties of Transition Systems. - Daniel Gâinâ; Ionut Tutu; Adrián Riesco 001 (APSEC, 2018)

Model Checking Parameterized by the Semantics in Maude. - Adrián Riesco 001 (FLOPS, 2018)

Context-Updates Analysis and Refinement in Chisel. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (SPIN, 2018)

MUnit: A Unit Framework for Maude. - Adrián Riesco 001 (WRLA@ETAPS, 2018)

A Language-Independent Technique for Assessing Tweet Success: An Experience Report. - Enrique Martin-Martin; Adrián Riesco 001; Manuel Rodriguez (IEEE Access, 2018)

Declarative debugging of concurrent Erlang programs. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2018)

Slicing from formal semantics: Chisel - a tool for generic program slicing. - Irina Mariuca Asavoae; Mihail Asavoae; Adrián Riesco 001 (Int. J. Softw. Tools Technol. Transf., 2018)

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. - Adrián Riesco 001; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2018)

An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. - Ha Thi Thu Doan; Adrián Riesco 001; Kazuhiro Ogata 001 (SSS, 2019)

FlinkCheck: Property-Based Testing for Apache Flink. - Cristina Valentina Espinosa; Enrique Martin-Martin; Adrián Riesco 001; Juan Rodríguez-Hortalá (IEEE Access, 2019)

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; José Carlos R. Alcantud; Gustavo Santos-García; Carolyn L. Talcott (IEEE Access, 2019)

Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. - Jose Luis Brita-Paja; Carlos Gregorio-Rodríguez; Luis Llana; Cristóbal Pareja; Adrián Riesco 001 (Interact. Learn. Environ., 2019)

A core Erlang semantics for declarative debugging. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

Property-Based Testing for Spark Streaming. - Adrián Riesco 001; Juan Rodríguez-Hortalá (Theory Pract. Log. Program., 2019)

CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. - Adrián Riesco 001; Kazuhiro Ogata 001 (ICTAC, 2020)

Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. - Adrián Riesco 001; Beatriz Santos-Buitrago; Merrill Knapp; Gustavo Santos-García; Emiliano Hernández Galilea; Carolyn L. Talcott (PACBB, 2020)

A unified framework for declarative debugging and testing. - Rafael Caballero 001; Enrique Martin-Martin; Adrián Riesco 001; Salvador Tamarit (Inf. Softw. Technol., 2021)

Integration of SMGA and Maude to Facilitate Characteristic Conjecture. - Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001; Adrián Riesco 001 (DMSVIVA, 2022)

Theorem Proving for Maude Specifications Using Lean. - Rubén Rubio; Adrián Riesco 001 (ICFEM, 2022)

Improving Database Learning with an Automatic Judge. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Rubén Rubio (SEKE, 2022)

Parallel Maude-NPA for Cryptographic Protocol Analysis. - Canh Minh Do; Adrián Riesco 001; Santiago Escobar 001; Kazuhiro Ogata 001 (WRLA@ETAPS, 2022)

Hardware Trojan detection via rewriting logic. - Irina Mariuca Asavoae; Ramtine Tofighi-Shirazi; Adrián Riesco 001; Uemura Yasuyoshi (J. Log. Algebraic Methods Program., 2022)

An integrated tool set for verifying CafeOBJ specifications. - Adrián Riesco 001; Kazuhiro Ogata 001 (J. Syst. Softw., 2022)

Verification of the ROS NavFn planner using executable specification languages. - Enrique Martin-Martin; Manuel Montenegro; Adrián Riesco 001; Juan Rodríguez-Hortalá; Rubén Rubio (J. Log. Algebraic Methods Program., 2023)

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. - Canh Minh Do; Yati Phyo; Adrián Riesco 001; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. - Dang Duy Bui; Duong Dinh Tran; Kazuhiro Ogata 001; Adrián Riesco 001 (Multim. Tools Appl., 2024)

Maude2Lean: Theorem proving for Maude specifications using Lean. - Rubén Rubio; Adrián Riesco 001 (J. Log. Algebraic Methods Program., 2025)

Proof Scores: A Survey (full version). - Adrián Riesco 001; Kazuhiro Ogata 001; Masaki Nakamura 001; Daniel Gaina; Duong Dinh Tran; Kokichi Futatsugi (CoRR, 2025)

Proof Scores: A Survey. - Adrián Riesco 001; Kazuhiro Ogata 001; Masaki Nakamura 001; Daniel Gaina; Duong Dinh Tran; Kokichi Futatsugi (ACM Comput. Surv., 2025)