| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Esther Guerra, Juan de Lara |
An Algebraic Semantics for QVT-Relations Check-only Transformations.  |
Fundam. Inform.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Andrea Zisman (eds.) |
Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings |
FASE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
Generic Model Transformations: Write Once, Reuse Everywhere. |
ICMT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Paolo Bottoni, Esther Guerra, Juan de Lara |
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Dániel Varró |
Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paolo Bottoni, Esther Guerra, Juan de Lara |
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
A UML/OCL framework for the analysis of graph transformation rules. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe |
Automating the transformation-based analysis of visual languages. |
Formal Asp. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Matrix Graph Grammars with Application Conditions. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Esther Guerra, Juan de Lara |
An Algebraic Formalization of the GoF Design Patterns |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini |
Graph Transformation for Domain-Specific Discrete Event Time Simulation. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Esther Guerra, Juan de Lara |
Towards a Formal Notion of Interaction Pattern. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
A Visual Specification Language for Model-to-Model Transformations. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara |
Lightweight Executability Analysis of Graph Transformation Rules. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Deep Meta-modelling with MetaDepth. |
TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Jimenez, Emilio del Rosal, Juan de Lara |
A Visual Language for Modelling and Simulation of Networks of Evolutionary Processors. |
PAAMS (Special Sessions and Workshops) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
Synthesis of OCL Pre-conditions for Graph Transformation Rules. |
ICMT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
Inter-modelling: From Theory to Practice. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Generic Meta-modelling with Concepts, Templates and Mixin Layers. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Fernando Orejas |
Controlling Reuse in Pattern-Based Model-to-Model Transformations. |
Graph Transformations and Model-Driven Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman |
Guest Editorial: Special Issue on Multi-paradigm Modeling. |
Simulation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara |
A Reformulation of Matrix Graph Grammars with Boolean Complexes. |
Electr. J. Comb. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Matrix Graph Grammars and Monotone Complex Logics |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Alessio Malizia, Paloma Díaz |
Supporting user-oriented analysis for multi-view domain-specific visual languages. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Esther Guerra, Juan de Lara |
Formal Foundation for Pattern-Based Modelling. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Fernando Orejas |
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. |
ICMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Formal Support for QVT-Relations with Coloured Petri Nets. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo |
Matrix Graph Grammars with Application Conditions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Claudia Ermel, Juan de Lara, Reiko Heckel |
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Paloma Díaz, Juan de Lara |
Visual Specification of Metrics for Domain Specific Visual Languages. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Paloma Díaz |
Visual specification of measurements and redesigns for domain specific visual languages. |
J. Vis. Lang. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Pérez, Juan de Lara, Luis Conde, Manuel Alfonseca, Luis Galán, David Raboso |
CEST and MEST: Tools for the simulation of radio frequency electric discharges in waveguides. |
Simulation Modelling Practice and Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Pattern-Based Model-to-Model Transformation. |
ICGT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Eduardo Rivera, Esther Guerra, Juan de Lara, Antonio Vallecillo |
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe |
Translating Model Simulators to Analysis Models. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
Analysing Graph Transformation Rules through OCL. |
ICMT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara |
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara |
Modelado del proceso de software con enfoque de negocio. Aplicación de los estándares BPMN y UML. |
JIISIC |
2008 |
DBLP BibTeX RDF |
|
| 1 | Silvia Teresita Acuña, Marta Gómez, Juan de Lara |
Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality. |
ESEM |
2008 |
DBLP DOI BibTeX RDF |
personality factors, task characteristics, team processes, software quality, satisfaction |
| 1 | Juan de Lara, Esther Guerra, Paolo Bottoni |
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
Adding Recursion to Graph Transformation. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
Event-driven grammars: relating abstract and concrete levels of visual languages. |
Software and System Modeling |
2007 |
DBLP DOI BibTeX RDF |
Triple Graph Transformation, UML, Consistency, Visual Languages, Meta-Modelling, Graph Grammars |
| 1 | Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer |
Attributed graph transformation with node type inheritance. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Alessio Malizia |
Model Driven Formal Development of Digital Libraries. |
WEBIST (Selected Papers) |
2007 |
DBLP DOI BibTeX RDF |
Formal Methods, Digital Libraries, Model Driven Development, Meta-modelling, Graph Transformation |
| 1 | Paolo Bottoni, Juan de Lara, Esther Guerra |
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
Visual Languages, Meta-Modelling, Operational Semantics, Graph Transformation |
| 1 | Francisco Pérez Andrés, Juan de Lara, Esther Guerra |
Domain Specific Languages with Graphical and Textual Views. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Alexander Dotor, Claudia Ermel, Stefan Jurack, Ole Kniemeyer, Juan de Lara, Sonja Maier, Tom Staijen, Albert Zündorf |
Ludo: A Case Study for Graph Transformation Tools. |
AGTIVE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe |
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. |
MoDELS Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Muzy, Juan de Lara, Esther Guerra |
Designing PRIMA: A Precise Visual Language for Modeling with Agents, in a Physical environment. |
MSV |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara |
Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. |
JIISIC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Pedro Pablo Pérez Velasco |
Petri Nets and Matrix Graph Grammars: Reachability. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Oswaldo Terán, Juan de Lara, Manuel Alfonseca, José Lisandro Aguilar, Ana C. Muñoz |
Simulating Structural Change in Adaptive Organizations. |
Cybernetics and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Matrix Approach to Graph Transformation: Matching and Sequences. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
Model View Management with Triple Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Romero, Juan de Lara |
Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. |
DSDM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Francisco Pérez, Juan de Lara |
Hacia la Definición de Lenguajes Específico de Dominio con Sintáxis Gráfica y Textual. |
DSDM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara |
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra |
Formal Support for Model Driven Development with Graph Transformation Techniques. |
DSDM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Esther Guerra, Paloma Díaz, Juan de Lara |
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Gabriele Taentzer |
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation |
| 1 | Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation. |
Transformation Techniques in Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay |
Termination Criteria for Model Transformation. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Paloma Díaz, Juan de Lara |
Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. |
JISBD |
2005 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca |
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. |
Software and System Modeling |
2004 |
DBLP DOI BibTeX RDF |
Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism |
| 1 | Juan de Lara, Hans Vangheluwe |
Defining visual notations and their manipulation through meta-modelling and graph transformation. |
J. Vis. Lang. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. |
ICGT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer |
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. |
Diagrams |
2004 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modelling, Meta-Modelling, Graph Transformation |
| 1 | Hans Vangheluwe, Juan de Lara |
Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. |
Winter Simulation Conference |
2004 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara Jaramillo, Claudia Ermel, Gabriele Taentzer, Karsten Ehrig |
Parallel Graph Transformation for Model Simulation applied to Timed Transition Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Manuel Alfonseca |
Visual Interactive Simulation for Distance Education. |
Simulation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara |
Meta-Modelling and Graph Transformation for the Simulation of Systems. |
Bulletin of the EATCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Esther Guerra, Hans Vangheluwe |
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting |
| 1 | Hans Vangheluwe, Juan de Lara |
Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. |
Winter Simulation Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara |
A Framework for the Verification of UML Models. Examples Using Petri Nets. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Iván Dotú, Juan de Lara |
Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems. |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara Jaramillo |
Real-Time and Multi-Agent Systems by Ammar Attoui. |
J. Artificial Societies and Social Simulation |
2003 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno |
Using Meta-Modelling and Graph Grammars to Create Modelling Environments. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Manuel Alfonseca |
The role of oblivion, memory size and spatial separation in dynamic language games. |
J. Artificial Societies and Social Simulation |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe |
Using AToM3 as a Meta-Case Tool. |
ICEIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Manuel Alfonseca |
Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System. |
ICEIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe |
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Alfonseca, Juan de Lara |
Simulating evolutionary agent communities with OOCSMP. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
OOCSMP, multi-agent languages, evolution, swarm Intelligence, agent-based simulation, artificial ants |
| 1 | Juan de Lara, Hans Vangheluwe |
AToM3: A Tool for Multi-formalism and Meta-modelling. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation |
| 1 | Manuel Alfonseca, Juan de Lara, Germán Montoro |
Teaching Partial Differential Equations through the Internet: an Interactive Approach. |
ESM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Hans Vangheluwe |
Using Meta-Modelling and Graph Grammars to Process GPSS Models. |
ESM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hans Vangheluwe, Juan de Lara |
XML-based modeling and simulation: meta-models are models too. |
Winter Simulation Conference |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara Jaramillo |
Discrete-Event Simulation: Modeling, Programming, and Analysis by George S. Fishman. |
J. Artificial Societies and Social Simulation |
2002 |
DBLP BibTeX RDF |
|
| 1 | Manuel Alfonseca, Rosa M. Carro, Juan de Lara, Alfonso Ortega, Estrella Pulido, Pilar Rodríguez Marín, Carlos Santa Cruz |
Spotlight on m&s activities: Web-based Simulation Activities of the Technical School of Computer Science in the Universidad Autónoma of Madrid. |
Simulation |
2001 |
DBLP BibTeX RDF |
|
| 1 | Juan de Lara, Manuel Alfonseca |
Constructing Simulation-Based Web Documents. |
IEEE MultiMedia |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan de Lara, Manuel Alfonseca |
Using Simulation and Virtual Reality for Distance Education. |
Computers and Education. Towards an Interconnected Society |
2001 |
DBLP BibTeX RDF |
|
| 1 | Manuel Alfonseca, Juan de Lara, Hans Vangheluwe |
Web II: web-based simulation of systems described by partial differential equations. |
Winter Simulation Conference |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")