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