Adrián Riesco

Available identifiers

zbMath Open riesco.adrianDBLP35/4359WikidataQ58254176 ScholiaQ58254176MaRDI QIDQ520241

List of research outcomes

Publication	Date of Publication	Type
Maude2Lean: theorem proving for Maude specifications using Lean	2024-11-26	Paper
An environment for specifying and model checking mobile ring robot algorithms	2024-04-19	Paper
Verification of the ROS NavFn planner using executable specification languages	2023-03-20	Paper
Hardware Trojan detection via rewriting logic	2022-05-25	Paper
Property-Based Testing for Spark Streaming	2021-09-03	Paper
CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications	2021-07-08	Paper
A core Erlang semantics for declarative debugging	2019-10-17	Paper
Declarative debugging of concurrent Erlang programs	2018-11-01	Paper
Model checking parameterized by the semantics in Maude	2018-07-09	Paper
A formal proof generator from semi-formal proof documents	2017-11-03	Paper
A Maude environment for CafeOBJ	2017-04-03	Paper
Specifying and Analyzing the Kademlia Protocol in Maude	2016-02-25	Paper
Memory Policy Analysis for Semantics Specifications in Maude	2016-02-05	Paper
A Declarative Debugger for Maude Functional Modules	2015-03-19	Paper
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging	2014-07-24	Paper
Singular and plural functions for functional logic programming	2014-04-16	Paper
A Generic Program Slicing Technique Based on Language Definitions	2013-09-13	Paper
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees	2013-03-13	Paper
Declarative debugging of rewriting logic specifications	2013-01-16	Paper
S-Narrowing for Constructor Systems	2012-09-21	Paper
Declarative Debugging of Missing Answers for Maude.	2012-04-25	Paper
Integrating Maude into Hets	2011-01-21	Paper
A Complete Declarative Debugger for Maude	2011-01-21	Paper
Enhancing the Debugging of Maude Specifications	2010-10-12	Paper
Declarative Debugging of Rewriting Logic Specifications	2009-10-22	Paper
Declarative Debugging of Membership Equational Logic Specifications	2008-06-19	Paper

Research outcomes over time

This page was built for person: Adrián Riesco