Guerra Sanchez, Esther esther.guerra@uam.es

Publications

Verification and validation of declarative model-to-model transformations through invariants

  • Cabot, Jordi
  • Clariso, Robert
  • Guerra, Esther
  • de Lara, Juan;

Journal Of Systems And Software (p. 283-302) - 1/2/2010

10.1016/j.jss.2009.08.012 View at source

  • ISSN 01641212

Visual Specification of Measurements and Redesigns for Domain Specific Visual Languages

  • Guerra Sanchez, Esther
  • De Lara, Juan
  • Diaz Perez, Maria Paloma

JOURNAL OF VISUAL LANGUAGES AND COMPUTING (p. 399-425) - 1/6/2008

https://doi.org/10.1016/j.jvlc.2007.09.002 View at source

  • EISSN 1095-8533
  • ISSN 1045926X

Visual specification of metrics for domain specific visual languages

  • Guerra, Esther
  • Diaz, Paloma
  • de Lara, Juan;

Electronic Notes In Theoretical Computer Science (p. 99-110) - 28/4/2008

10.1016/j.entcs.2008.04.033 View at source

  • ISSN 15710661

When and how to use multilevel modelling

  • Juan De Lara
  • Esther Guerra
  • Jesús Sánchez Cuadrado

Acm Transactions On Software Engineering And Methodology (p. 1-46) - 1/12/2014

10.1145/2685615 View at source

  • ISSN 1049331X

Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises

  • Gómez-Abajo, P
  • Guerra, E
  • de Lara, J

Science Of Computer Programming - 1/8/2023

10.1016/j.scico.2023.103000 View at source

  • ISSN 01676423

Wodel-Test: a model-based framework for language-independent mutation testing

  • Gomez-Abajo, Pablo
  • Guerra, Esther
  • de Lara, Juan
  • Merayo, Mercedes G.;

Software and Systems Modeling (p. 767-793) - 1/6/2021

10.1007/s10270-020-00827-0 View at source

  • ISSN 16191366

This researcher has no books.

Event-driven grammars: Towards the integration of meta-modelling and graph transformation

  • Guerra, E
  • de Lara, J;

Lecture Notes In Computer Science (p. 54-69) - 1/1/2004

10.1007/978-3-540-30203-2_6 View at source

  • ISBN 9783540232070
  • ISSN 03029743

Integrating measures and redesigns in the definition of domain specific visual languages

  • Guerra E
  • de Lara J
  • Díaz P

Model-Driven Software Development: Integrating Quality Assurance (p. 119-146) - 1/12/2008

10.4018/978-1-60566-006-6.ch006 View at source

  • ISBN 978-1-60566-006-6

Meta-Model Validation and Verification with MetaBest

  • López-Fernández J
  • Guerra E
  • De Lara J

Ase´14. Proceedings Of The 29th Acm/Ieee International Conference On Automated Software Engineering / Coord. Por Ivica Crnkovic (p. 831-834) - 1/1/2014

10.1145/2642937.2648617 View at source

  • ISBN 978-1-4503-3013-8

Meta-Modelling and graph transformation for the definition of multi-view visual languages

  • Guerra E
  • de Lara J

Visual Languages For Interactive Computing: Definitions And Formalizations (p. 74-101) - 1/12/2007

10.4018/978-1-59904-534-4.ch004 View at source

  • ISBN 978-1-59904-534-4

Meta-modelling, graph transformation and model checking for the analysis of hybrid systems

  • de Lara, J
  • Guerra, E
  • Vangheluwe, H;

Lecture Notes In Computer Science (p. 292-298) - 1/1/2004

10.1007/978-3-540-25959-6_21 View at source

  • ISBN 9783540221203
  • ISSN 03029743

Model driven formal development of Digital Libraries

  • Guerra, Esther
  • de Lara, Juan
  • Malizia, Alessio;

Lecture Notes In Business Information Processing (p. 169-183) - 1/1/2008

10.1007/978-3-540-68262-2_13 View at source

  • ISBN 9783540682578
  • ISSN 18651348

Model view management with triple graph transformation systems

  • Guerra, Esther
  • de Lara, Juan;

Lecture Notes In Computer Science (p. 351-366) - 1/1/2006

10.1007/11841883_25 View at source

  • ISBN 9783540388722
  • ISSN 03029743

Model-based development: Meta-modelling, transformation and verification

  • de Lara J
  • Guerra E
  • Vangheluwe H

Management Of The Object Oriented Development Process (p. 289-312) - 1/1/2006

10.4018/978-1-59140-604-4.ch012 View at source

