Person: Alberto Verdejo

DBLP: Verdejo:Alberto

Contributed to:

2011

2010

2010

2012

2009

2007

2005

2002

2000

Wrote 13 papers:

LOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving

Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.

RTA-2010-RiescoVM #debugging #declarative #maude

Declarative Debugging of Missing Answers for Maude (AR, AV, NMO), pp. 277–294.

WRLA-2010-RiescoVM #debugging #maude #specification

Enhancing the Debugging of Maude Specifications (AR, AV, NMO), pp. 226–242.

WRLA-J-2010-Marti-OlietPV12 #logic #overview #topic

Rewriting logic bibliography by topic: 1990-2011 (NMO, MP, AV), pp. 782–815.

WRLA-J-2010-RiescoVMC12 #debugging #declarative #logic #specification

Declarative debugging of rewriting logic specifications (AR, AV, NMO, RC), pp. 851–897.

WRLA-2008-CaballeroMRV09 #debugging #declarative #functional #maude

A Declarative Debugger for Maude Functional Modules (RC, NMO, AR, AV), pp. 63–81.

WRLA-2008-Marti-OlietMV09 #maude #semantics

A Rewriting Semantics for Maude Strategies (NMO, JM, AV), pp. 227–247.

WRLA-2008-RiescoV09 #implementation #maude #protocol

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.

WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile

A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.

WRLA-2004-Marti-OlietMV05 #maude #towards

Towards a Strategy Language for Maude (NMO, JM, AV), pp. 417–441.

WRLA-2002-DuranV #maude #mobile

A Conference Reviewing System in Mobile Maude (FD, AV), pp. 127–143.

WRLA-2002-VerdejoM #implementation #maude

Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.

WRLA-2000-VerdejoPM #maude #protocol

The Leader Election Protocol of IEEE 1394 in Maude (AV, IP, NMO), pp. 383–404.