Adrián Riesco

Available identifiers

zbMath Open riesco.adrianDBLP35/4359WikidataQ58254176 ScholiaQ58254176MaRDI QIDQ520241

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Adrián Riesco