Complutense University Library

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 15.

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael A Declarative Debugger for Maude Specifications: User Guide. [Working Paper or Technical Report] (Submitted)

Verdejo López, José Alberto (2002) A tool for Full LOTOS in Maude. Technical report, 123-02 . pp. 1-51.

Durán, Francisco and Verdejo López, José Alberto (2002) Cardelli’s Challenge in Mobile Maude: A Conference Reviewing System. Technical report, 124-02 . pp. 1-31.

Caballero, Rafael and Martí Oliet, Narciso and Riesco Rodríguez, Adrián and Verdejo López, José Alberto Declarative Debugging of Maude Functional Modules. [Working Paper or Technical Report] (Submitted)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Caballero, Rafael and Martí Oliet, Narciso Declarative Debugging of Maude Modules. [Working Paper or Technical Report]

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso Declarative Debugging of Missing Answers in Rewriting Logic. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2010) Declarative debugging of rewriting logic specifications. [Working Paper or Technical Report] (Unpublished)

Verdejo López, José Alberto and Martí Oliet, Narciso (2003) Executable Structural Operational Semantics in Maude. Technical report, 134-03 . pp. 1-73.

Verdejo López, José Alberto and Martí Oliet, Narciso (2000) Executing and verifying CCS in Maude. Technical report, 99-00 . pp. 1-47.

Verdejo López, José Alberto (2002) LOTOS Symbolic Semantics in Maude. Technical report, 122-02 . pp. 1-43.

Verdejo López, José Alberto (2004) Maude como marco semántico ejecutable. Tesis PhD.

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) Parameterized skeletons in Maude. [Working Paper or Technical Report] (Unpublished)

Riesco Rodríguez, Adrián and Verdejo López, José Alberto (2007) The EIGRP Protocol in Maude. Informe Técnico (3/07). (Unpublished)

Verdejo López, José Alberto and Pita Andreu, María Isabel and Martí Oliet, Narciso (2001) The Leader Election Protocol of IEEE 1394 in Maude. Technical report, 118.01 . pp. 1-40.

Hidalgo Herrero, Mercedes and Verdejo López, José Alberto and Ortega Mallén, Yolanda (2007) Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. Electronic Notes in Theoretical Computer Science, 174 . pp. 119-137. ISSN 15710661

This list was generated on Fri Apr 18 02:32:56 2014 CEST.