default search action
Adrián Riesco 0001
Person information
- affiliation: Universidad Complutense de Madrid, Spain
Other persons with the same name
- Adrián Riesco 0002 (aka: Adrián Riesco Valbuena) — Universidad de León, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j22]Rubén Rubio, Adrián Riesco:
Maude2Lean: Theorem proving for Maude specifications using Lean. J. Log. Algebraic Methods Program. 142: 101005 (2025) - 2024
- [j21]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): 36865-36898 (2024) - 2023
- [j20]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: 100860 (2023) - [j19]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): 151:1-151:38 (2023) - 2022
- [j18]Irina Mariuca Asavoae, Ramtine Tofighi-Shirazi, Adrián Riesco, Uemura Yasuyoshi:
Hardware Trojan detection via rewriting logic. J. Log. Algebraic Methods Program. 127: 100762 (2022) - [j17]Adrián Riesco, Kazuhiro Ogata:
An integrated tool set for verifying CafeOBJ specifications. J. Syst. Softw. 189: 111302 (2022) - [c47]Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco:
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. DMSVIVA 2022: 45-54 - [c46]Rubén Rubio, Adrián Riesco:
Theorem Proving for Maude Specifications Using Lean. ICFEM 2022: 263-280 - [c45]Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Rubén Rubio:
Improving Database Learning with an Automatic Judge. SEKE 2022: 499-502 - [c44]Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata:
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS 2022: 253-273 - [e1]Adrián Riesco, Min Zhang:
Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13478, Springer 2022, ISBN 978-3-031-17243-4 [contents] - 2021
- [j16]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A unified framework for declarative debugging and testing. Inf. Softw. Technol. 129: 106427 (2021) - 2020
- [c43]Adrián Riesco, Kazuhiro Ogata:
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. ICTAC 2020: 64-82 - [c42]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: 80-90
2010 – 2019
- 2019
- [j15]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: 18183-18193 (2019) - [j14]Cristina Valentina Espinosa, Enrique Martin-Martin, Adrián Riesco, Juan Rodríguez-Hortalá:
FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access 7: 150369-150382 (2019) - [j13]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): 15-32 (2019) - [j12]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program. 107: 1-37 (2019) - [j11]Adrián Riesco, Juan Rodríguez-Hortalá:
Property-Based Testing for Spark Streaming. Theory Pract. Log. Program. 19(4): 574-602 (2019) - [c41]Ha Thi Thu Doan, Adrián Riesco, Kazuhiro Ogata:
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS 2019: 111-126 - 2018
- [j10]Enrique Martin-Martin, Adrián Riesco, Manuel Rodriguez:
A Language-Independent Technique for Assessing Tweet Success: An Experience Report. IEEE Access 6: 62384-62395 (2018) - [j9]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
Declarative debugging of concurrent Erlang programs. J. Log. Algebraic Methods Program. 101: 22-41 (2018) - [j8]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): 739-769 (2018) - [j7]Adrián Riesco, Kazuhiro Ogata:
Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores. ACM Trans. Softw. Eng. Methodol. 27(2): 6:1-6:32 (2018) - [c40]Daniel Gâinâ, Ionut Tutu, Adrián Riesco:
Specification and Verification of Invariant Properties of Transition Systems. APSEC 2018: 99-108 - [c39]Adrián Riesco:
Model Checking Parameterized by the Semantics in Maude. FLOPS 2018: 198-213 - [c38]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Context-Updates Analysis and Refinement in Chisel. SPIN 2018: 328-346 - [c37]Adrián Riesco:
MUnit: A Unit Framework for Maude. WRLA@ETAPS 2018: 45-58 - [i3]Adrián Riesco, Juan Rodríguez-Hortalá:
Property-based testing for Spark Streaming. CoRR abs/1812.11838 (2018) - 2017
- [j6]Rafael Caballero, Adrián Riesco, Josep Silva:
A Survey of Algorithmic Debugging. ACM Comput. Surv. 50(4): 60:1-60:35 (2017) - [j5]Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi:
A Maude environment for CafeOBJ. Formal Aspects Comput. 29(2): 309-334 (2017) - [c36]Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
Slicing from Formal Semantics: Chisel. FASE 2017: 374-378 - [c35]Adrián Riesco, Kazuhiro Ogata:
A Formal Proof Generator from Semi-formal Proof Documents. ICTAC 2017: 3-12 - [c34]Beatriz Santos-Buitrago, Adrián Riesco, Merrill Knapp, Gustavo Santos-García, Carolyn L. Talcott:
Reverse Inference in Symbolic Systems Biology. PACBB 2017: 101-109 - [i2]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Context-Updates Analysis and Refinement in Chisel. CoRR abs/1709.06897 (2017) - 2016
- [c33]Adrián Riesco, Kazuhiro Ogata, Kokichi Futatsugi:
CafeInMaude: A CafeOBJ Interpreter in Maude. FASE 2016: 377-380 - [c32]Adrián Riesco, Juan Rodríguez-Hortalá:
Temporal Random Testing for Spark Streaming. IFM 2016: 393-408 - [c31]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: 173-181 - [c30]Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero:
Debugging Meets Testing in Erlang. TAP@STAF 2016: 171-180 - 2015
- [j4]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. 110: 104-118 (2015) - [c29]Isabel Pita, Adrián Riesco:
Specifying and Analyzing the Kademlia Protocol in Maude. ICTAC 2015: 524-541 - [c28]Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
Memory Policy Analysis for Semantics Specifications in Maude. LOPSTR 2015: 293-310 - 2014
- [j3]Adrián Riesco, Juan Rodríguez-Hortalá:
Singular and plural functions for functional logic programming. Theory Pract. Log. Program. 14(1): 65-116 (2014) - [c27]Adrián Riesco:
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. FLOPS 2014: 52-68 - [c26]Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Towards a Formal Semantics-Based Technique for Interprocedural Slicing. IFM 2014: 291-306 - [c25]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
EDD: A Declarative Debugger for Sequential Erlang Programs. TACAS 2014: 581-586 - [c24]Adrián Riesco:
An Integration of CafeOBJ into Full Maude. WRLA 2014: 230-246 - [c23]Adrián Riesco, Juan Rodríguez-Hortalá:
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE 2014: 87-99 - 2013
- [c22]Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit:
A Declarative Debugger for Sequential Erlang Programs. TAP@STAF 2013: 96-114 - [c21]David Insa, Josep Silva, Adrián Riesco:
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. TAP@STAF 2013: 133-151 - 2012
- [j2]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero:
Declarative debugging of rewriting logic specifications. J. Log. Algebraic Methods Program. 81(7-8): 851-897 (2012) - [c20]Adrián Riesco:
Using Semantics Specified in Maude to Generate Test Cases. ICTAC 2012: 90-104 - [c19]Adrián Riesco, Juan Rodríguez-Hortalá:
S-Narrowing for Constructor Systems. ICTAC 2012: 136-150 - [c18]Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae:
A Generic Program Slicing Technique Based on Language Definitions. WADT 2012: 248-264 - [c17]Adrián Riesco:
Using Narrowing to Test Maude Specifications. WRLA 2012: 201-220 - [i1]Adrián Riesco, Juan Rodríguez-Hortalá:
Singular and Plural Functions for Functional Logic Programming. CoRR abs/1203.2431 (2012) - 2011
- [c16]Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89 - [c15]Isabel Pita, Adrián Riesco:
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. PROLE 2011: 61-71 - 2010
- [c14]Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder:
Integrating Maude into Hets. AMAST 2010: 60-75 - [c13]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
A Complete Declarative Debugger for Maude. AMAST 2010: 216-225 - [c12]Adrián Riesco, Juan Rodríguez-Hortalá:
Programming with singular and plural non-deterministic functions. PEPM 2010: 83-92 - [c11]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Declarative Debugging of Missing Answers for Maude. RTA 2010: 277-294 - [c10]Adrián Riesco:
Test-Case Generation for Maude Functional Modules. WADT 2010: 287-301 - [c9]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet:
Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2000 – 2009
- 2009
- [c8]Adrián Riesco, Juan Rodríguez-Hortalá:
A Natural Implementation of Plural Semantics in Maude. LDTA 2009: 165-175 - 2008
- [c7]Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero:
A Declarative Debugger for Maude. AMAST 2008: 116-121 - [c6]Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193 - [c5]Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet:
Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325 - [c4]Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo:
A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81 - [c3]Adrián Riesco, Alberto Verdejo:
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA 2008: 249-266 - 2007
- [c2]Adrián Riesco, Alberto Verdejo:
Distributed Applications Implemented in Maude with Parameterized Skeletons. FMOODS 2007: 91-106 - [p1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo:
Mobile Maude. All About Maude 2007: 485-522 - 2006
- [j1]Manuel Clavel, Miguel Palomino, Adrián Riesco:
Introducing the ITP Tool: a Tutorial. J. Univers. Comput. Sci. 12(11): 1618-1650 (2006) - [c1]Francisco Durán, Adrián Riesco, Alberto Verdejo:
A Distributed Implementation of Mobile Maude. WRLA 2006: 113-131
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint