Manuel Roldán

Publication Activity (10 Years)

Years Active: 1993-2014
Publications (10 Years): 0

Top Topics

Top Venues

Specification, Algebra, and Software

Publications

Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez
Dynamic Validation of Maude Prototypes of UML Models. Specification, Algebra, and Software (2014)
Manuel Roldán, Francisco Durán
Dynamic Validation of OCL Constraints with mOdCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Francisco Durán, Martin Gogolla, Manuel Roldán
Tracing Properties of UML and OCL Models with Maude AMMSE (2011)
Francisco Durán, Manuel Roldán, Jean-Christophe Bach, Emilie Balland, Mark van den Brand, James R. Cordy, Steven Eker, Luc Engelen, Maartje de Jonge, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Eelco Visser
The Third Rewrite Engines Competition. WRLA (2010)
Manuel Roldán, Francisco Durán, Antonio Vallecillo
Invariant-driven specifications in Maude. Sci. Comput. Program. 74 (10) (2009)
Francisco Durán, Manuel Roldán, Emilie Balland, Mark van den Brand, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Pierre-Etienne Moreau, Ruslan Schevchenko, Eelco Visser
The Second Rewrite Engines Competition. WRLA (2008)
Francisco Durán, Manuel Roldán, Antonio Vallecillo
Invariant-Driven Strategies for Maude. Electron. Notes Theor. Comput. Sci. 124 (2) (2005)
Francisco Durán, Manuel Roldán, Antonio Vallecillo
Using Maude to write and execute ODP information viewpoint specifications. Comput. Stand. Interfaces 27 (6) (2005)
Vicente Benjumea, Manuel Roldán, José M. Troya
A Prolog interpreter for OR parallelism evaluation on distributed systems. PDP (1993)