| 2007 |
|---|
| 10 | 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 |
| 9 | | 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 |
| 8 | 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 |
| 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 |
