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
Maude2Lean: Theorem proving for Maude specifications using Lean. J. Log. Algebraic Methods Program. 142: 101005 (2025) - 2024
- [j21]Dang Duy Bui
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
Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebraic Methods Program. 132: 100860 (2023) - [j19]Canh Minh Do
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
Hardware Trojan detection via rewriting logic. J. Log. Algebraic Methods Program. 127: 100762 (2022) - [j17]Adrián Riesco
An integrated tool set for verifying CafeOBJ specifications. J. Syst. Softw. 189: 111302 (2022) - [c47]Dang Duy Bui, Duong Dinh Tran
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. DMSVIVA 2022: 45-54 - [c46]Rubén Rubio
Theorem Proving for Maude Specifications Using Lean. ICFEM 2022: 263-280 - [c45]Enrique Martin-Martin
Improving Database Learning with an Automatic Judge. SEKE 2022: 499-502 - [c44]Canh Minh Do
Parallel Maude-NPA for Cryptographic Protocol Analysis. WRLA@ETAPS 2022: 253-273 - [e1]Adrián Riesco
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
A unified framework for declarative debugging and testing. Inf. Softw. Technol. 129: 106427 (2021) - 2020
- [c43]Adrián Riesco
CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications. ICTAC 2020: 64-82 - [c42]Adrián Riesco
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
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
FlinkCheck: Property-Based Testing for Apache Flink. IEEE Access 7: 150369-150382 (2019) - [j13]Jose Luis Brita-Paja, Carlos Gregorio-Rodríguez
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
A core Erlang semantics for declarative debugging. J. Log. Algebraic Methods Program. 107: 1-37 (2019) - [j11]Adrián Riesco
Property-Based Testing for Spark Streaming. Theory Pract. Log. Program. 19(4): 574-602 (2019) - [c41]Ha Thi Thu Doan
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. SSS 2019: 111-126 - 2018
- [j10]Enrique Martin-Martin
A Language-Independent Technique for Assessing Tweet Success: An Experience Report. IEEE Access 6: 62384-62395 (2018) - [j9]Rafael Caballero
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
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â
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
A Survey of Algorithmic Debugging. ACM Comput. Surv. 50(4): 60:1-60:35 (2017) - [j5]Adrián Riesco
A Maude environment for CafeOBJ. Formal Aspects Comput. 29(2): 309-334 (2017) - [c36]Adrián Riesco
Slicing from Formal Semantics: Chisel. FASE 2017: 374-378 - [c35]Adrián Riesco
A Formal Proof Generator from Semi-formal Proof Documents. ICTAC 2017: 3-12 - [c34]Beatriz Santos-Buitrago, Adrián Riesco
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
CafeInMaude: A CafeOBJ Interpreter in Maude. FASE 2016: 377-380 - [c32]Adrián Riesco
Temporal Random Testing for Spark Streaming. IFM 2016: 393-408 - [c31]Gustavo Santos-García, Carolyn L. Talcott, Adrián Riesco
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach. PACBB 2016: 173-181 - [c30]Salvador Tamarit
Debugging Meets Testing in Erlang. TAP@STAF 2016: 171-180 - 2015
- [j4]Rafael Caballero
A zoom-declarative debugger for sequential Erlang programs. Sci. Comput. Program. 110: 104-118 (2015) - [c29]Isabel Pita
Specifying and Analyzing the Kademlia Protocol in Maude. ICTAC 2015: 524-541 - [c28]Adrián Riesco
Memory Policy Analysis for Semantics Specifications in Maude. LOPSTR 2015: 293-310 - 2014
- [j3]Adrián Riesco
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
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
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. PROLE 2014: 87-99 - 2013
- [c22]Rafael Caballero
A Declarative Debugger for Sequential Erlang Programs. TAP@STAF 2013: 96-114 - [c21]David Insa, Josep Silva
Speeding Up Algorithmic Debugging Using Balanced Execution Trees. TAP@STAF 2013: 133-151 - 2012
- [j2]Adrián Riesco
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
S-Narrowing for Constructor Systems. ICTAC 2012: 136-150 - [c18]Adrián Riesco
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
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees. LOPSTR 2011: 73-89 - [c15]Isabel Pita
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. PROLE 2011: 61-71 - 2010
- [c14]Mihai Codescu
Integrating Maude into Hets. AMAST 2010: 60-75 - [c13]Adrián Riesco
A Complete Declarative Debugger for Maude. AMAST 2010: 216-225 - [c12]Adrián Riesco
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
Enhancing the Debugging of Maude Specifications. WRLA 2010: 226-242
2000 – 2009
- 2009
- [c8]Adrián Riesco
A Natural Implementation of Plural Semantics in Maude. LDTA 2009: 165-175 - 2008
- [c7]Adrián Riesco
A Declarative Debugger for Maude. AMAST 2008: 116-121 - [c6]Rafael Caballero
Declarative Debugging of Membership Equational Logic Specifications. Concurrency, Graphs and Models 2008: 174-193 - [c5]Adrián Riesco
Declarative Debugging of Rewriting Logic Specifications. WADT 2008: 308-325 - [c4]Rafael Caballero
A Declarative Debugger for Maude Functional Modules. WRLA 2008: 63-81 - [c3]Adrián Riesco
Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol. WRLA 2008: 249-266 - 2007
- [c2]Adrián Riesco
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
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
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-12-10 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: