Esther Guerra

	2012
50		Esther Guerra: Specification-Driven Test Generation for Model Transformations. ICMT 2012: 40-55
49		Esther Guerra, Juan de Lara: An Algebraic Semantics for QVT-Relations Check-only Transformations. Fundam. Inform. 114(1): 73-101 (2012)
	2011
48		Jaime Moreno-Llorena, Iván Dario Claros G., Rafael Martín, Ruth Cobos Pérez, Juan de Lara, Esther Guerra: Towards a Functional Characterization of Collaborative Systems. CDVE 2011: 182-185
47		Ruth Cobos, Rafael Martín, Jaime Moreno-Llorena, Esther Guerra, Juan de Lara: REUSES: Questionnaire-driven design for the automatic generation of web-based collaborative applications. CollaborateCom 2011: 9-18
46		Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: Generic Model Transformations: Write Once, Reuse Everywhere. ICMT 2011: 62-77
	2010
45		Esther Guerra, Juan de Lara, Fernando Orejas: Controlling Reuse in Pattern-Based Model-to-Model Transformations. Graph Transformations and Model-Driven Engineering 2010: 175-201
44		Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281
43		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT 2010: 45-60
42		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120
41		Juan de Lara, Esther Guerra: Generic Meta-modelling with Concepts, Templates and Mixin Layers. MoDELS (1) 2010: 16-30
40		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391
39		Juan de Lara, Esther Guerra: Deep Meta-modelling with MetaDepth. TOOLS (48) 2010: 1-20
38		Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126
37		Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara: Lightweight Executability Analysis of Graph Transformation Rules. VL/HCC 2010: 127-130
36		Paolo Bottoni, Esther Guerra, Juan de Lara: Towards a Formal Notion of Interaction Pattern. VL/HCC 2010: 235-239
35		Paolo Bottoni, Esther Guerra, Juan de Lara: An Algebraic Formalization of the GoF Design Patterns CoRR abs/1003.3338: (2010)
34		Paolo Bottoni, Esther Guerra, Juan de Lara: Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09. ECEASST 25: (2010)
33		Paolo Bottoni, Esther Guerra, Juan de Lara: Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10. ECEASST 31: (2010)
32		Paolo Bottoni, Esther Guerra, Juan de Lara: A language-independent and formal approach to pattern-based modelling with support for composition and analysis. Information & Software Technology 52(8): 821-844 (2010)
31		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software 83(2): 283-302 (2010)
30		Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: A UML/OCL framework for the analysis of graph transformation rules. Software and System Modeling 9(3): 335-357 (2010)
	2009
29		Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397
28		Paolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293
27		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
26		Esther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99
25		Juan de Lara, Esther Guerra: Formal Support for QVT-Relations with Coloured Petri Nets. MoDELS 2009: 256-270
24		Esther Guerra, Juan de Lara, Alessio Malizia, Paloma Díaz: Supporting user-oriented analysis for multi-view domain-specific visual languages. Information & Software Technology 51(4): 769-784 (2009)
23		Paloma Díaz, Esther Guerra, Telmo Zarraonandia, Ignacio Aedo, Carmen Luisa Padrón: A Meta-modeling based Approach for the Multi-Disciplinary Design of Web Educational Systems. J. UCS 15(7): 1440-1454 (2009)
	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] [23] [27]
2	Francisco Pérez Andrés	[15]
3	Artur Boronat	[44]
4	Paolo Bottoni	[9] [12] [16] [28] [32] [33] [34] [35] [36]
5	Jordi Cabot	[20] [21] [30] [31] [37] [43]
6	Robert Clarisó	[20] [21] [30] [31] [43]
7	Jesús Sánchez Cuadrado	[46]
8	Paloma Díaz (Paloma Díaz-Pérez)	[4] [5] [14] [17] [18] [23] [24] [27]
9	Hartmut Ehrig	[29]
10	Iván Dario Claros G.	[48]
11	Cristina Gómez	[37]
12	Reiko Heckel	[44]
13	Dimitrios S. Kolovos	[38] [40] [42]
14	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] [24] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49]
15	Alessio Malizia	[11] [24]
16	Rafael Martín	[47] [48]
17	Jaime Moreno-Llorena	[47] [48]
18	Alexandre Muzy	[13]
19	Fernando Orejas	[26] [29] [45]
20	Carmen Luisa Padrón	[23]
21	Richard F. Paige	[38] [40] [42]
22	Ruth Cobos Pérez (Ruth Cobos)	[47] [48]
23	Elena Planas	[37]
24	José Eduardo Rivera	[19]
25	Osmar Marchi dos Santos	[42]
26	Daniel Sanz	[14]
27	Paolo Torrini	[44]
28	Antonio Vallecillo (Antonio Vallecillo Moreno)	[19]
29	Hans Vangheluwe	[2]
30	Mario Rafael Ruiz Vargas	[27]
31	Telmo Zarraonandia	[23] [27]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page