| 2008 |
|---|
| 14 | EE | Jordi Cabot,
Robert Clarisó,
Esther Guerra,
Juan de Lara:
Analysing Graph Transformation Rules through OCL.
ICMT 2008: 229-244 |
| 13 | EE | Esther Guerra,
Paloma Díaz,
Juan de Lara:
Visual Specification of Metrics for Domain Specific Visual Languages.
Electr. Notes Theor. Comput. Sci. 211: 99-110 (2008) |
| 12 | EE | Esther Guerra,
Juan de Lara,
Paloma Díaz:
Visual specification of measurements and redesigns for domain specific visual languages.
J. Vis. Lang. Comput. 19(3): 399-425 (2008) |
| 2007 |
|---|
| 11 | EE | Esther Guerra,
Daniel Sanz,
Paloma Díaz,
Ignacio Aedo:
A Transformation-Driven Approach to the Verification of Security Policies in Web Designs.
ICWE 2007: 269-284 |
| 10 | | Alexandre Muzy,
Juan de Lara,
Esther Guerra:
Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment.
MSV 2007: 231-238 |
| 9 | EE | Paolo Bottoni,
Juan de Lara,
Esther Guerra:
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
VL/HCC 2007: 163-170 |
| 8 | EE | Esther Guerra,
Juan de Lara,
Alessio Malizia:
Model Driven Formal Development of Digital Libraries.
WEBIST (Selected Papers) 2007: 169-183 |
| 7 | EE | Esther Guerra,
Juan de Lara:
Event-driven grammars: relating abstract and concrete levels of visual languages.
Software and System Modeling 6(3): 317-347 (2007) |
| 2006 |
|---|
| 6 | EE | Esther Guerra,
Juan de Lara:
Model View Management with Triple Graph Transformation Systems.
ICGT 2006: 351-366 |
| 2005 |
|---|
| 5 | | Esther Guerra,
Paloma Díaz,
Juan de Lara:
Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques.
JISBD 2005: 67-74 |
| 4 | EE | Esther Guerra,
Paloma Díaz,
Juan de Lara:
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views.
VL/HCC 2005: 284-286 |
| 2004 |
|---|
| 3 | EE | Esther Guerra,
Juan de Lara:
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.
ICGT 2004: 54-69 |
| 2003 |
|---|
| 2 | EE | Juan de Lara,
Esther Guerra,
Hans Vangheluwe:
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
AGTIVE 2003: 292-298 |
| 1 | | Esther Guerra,
Juan de Lara:
A Framework for the Verification of UML Models. Examples Using Petri Nets.
JISBD 2003: 325-334 |