A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications

  • Rossini, Alessandro
  • de Lara, Juan
  • Guerra, Esther
  • Nikolov, Nikolay;

Lecture Notes In Computer Science (p. 18-32) - 1/1/2015

10.1007/978-3-319-21151-0_2 View at source

  • ISBN 9783319211503
  • ISSN 03029743

A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications

  • De Lara J
  • Guerra E

Acm Transactions On Software Engineering And Methodology (p. 1136-1136) - 1/1/2018

10.1145/3180155.3182545 View at source

  • ISSN 1049331X

A Transformation-Driven Approach to the Verification of Security Policies in Web Designs

  • Guerra Sanchez, Esther
  • Sanz, Daniel
  • Diaz, Paloma
  • Aedo, Ignacio

Lecture Notes In Computer Science (p. 269-284) - 1/1/2007

10.1007/978-3-540-73597-7_22 View at source

  • ISBN 9783540735960
  • ISSN 03029743

A UML/OCL framework for the analysis of graph transformation rules

  • Cabot, Jordi
  • Clariso, Robert
  • Guerra, Esther
  • de Lara, Juan;

Software And Systems Modeling (p. 335-357) - 1/1/2010

10.1007/s10270-009-0129-0 View at source

  • ISSN 16191366

A Visual Specification Language for Model-to-Model Transformations

  • Guerra E
  • De Lara J
  • Kolovos D
  • Paige R

Visual Languages And Human-Centric Computing (Vl/Hcc), 2010 Ieee Symposium On (p. 119-126) - 1/12/2010

10.1109/vlhcc.2010.25 View at source

  • ISBN 9781424484850

A feature-based comparison of melanee and metaDepth

  • Gerbig R
  • Atkinson C
  • De Lara J
  • Guerra E

Ceur Workshop Proceedings (p. 25-34) - 1/1/2016

  • ISSN 16130073
  • iMarina

A formal approach to the generation of visual language environmentssupporting multiple views

  • Guerra, E
  • Díaz, P
  • de Lara, J;

2005 Ieee Symposium On Visual Language And Human-Centric Computing, Proceedings (p. 284-286) - 1/12/2005

10.1109/vlhcc.2005.6 View at source

A framework for the multi-disciplinary design of Web-based educational systems

  • Zarraonandia, Telmo
  • Diaz, Paloma
  • Guerra, Esther
  • Ruiz Vargas, Mario Rafael
  • Aedo, Ignacio;

(p. 45-49) - 18/11/2009

10.1109/icalt.2009.121

  • ISBN 978-0-7695-3711-5
  • iMarina

A framework for the verification of UML models. Examples using Petri nets

  • Guerra Sanchez, Esther
  • Lara Jaramillo, Juan DE

VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003) (p. 325-334) - 12/11/2003

  • iMarina

A graph transformation-based semantics for deep metamodelling

  • Rossini A
  • De Lara J
  • Guerra E
  • Rutle A
  • Lamo Y

Lecture Notes In Computer Science (p. 19-34) - 30/10/2012

10.1007/978-3-642-34176-2_4 View at source

  • ISBN 9783642341755
  • ISSN 03029743

This researcher has no working papers.

This researcher has no technical reports.

Ampliación del sistema integrado de gestión de aportación de medios en emergencias (continuación)

  • Guerra Sanchez, Esther (Investigador principal (IP))

Period: 30-04-2008 - 31-12-2008

  • iMarina

UC3M-INF-05-009 - Ariadne tool-RBAC: Integración de políticas RBAC en el diseño de sistemás web

  • Diaz Perez, Maria Paloma
  • Fernandez Llamas, Camino
  • Aedo Cuevas, Ignacio
  • Dodero Beardo, Juan Manuel
  • Montero Moreno, Susana
  • Sanz Garcia, Daniel
  • Zarraonandia Ayo, Telmo Agustin
  • Guerra Sanchez, Esther
  • Montells Higuero, Laura
  • Padron Napoles, Carmen Luisa
  • Lara Jaramillo, Juan De
... View more Collapse

Period: 01-01-2006 - 31-12-2006

Type of funding: Regional

Funding entity: COMUNIDAD DE MADRID-UC3M

Bender: un nuevo concepto de tienda de aplicaciones para la industria móvil

  • Sanchez Cuadrado, Jesus (Investigador/a)
  • Guerra Sanchez, Esther (Investigador/a)
  • Lara Jaramillo, Juan DE (Investigador principal (IP))

Period: 01-03-2011 - 01-12-2012

  • iMarina

