Adrián Riesco

79 papers A 1B 4C 13Misc 5Journal 29Unranked 26

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