Juan de Lara
Juan de Lara
Professor, Computer Science Department, Universidad Autónoma de Madrid
Verified email at uam.es - Homepage
TitleCited byYear
AToM3: A Tool for Multi-formalism and Meta-modelling
J de Lara, H Vangheluwe
FASE 2002, 2002
6662002
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
2342002
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J Lara, L Lengyel, T Levendovszky, ...
219*2005
Deep meta-modelling with metadepth
J De Lara, E Guerra
International Conference on Modelling Techniques and Tools for Computer …, 2010
1792010
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
1702010
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
1682004
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
1592005
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, 2, 2013
1352013
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
1242007
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
1122004
Using AToM3 as a Meta-CASE Tool
J De Lara, H Vangheluwe
Proceedings of the 4th International Conference on Enterprise Information …, 2002
112*2002
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
1052006
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
1052004
When and how to use multilevel modelling
JD Lara, E Guerra, JS Cuadrado
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 12, 2014
1042014
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
982013
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
822013
Computer aided multi-paradigm modelling to process petri-nets and statecharts
J De Lara, H Vangheluwe
International Conference on Graph Transformation, 239-253, 2002
802002
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
782008
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
722012
Xml-based modeling and simulation: meta-models are models too
H Vangheluwe, J De Lara
Proceedings of the 34th conference on Winter simulation: exploring new …, 2002
692002
The system can't perform the operation now. Try again later.
Articles 1–20