Guerra Sanchez, Esther esther.guerra@uam.es

Actividades

Property Satisfiability Analysis for Product Lines of Modelling Languages

  • Guerra, Esther
  • de Lara, Juan
  • Chechik, Marsha
  • Salay, Rick;

Ieee Transactions On Software Engineering (p. 397-416) - 1/2/2022

10.1109/tse.2020.2989506 Ver en origen

  • ISSN 00985589

Lifted structural invariant analysis of Petri net product lines

  • Gómez-Martínez E
  • Guerra E
  • de Lara J
  • Garmendia A

Journal Of Logical And Algebraic Methods In Programming - 1/1/2023

10.1016/j.jlamp.2022.100824 Ver en origen

  • ISSN 15678326

Model-Driven Engineering for Augmented Reality

  • Campos-López R
  • Guerra E
  • de Lara J
  • Colantoni A
  • Garmendia A

Journal Of Object Technology - 1/1/2023

10.5381/jot.2023.22.2.a7 Ver en origen

  • ISSN 16601769

Automated engineering of domain-specific metamorphic testing environments

  • Gómez-Abajo, P
  • Cañizares, PC
  • Núñez, A
  • Guerra, E
  • de Lara, J

Information And Software Technology - 1/5/2023

10.1016/j.infsof.2023.107164 Ver en origen

  • ISSN 09505849

Dandelion: A scalable, cloud-based graphical language workbench for industrial low-code development

  • Martínez-Lasaca F
  • Díez P
  • Guerra E
  • de Lara J

Journal Of Computer Languages - 1/8/2023

10.1016/j.cola.2023.101217 Ver en origen

  • ISSN 25901184

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 Ver en origen

  • ISSN 01676423

Este/a investigador/a no tiene libros.

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 Ver en origen

  • ISBN 9783540221203
  • ISSN 03029743

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 Ver en origen

  • ISBN 9783540232070
  • 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 Ver en origen

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 Ver en origen

  • ISBN 9783540388722
  • ISSN 03029743

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 Ver en origen

  • ISBN 978-1-59904-534-4

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 Ver en origen

  • ISBN 9783540682578
  • ISSN 18651348

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 Ver en origen

  • 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 Ver en origen

  • ISBN 978-1-4503-3013-8

Towards the uniform manipulation of visual and textual languages in AToM3

  • Lara Jaramillo, Juan de
  • Guerra Sánchez, Esther

Iii Jornadas De Programación Y Lenguajes (Prole'03): Actas, Alicante, Del 12 Al 14 De Noviembre De 2003 / Juan José Moreno Navarro (Ed. Lit.), Manuel Palomar Sanz (Ed. Lit.) (p. 45-45) - 12/11/2003

  • 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

Model transformation by graph transformation: A comparative study

  • Taentzer, Gabriele
  • Ehrig, Karsten
  • Guerra Sanchez, Esther
  • Lara Jaramillo, Juan DE
  • Lengyel, Laszlo
  • Levendovszky, Tihamér
  • Prange, Ulrike
  • Varro, Daniel
  • Varró-Gyapay, Szilvia
... Ver más Contraer

3/10/2005

  • iMarina

Formal support for model driven development with graph transformation techniques

  • De Lara J
  • Guerra E

Ceur Workshop Proceedings - 1/12/2005

  • 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 Ver en origen

Supporting the automatic generation of advanced modelling environments with graph transformation techniques

  • Guerra Sanchez, Esther
  • Diaz, Paloma
  • Lara Jaramillo, Juan DE

Proceedings of JISBD'05: X Jornadas de Ingeniería del Software y Bases de Datos (p. 67-74) - 14/9/2005

  • iMarina

A multi-view component modelling language for systems design: Checking consistency and timing constraints

  • Lara Jaramillo, Juan DE
  • Guerra Sanchez, Esther
  • Vangheluwe, Hans

Proceedings of VMSIS'05: 2005 Workshop on Visual Modeling for Software Intensive Systems (satellite event of VL/HCC'05) - 24/9/2005

  • iMarina

Metamodel-based definition of interaction with visual environments

  • Bottoni P
  • Guerra E
  • De Lara J

Ceur Workshop Proceedings - 1/12/2006

  • ISSN 16130073
  • iMarina

Generación de entornos de modelado avanzados mediante técnicas de transformación de grafos = Generation of Advanced Modelling Environments by Means of Graph Transformation Techniques

  • Guerra E
  • Díaz P
  • De Lara J
  • Guerra W
  • Silva H
  • De Almeida M
  • Fontes A
... Ver más Contraer

Ieee Latin America Transactions (p. 107-114) - 1/12/2006

10.1109/tla.2006.1642458 Ver en origen

  • ISSN 15480992

Model-driven development of Digital Libraries: Generating the user interface

  • Malizia, Alessio
  • Guerra Sanchez, Esther
  • Lara Jaramillo, Juan DE

Ceur Workshop Proceedings - 1/12/2006

  • ISSN 16130073
  • iMarina

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

DSDM: red de desarrollo de software dirigido por modelos

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

Ejecución: 01-07-2006 - 30-06-2008

  • 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
... Ver más Contraer

Ejecución: 01-01-2006 - 31-12-2006

Financiado por: MINISTERIO DEL INTERIOR

SIGAME: Sistema Integrado de Gestión de Medios en 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
... Ver más Contraer

Ejecución: 01-01-2006 - 31-12-2006

Tipo: Nacional

Financiado por: MINISTERIO DEL INTERIOR

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
... Ver más Contraer

Ejecución: 01-01-2006 - 31-12-2006

Tipo: Regional

Financiado por: COMUNIDAD DE MADRID-UC3M

Nueva Arquitectura C4 para Fronteras más Abierta y Portable

  • 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
... Ver más Contraer

Ejecución: 01-01-2006 - 31-12-2006

Financiado por: AMPER SISTEMAS, S.A.

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
... Ver más Contraer

Ejecución: 01-10-2006 - 30-09-2009

Financiado por: MINISTERIO DE EDUCACION Y CIENCIA DIR. GRAL. INVESTIGACION

SIGAME: sistema integrado para la gestión de ayudas en emergencias (continuación)

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

Ejecución: 01-01-2007 - 31-12-2007

  • iMarina

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

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

Ejecución: 01-01-2007 - 31-12-2007

  • iMarina

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
... Ver más Contraer

Ejecución: 01-01-2007 - 29-02-2008

Tipo: Regional

Financiado por: COMUNIDAD DE MADRID-UC3M

DSDM: red de desarrollo de software dirigido por modelos

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

Ejecución: 01-01-2008 - 01-11-2010

  • 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

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

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

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 8/04/24 23:04