Manuel Roldán

	2011
7		Francisco Durán, Martin Gogolla, Manuel Roldán: Tracing Properties of UML and OCL Models with Maude AMMSE 2011: 81-97
6		Manuel Roldán, Francisco Durán: Dynamic Validation of OCL Constraints with mOdCL. ECEASST 44: (2011)
	2010
5		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: The Third Rewrite Engines Competition. WRLA 2010: 243-261
	2009
4		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. Electr. Notes Theor. Comput. Sci. 238(3): 281-291 (2009)
3		Manuel Roldán, Francisco Durán, Antonio Vallecillo: Invariant-driven specifications in Maude. Sci. Comput. Program. 74(10): 812-835 (2009)
	2005
2		Francisco Durán, Manuel Roldán, Antonio Vallecillo: Using Maude to write and execute ODP information viewpoint specifications. Computer Standards & Interfaces 27(6): 597-620 (2005)
1		Francisco Durán, Manuel Roldán, Antonio Vallecillo: Invariant-Driven Strategies for Maude. Electr. Notes Theor. Comput. Sci. 124(2): 17-28 (2005)

Coauthor Index

1	Jean-Christophe Bach	[5]
2	Emilie Balland	[4] [5]
3	Mark van den Brand (Mark G. J. van den Brand, M. G. J. van den Brand)	[4] [5]
4	James R. Cordy	[5]
5	Francisco Durán	[1] [2] [3] [4] [5] [6] [7]
6	Steven Eker	[4] [5]
7	Luc Engelen	[5]
8	Martin Gogolla	[7]
9	Maartje de Jonge	[5]
10	Karl Trygve Kalleberg	[4] [5]
11	Lennart C. L. Kats	[4]
12	Pierre-Etienne Moreau	[4]
13	Ruslan Schevchenko	[4]
14	Antonio Vallecillo (Antonio Vallecillo Moreno)	[1] [2] [3]
15	Eelco Visser	[4]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page