TIN2009-09687 - Bulding citizens emergency pretaration and respose capacity through web 2.0 tools

  • Diaz Perez, Maria Paloma
  • Guerra Sanchez, Esther
  • Gonzalez Diaz, David
  • Malizia, Alessio
  • Onorati, Teresa
  • Acuña Ruano, Pablo Alejandro
  • Ruiz Vargas, Mario Rafael
  • Giaccardi, Elisa
  • Levialdi Ghiron, Stefano
  • Alvarado Orellana, Diego
... View more Collapse

Period: 01-01-2010 - 31-12-2013

Type of funding: National

Funding entity: MINISTERIO DE CIENCIA E INNOVACION

DSDM: red de desarrollo de software dirigido por modelos

  • Guerra Sanchez, Esther (Investigador principal (IP))

Period: 01-01-2008 - 01-11-2010

  • iMarina

DSDM: red de desarrollo de software dirigido por modelos

  • Guerra Sanchez, Esther (Investigador principal (IP))

Period: 01-07-2006 - 30-06-2008

  • iMarina

TIN2006-09678 - Desarrollo basado en modelos de sistemas Web de tele-educación

  • Diaz Perez, Maria Paloma
  • Fernandez Llamas, Camino
  • Dodero Beardo, Juan Manuel
  • Estebanez Rodriguez, Pablo
  • Guerra Sanchez, Esther
  • Hernando Corrochano, Jesus
  • Montells Higuero, Laura
  • Rubio Cid, Francisco
  • Sainz Salces, Fausto Javier
  • Torres Jimenez, Jorge
  • Gomez Bello, Patricia
  • Malizia, Alessio
... View more Collapse

Period: 01-10-2006 - 30-09-2009

Funding entity: MINISTERIO DE EDUCACION Y CIENCIA DIR. GRAL. INVESTIGACION

CCG06-UC3M/TIC-0787 - Desarrollo basado en modelos de sistemas de información en web para la gestión de emergencias

  • Diaz Perez, Maria Paloma
  • Fernandez Llamas, Camino
  • Aedo Cuevas, Ignacio
  • Dodero Beardo, Juan Manuel
  • Montero Moreno, Susana
  • Sanz Garcia, Daniel
  • Diez Cebollero, David
  • Zarraonandia Ayo, Telmo Agustin
  • Guerra Sanchez, Esther
  • Montells Higuero, Laura
  • Sainz Salces, Fausto Javier
  • Padron Napoles, Carmen Luisa
  • Gomez Bello, Patricia
  • Astorga Paliza, Jose Francisco
... View more Collapse

Period: 01-01-2007 - 29-02-2008

Type of funding: Regional

Funding entity: COMUNIDAD DE MADRID-UC3M

ESA6 : estadísticas del sistema de salvamento y extinción de incendios (continuación)

  • Guerra Sanchez, Esther (Investigador principal (IP))

Period: 01-01-2007 - 31-12-2007

  • iMarina

ESA6: Estadísticas de Actuaciones de los Servicios de Extinción de Incendios y Salvamento.

  • Aedo Cuevas, Ignacio
  • Fernandez Llamas, Camino
  • Dodero Beardo, Juan Manuel
  • Diaz Perez, Maria Paloma
  • Montero Moreno, Susana
  • Sanz Garcia, Daniel
  • Diez Cebollero, David
  • Zarraonandia Ayo, Telmo Agustin
  • Guerra Sanchez, Esther
  • Montells Higuero, Laura
  • Sainz Salces, Fausto Javier
  • Padron Napoles, Carmen Luisa
... View more Collapse

Period: 01-01-2006 - 31-12-2006

Funding entity: MINISTERIO DEL INTERIOR

An agile process for the example-driven development of modelling languages and environments

  • Guerra Sanchez, Esther (Autor o Coautor)
  • Lara Jaramillo, Juan DE (Director) Doctorando: López Fernández, Jesús Juan

26/6/2017

  • iMarina

Engineering scalable modelling languages

  • Guerra, Esther (Director)
  • Lara Jaramillo, Juan DE (Director) Doctorando: Garmendia Jorge, Antonio

8/11/2019

  • iMarina

Especificación, análisis y generación de entornos para lenguajes visuales de dominio específico

  • Acuña Castillo, Silvia Teresita (Lectura)
  • Lara Jaramillo, Juan DE (Director) Doctorando: GUERRA SANCHEZ, ESTHER

20/12/2007

  • iMarina

Un lenguaje de dominio específico para mutación de modelos

  • Esther Guerra Sánchez (Director)
  • García Merayo, Mercedes (Director) Doctorando: Gómez Abajo, Pablo

14/7/2020

  • iMarina

This researcher has no patents or software licenses.

Last data update: 4/8/24 11:04 PM