Manuel Roldán

According to our database, Manuel Roldán authored at least 9 papers between 1993 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Dynamic Validation of Maude Prototypes of UML Models.

Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez

Proceedings of the Specification, Algebra, and Software, 2014

2011

Dynamic Validation of OCL Constraints with mOdCL.

Manuel Roldán, Francisco Durán

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Tracing Properties of UML and OCL Models with Maude

Francisco Durán, Martin Gogolla, Manuel Roldán

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

2010

The Third Rewrite Engines Competition.

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

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

Invariant-driven specifications in Maude.

Manuel Roldán, Francisco Durán, Antonio Vallecillo

Sci. Comput. Program., 2009

2008

The Second Rewrite Engines Competition.

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

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

2005

Using Maude to write and execute ODP information viewpoint specifications.

Francisco Durán, Manuel Roldán, Antonio Vallecillo

Comput. Stand. Interfaces, 2005

2004

Invariant-Driven Strategies for Maude.

Francisco Durán, Manuel Roldán, Antonio Vallecillo

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

1993

A Prolog interpreter for OR parallelism evaluation on distributed systems.

Vicente Benjumea, Manuel Roldán, José M. Troya

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993