Esther Guerra

	2009
27		Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
26		Paolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293
25		Telmo Zarraonandia, Paloma Díaz, Esther Guerra, Mario Rafael Ruiz Vargas, Ignacio Aedo: A Framework for the Multi-disciplinary Design of Web-Based Educational Systems. ICALT 2009: 45-49
24		Esther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
23		Juan de Lara, Esther Guerra: Formal Support for QVT-Relations with Coloured Petri Nets. MoDELS 2009: 256-270
	2008
22		Juan de Lara, Esther Guerra: Pattern-Based Model-to-Model Transformation. ICGT 2008: 426-441
21		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244
20		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS 2008: 37-52
19		José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo: Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. SLE 2008: 54-73
18		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)
17		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)
16		Paolo Bottoni, Esther Guerra, Juan de Lara: Enforced generative patterns for the specification of the syntax and semantics of visual languages. J. Vis. Lang. Comput. 19(4): 429-455 (2008)
	2007
15		Francisco Pérez Andrés, Juan de Lara, Esther Guerra: Domain Specific Languages with Graphical and Textual Views. AGTIVE 2007: 82-97
14		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
13		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
12		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
11		Esther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183
10		Esther Guerra, Juan de Lara: Adding Recursion to Graph Transformation. ECEASST 6: (2007)
9		Juan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6: (2007)
8		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
7		Esther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366
	2005
6		Juan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 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		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		Esther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69
	2003
2		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

Coauthor Index

1	Ignacio Aedo	[14] [25]
2	Francisco Pérez Andrés	[15]
3	Paolo Bottoni	[9] [12] [16] [26]
4	Jordi Cabot	[20] [21]
5	Robert Clarisó	[20] [21]
6	Paloma Díaz (Paloma Díaz-Pérez)	[4] [5] [14] [17] [18] [25]
7	Hartmut Ehrig	[27]
8	Juan de Lara (Juan de Lara Jaramillo)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27]
9	Alessio Malizia	[11]
10	Alexandre Muzy	[13]
11	Fernando Orejas	[24] [27]
12	José Eduardo Rivera	[19]
13	Daniel Sanz	[14]
14	Antonio Vallecillo	[19]
15	Hans Vangheluwe	[2]
16	Mario Rafael Ruiz Vargas	[25]
17	Telmo Zarraonandia	[25]