Juan de Lara
Juan de Lara
Professor, Computer Science Department, Universidad Autónoma de Madrid
Dirección de correo verificada de uam.es - Página principal
Título
Citado por
Citado por
Año
AToM3: A Tool for Multi-formalism and Meta-modelling
J de Lara, H Vangheluwe
FASE 2002, 2002
7162002
An introduction to multi-paradigm modelling and simulation
H Vangheluwe, J De Lara, PJ Mosterman
Proceedings of the AIS’2002 conference (AI, Simulation and Planning in High …, 2002
2772002
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
240*2005
Deep Meta-modelling with MetaDepth
J De Lara, E Guerra
International conference on modelling techniques and tools for computer …, 2010
2162010
Verification and validation of declarative model-to-model transformations through invariants
J Cabot, R Clarisó, E Guerra, J De Lara
Journal of Systems and Software 83 (2), 283-302, 2010
1902010
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
J De Lara, H Vangheluwe, M Alfonseca
Software & Systems Modeling 3 (3), 194-209, 2004
1802004
Termination criteria for model transformation
H Ehrig, K Ehrig, J De Lara, G Taentzer, D Varró, S Varró-Gyapay
International Conference on Fundamental Approaches to Software Engineering …, 2005
1742005
A research roadmap towards achieving scalability in model driven engineering
DS Kolovos, LM Rose, N Matragkas, RF Paige, E Guerra, JS Cuadrado, ...
Proceedings of the Workshop on Scalability in Model Driven Engineering, 1-10, 2013
1672013
Attributed graph transformation with node type inheritance
J de Lara, R Bardohl, H Ehrig, K Ehrig, U Prange, G Taentzer
Theoretical Computer Science 376 (3), 139-163, 2007
1392007
Multipactor prediction for on-board spacecraft RF equipment with the MEST software tool
J De Lara, F Pérez, M Alfonseca, L Galán, I Montero, E Román, ...
IEEE Transactions on Plasma Science 34 (2), 476-484, 2006
1352006
When and how to use multilevel modelling
JD Lara, E Guerra, JS Cuadrado
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-46, 2014
1282014
Using AToM3 as a Meta-CASE Tool
J De Lara, H Vangheluwe
Proceedings of the 4th International Conference on Enterprise Information …, 2002
121*2002
Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation
R Bardohl, H Ehrig, J De Lara, G Taentzer
International Conference on Fundamental Approaches to Software Engineering …, 2004
1152004
Automated verification of model transformations based on visual contracts
E Guerra, J de Lara, M Wimmer, G Kappel, A Kusel, W Retschitzegger, ...
Automated Software Engineering 20 (1), 5-46, 2013
1132013
Defining visual notations and their manipulation through meta-modelling and graph transformation
J de Lara, H Vangheluwe
Journal of Visual Languages & Computing 15 (3-4), 309-330, 2004
1132004
Engineering model transformations with transML
E Guerra, J de Lara, DS Kolovos, RF Paige, OM dos Santos
Software & Systems Modeling 12 (3), 555-577, 2013
922013
Computer aided multi-paradigm modelling to process petri-nets and statecharts
J De Lara, H Vangheluwe
International Conference on Graph Transformation, 239-253, 2002
872002
Meta-models are models too
H Vangheluwe, J De Lara
Proceedings of the Winter Simulation Conference 1, 597-605, 2002
822002
Bottom-up meta-modelling: An interactive approach
J Sánchez-Cuadrado, J De Lara, E Guerra
International Conference on Model Driven Engineering Languages and Systems, 3-19, 2012
802012
Analyzing rule-based behavioral semantics of visual modeling languages with Maude
JE Rivera, E Guerra, J de Lara, A Vallecillo
International Conference on Software Language Engineering, 54-73, 2008
802008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20