Adrián Riesco

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 40

Top Topics

Theorem Proving

Specification Languages

Transition Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. Multim. Tools Appl. 83 (12) (2024)
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá, Rubén Rubio
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132 (2023)
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. ACM Trans. Softw. Eng. Methodol. 32 (6) (2023)
Adrián Riesco, Kazuhiro Ogata
An integrated tool set for verifying CafeOBJ specifications. J. Syst. Softw. 189 (2022)
Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio
Improving Database Learning with an Automatic Judge. SEKE (2022)
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS (2022)
Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi
Hardware Trojan detection via rewriting logic. J. Log. Algebraic Methods Program. 127 (2022)
Rubén Rubio, Adrián Riesco
Theorem Proving for Maude Specifications Using Lean. ICFEM (2022)
Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco, Dang Duy Bui
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. DMSVIVA (2022)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A unified framework for declarative debugging and testing. Inf. Softw. Technol. 129 (2021)
Adrián Riesco, Beatriz Santos-Buitrago, Merrill Knapp, Gustavo Santos-García, Emiliano Hernández Galilea, Carolyn L. Talcott
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. PACBB (2020)
Adrián Riesco, Kazuhiro Ogata
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. ICTAC (2020)
Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS (2019)
Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá
FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access 7 (2019)
Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, José Carlos R. Alcantud, Gustavo Santos-García, Carolyn L. Talcott
Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. IEEE Access 7 (2019)
Adrián Riesco, Juan Rodríguez-Hortalá
Property-Based Testing for Spark Streaming. Theory Pract. Log. Program. 19 (4) (2019)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program. 107 (2019)
Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez, Luis Llana, Cristóbal Pareja, Adrián Riesco
Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study. Interact. Learn. Environ. 27 (1) (2019)
Adrián Riesco, Juan Rodríguez-Hortalá
Property-based testing for Spark Streaming. CoRR (2018)
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Context-Updates Analysis and Refinement in Chisel. SPIN (2018)
Adrián Riesco
Model Checking Parameterized by the Semantics in Maude. FLOPS (2018)
Adrián Riesco
MUnit: A Unit Framework for Maude. WRLA@ETAPS (2018)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
Declarative debugging of concurrent Erlang programs. J. Log. Algebraic Methods Program. 101 (2018)
Enrique Martin-Martin, Adrián Riesco, Manuel Rodriguez
A Language-Independent Technique for Assessing Tweet Success: An Experience Report. IEEE Access 6 (2018)
Adrián Riesco, Kazuhiro Ogata
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. ACM Trans. Softw. Eng. Methodol. 27 (2) (2018)
Daniel Gâinâ, Ionut Tutu, Adrián Riesco
Specification and Verification of Invariant Properties of Transition Systems. APSEC (2018)
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Slicing from formal semantics: Chisel - a tool for generic program slicing. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Context-Updates Analysis and Refinement in Chisel. CoRR (2017)
Rafael Caballero, Adrián Riesco, Josep Silva
A Survey of Algorithmic Debugging. ACM Comput. Surv. 50 (4) (2017)
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
Slicing from Formal Semantics: Chisel. FASE (2017)
Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott
Reverse Inference in Symbolic Systems Biology. PACBB (2017)
Adrián Riesco, Kazuhiro Ogata
A Formal Proof Generator from Semi-formal Proof Documents. ICTAC (2017)
Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi
A Maude environment for CafeOBJ. Formal Aspects Comput. 29 (2) (2017)
Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi
CafeInMaude: A CafeOBJ Interpreter in Maude. FASE (2016)
Adrián Riesco, Juan Rodríguez-Hortalá
Temporal Random Testing for Spark Streaming. IFM (2016)
Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
Debugging Meets Testing in Erlang. TAP@STAF (2016)
Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco, Beatriz Santos-Buitrago, Javier De Las Rivas
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. PACBB (2016)
Isabel Pita, Adrián Riesco
Specifying and Analyzing the Kademlia Protocol in Maude. ICTAC (2015)
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
Memory Policy Analysis for Semantics Specifications in Maude. LOPSTR (2015)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. 110 (2015)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
EDD: A Declarative Debugger for Sequential Erlang Programs. TACAS (2014)
Adrián Riesco, Juan Rodríguez-Hortalá
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE (2014)
Adrián Riesco, Juan Rodríguez-Hortalá
Singular and plural functions for functional logic programming. Theory Pract. Log. Program. 14 (1) (2014)
Adrián Riesco
An Integration of CafeOBJ into Full Maude. WRLA (2014)
Adrián Riesco
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. FLOPS (2014)
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. IFM (2014)
David Insa, Josep Silva, Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. TAP@STAF (2013)
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
A Declarative Debugger for Sequential Erlang Programs. TAP@STAF (2013)
Adrián Riesco, Juan Rodríguez-Hortalá
S-Narrowing for Constructor Systems. ICTAC (2012)
Isabel Pita, Adrián Riesco
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. Electron. Notes Theor. Comput. Sci. 282 (2012)
Adrián Riesco, Juan Rodríguez-Hortalá
Singular and Plural Functions for Functional Logic Programming CoRR (2012)
Adrián Riesco
Using Narrowing to Test Maude Specifications. WRLA (2012)
Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
A Generic Program Slicing Technique Based on Language Definitions. WADT (2012)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Adrián Riesco
Using Semantics Specified in Maude to Generate Test Cases. ICTAC (2012)
Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR (2011)
Adrián Riesco
Test-Case Generation for Maude Functional Modules. WADT (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Enhancing the Debugging of Maude Specifications. WRLA (2010)
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Integrating Maude into Hets. AMAST (2010)
Adrián Riesco, Juan Rodríguez-Hortalá
A Natural Implementation of Plural Semantics in Maude. Electron. Notes Theor. Comput. Sci. 253 (7) (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
A Complete Declarative Debugger for Maude. AMAST (2010)
Adrián Riesco, Juan Rodríguez-Hortalá
Programming with singular and plural non-deterministic functions. PEPM (2010)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Declarative Debugging of Missing Answers for Maude. RTA (2010)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
A Declarative Debugger for Maude Functional Modules. WRLA (2008)
Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
Declarative Debugging of Rewriting Logic Specifications. WADT (2008)
Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
A Declarative Debugger for Maude. AMAST (2008)
Adrián Riesco, Alberto Verdejo
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA (2008)
Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models (2008)
Adrián Riesco, Alberto Verdejo
Distributed Applications Implemented in Maude with Parameterized Skeletons. FMOODS (2007)
Francisco Durán, Adrián Riesco, Alberto Verdejo
A Distributed Implementation of Mobile Maude. WRLA (2006)
Manuel Clavel, Miguel Palomino, Adrián Riesco
Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. 12 (11) (2006)