Search filters

List of works by Alberto Verdejo

A Complete Declarative Debugger for Maude

scientific article published in 2011

A Declarative Debugger for Maude

A Declarative Debugger for Maude Functional Modules

scientific article published in June 2009

A Rewriting Semantics for Maude Strategies

scientific article published in June 2009

A Tutorial on Specifying Data Structures in Maude

scientific article published in July 2005

Basic completion strategies as another application of the Maude strategy language

scientific article published on 24 April 2012

Declarative Debugging of Membership Equational Logic Specifications

scientific article published in 2008

Declarative Debugging of Rewriting Logic Specifications

scientific article published in 2009

Declarative debugging of rewriting logic specifications

scientific article published in October 2012

Deduction, Strategies, and Rewriting

scientific article published in July 2007

Egalitarian State-Transition Systems

scientific article published in 2016

Enhancing the Debugging of Maude Specifications

scientific article published in 2010

Equational Abstractions in Rewriting Logic and Maude

scientific article published in 2015

Executable structural operational semantics in Maude

scientific article published in April 2006

Implementing CCS in Maude 2

scientific article published in April 2004

Metalevel transformation of strategies

scientific article published in January 2022

Model Checking TLR* Guarantee Formulas on Infinite Systems

scientific article published in 2014

Model checking strategy-controlled systems in rewriting logic

scientific article published on 8 December 2021

Parameterized Programming for Compositional System Specification

scientific article published in 2018

Parameterized Strategies Specification in Maude

scientific article published in 2019

Playing with Maude

scientific article published in March 2005

QMaude: Quantitative Specification and Verification in Rewriting Logic

scientific article published in 2023

Rewriting logic bibliography by topic: 1990–2011

scientific article published in October 2012

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

scientific article published in 2012

Simulating and model checking membrane systems using strategies in Maude

scientific article published in January 2022

Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic

scientific article published in April 2003

Strategies and simulations in a semantic framework

scientific article published in July 2007

Strategies, model checking and branching-time properties in Maude

scientific article published in November 2021

Synchronous Products of Rewrite Systems

scientific article published in 2016

The Leader Election Protocol of IEEE 1394 in Maude

scientific article published in 2000

Towards a Strategy Language for Maude

scientific article published in January 2005

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS

scientific article published in September 2005

Typed Mobile Ambients in Maude

scientific article published in January 2006