Follow
Manuel Roldán
Manuel Roldán
Profesor de la Universidad de Málaga
Verified email at lcc.uma.es
Title
Cited by
Cited by
Year
Dynamic validation of OCL constraints with mOdCL
M Roldán, F Durán
Electronic Communications of the EASST 44, 2011
332011
Integrating Biological Data Sources and Data Analysis Tools through Mediators (available online only)
JF Aldana, M Roldan, I Navas, AJ Perez, O Trelles
Proceedings of the 2004 ACM symposium on Applied computing, 127, 2004
182004
The third rewrite engines competition
F Durán, M Roldán, JC Bach, E Balland, M Van Den Brand, JR Cordy, ...
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010 …, 2010
142010
Tracing properties of UML and OCL models with Maude
F Durán, M Gogolla, M Roldán
arXiv preprint arXiv:1107.0068, 2011
132011
Invariant-driven specifications in Maude
M Roldán, F Durán, A Vallecillo
Science of Computer Programming 74 (10), 812-835, 2009
132009
Bio‐Broker: a tool for integration of biological data sources and data analysis tools
JF Aldana, M Roldán‐Castro, I Navas, MM Roldán‐García, ...
Software: Practice and Experience 36 (14), 1585-1604, 2006
132006
Using Maude to write and execute ODP information viewpoint specifications
F Durán, M Roldán, A Vallecillo
Computer Standards & Interfaces 27 (6), 597-620, 2005
112005
Invariant-driven strategies for Maude
F Durán, M Roldán, A Vallecillo
Electronic Notes in Theoretical Computer Science 124 (2), 17-28, 2005
112005
Representing UML models in mOdCL
M Roldán, F Durán
Manuscript. Available at http://maude. lcc. uma. es/mOdCL, 2008
102008
The second rewrite engines competition
F Durán, M Roldán, E Balland, M van den Brand, S Eker, KT Kalleberg, ...
Electronic Notes in Theoretical Computer Science 238 (3), 281-291, 2009
92009
Dynamic validation of Maude prototypes of UML models
F Durán, M Roldán, A Moreno, JM Álvarez
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014
32014
Evaluation of OCL expressions in Maude. The evaluator mOdCL.
F Durán, M Roldán
Technical Report Paper XXX, University of Málaga, 2012. Available at http …, 2012
22012
Validating ocl constraints on maude prototypes of uml models
F Durán, M Roldán
12012
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)
J Cabot, T Clark, M Clavel, M Gogolla
Electronic Communications of the EASST 36, 2010
12010
Checking mOdCL with a benchmark for OCL
F Durán, M Roldán
2012
The Second Rewrite Engines Competition
E Balland, PE Moreau, M van den Brand, E Visser, F Duran, M Roldan, ...
WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, 2008
2008
Implementation and evaluation of OR paraliei Prolog models on distributed systems
V BENJUMEA, M ROLDAN, JM TROYA
Journal of Programming Languages 2 (2), 109-124, 1994
1994
A Prolog interpreter for OR parallelism evaluation on distributed systems
V Benjumea, M Roldan, JM Troya
1993 Euromicro Workshop on Parallel and Distributed Processing, 105-112, 1993
1993
External links
AM Sloane, LCL Kats, E Visser, M Völter, S Benz, C Dietrich, ...
The system can't perform the operation now. Try again later.
Articles 1–19