The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Esther Guerra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Juan de Lara, Esther Guerra, Hans Vangheluwe
    Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:292-298 [Conf]
  2. Esther Guerra, Juan de Lara
    Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. [Citation Graph (0, 0)][DBLP]
    ICGT, 2004, pp:54-69 [Conf]
  3. Esther Guerra, Juan de Lara
    Model View Management with Triple Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:351-366 [Conf]
  4. Esther Guerra, Juan de Lara
    A Framework for the Verification of UML Models. Examples Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    JISBD, 2003, pp:325-334 [Conf]
  5. Esther Guerra, Paloma Díaz, Juan de Lara
    Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    JISBD, 2005, pp:67-74 [Conf]
  6. Esther Guerra, Paloma Díaz, Juan de Lara
    A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:284-286 [Conf]
  7. Esther Guerra, Daniel Sanz, Paloma Díaz, Ignacio Aedo
    A Transformation-Driven Approach to the Verification of Security Policies in Web Designs. [Citation Graph (0, 0)][DBLP]
    ICWE, 2007, pp:269-284 [Conf]

  8. Domain Specific Languages with Graphical and Textual Views. [Citation Graph (, )][DBLP]


  9. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  10. Formal Foundation for Pattern-Based Modelling. [Citation Graph (, )][DBLP]


  11. Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]


  12. Graph Transformation for Domain-Specific Discrete Event Time Simulation. [Citation Graph (, )][DBLP]


  13. A Framework for the Multi-disciplinary Design of Web-Based Educational Systems. [Citation Graph (, )][DBLP]


  14. An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. [Citation Graph (, )][DBLP]


  15. Inter-modelling: From Theory to Practice. [Citation Graph (, )][DBLP]


  16. Formal Support for QVT-Relations with Coloured Petri Nets. [Citation Graph (, )][DBLP]


  17. Generic Meta-modelling with Concepts, Templates and Mixin Layers. [Citation Graph (, )][DBLP]


  18. transML: A Family of Languages to Model Model Transformations. [Citation Graph (, )][DBLP]


  19. Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment. [Citation Graph (, )][DBLP]


  20. Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. [Citation Graph (, )][DBLP]


  21. Model Driven Formal Development of Digital Libraries. [Citation Graph (, )][DBLP]


  22. Deep Meta-modelling with MetaDepth. [Citation Graph (, )][DBLP]


  23. Analysing Graph Transformation Rules through OCL. [Citation Graph (, )][DBLP]


  24. Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. [Citation Graph (, )][DBLP]


  25. Synthesis of OCL Pre-conditions for Graph Transformation Rules. [Citation Graph (, )][DBLP]


  26. Formal Support for Model Driven Development with Graph Transformation Techniques. [Citation Graph (, )][DBLP]


  27. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. [Citation Graph (, )][DBLP]


  28. An Algebraic Formalization of the GoF Design Patterns [Citation Graph (, )][DBLP]


  29. Visual Specification of Metrics for Domain Specific Visual Languages. [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.054secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002