Juan de Lara Jaramillo
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j45 |      | Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger: Automated verification of model transformations based on visual contracts. Autom. Softw. Eng. 20(1): 5-46 (2013) |
| j44 | | Esther Guerra, Juan de Lara, Fernando Orejas: Inter-modelling with patterns. Software and System Modeling 12(1): 145-174 (2013) |
| j43 | | Louis M. Rose, Esther Guerra, Juan de Lara, Anne Etien, Dimitris S. Kolovos, Richard F. Paige: Genericity for model management operations. Software and System Modeling 12(1): 201-219 (2013) |
| j42 | | Jesús Gallardo, Crescencio Bravo, Miguel A. Redondo, Juan de Lara: Modeling collaboration protocols for collaborative modeling tools: Experiences and applications. J. Vis. Lang. Comput. 24(1): 10-23 (2013) |
| 2012 | ||
| j41 | | Juan de Lara, Esther Guerra: Inter-Modelling with Graphical Constraints: Foundations and Applications. ECEASST 47 (2012) |
| j40 | | Esther Guerra, Juan de Lara: An Algebraic Semantics for QVT-Relations Check-only Transformations. Fundam. Inform. 114(1): 73-101 (2012) |
| j39 | | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: Flexible Model-to-Model Transformation Templates: An Application to ATL. Journal of Object Technology 11(2): 4: 1-28 (2012) |
| c70 | | Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado: Abstracting Modelling Languages: A Reutilization Approach. CAiSE 2012: 127-143 |
| c69 | | Juan de Lara, Esther Guerra: Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. ECMFA 2012: 259-274 |
| c68 |  | |
| c67 | | Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra: Bottom-Up Meta-Modelling: An Interactive Approach. MoDELS 2012: 3-19 |
| c66 | | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: The Program Is the Model: Enabling Transformations@run.time. SLE 2012: 104-123 |
| e2 | | 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. Lecture Notes in Computer Science 7212, Springer 2012, isbn 978-3-642-28871-5 |
| e1 | | Zhenjiang Hu, Juan de Lara (Eds.): Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7307, Springer 2012, isbn 978-3-642-30475-0 |
| 2011 | ||
| j38 | | Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: Reusing Model Transformations across Heterogeneous Metamodels. ECEASST 50 (2011) |
| c65 | | Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo: A Graph Transformation-Based Semantics for Deep Metamodelling. AGTIVE 2011: 19-34 |
| c64 | | |
| c63 | | 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 |
| c62 | | 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 |
| c61 | | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara: Generic Model Transformations: Write Once, Reuse Everywhere. ICMT 2011: 62-77 |
| 2010 | ||
| j37 | | Paolo Bottoni, Esther Guerra, Juan de Lara: Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09. ECEASST 25 (2010) |
| j36 | | Paolo Bottoni, Esther Guerra, Juan de Lara: Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10. ECEASST 31 (2010) |
| j35 | | Juan de Lara, Dániel Varró: Preface of the Fourth International Workshop on Graph-Based Tools, GraBaTs 2010. ECEASST 32 (2010) |
| j34 | | Juan de Lara, Hans Vangheluwe: Automating the transformation-based analysis of visual languages. Formal Asp. Comput. 22(3-4): 297-326 (2010) |
| j33 | | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars with Application Conditions. Fundam. Inform. 99(1): 29-62 (2010) |
| j32 | | 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) |
| j31 | | 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) |
| j30 | | 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) |
| c60 | | 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 |
| c59 | | Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini: Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010: 266-281 |
| c58 | | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT 2010: 45-60 |
| c57 | | Juan de Lara, Esther Guerra: Generic Meta-modelling with Concepts, Templates and Mixin Layers. MoDELS (1) 2010: 16-30 |
| c56 | | 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 |
| c55 | | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391 |
| c54 | | 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: 411-418 |
| c53 | | |
| c52 | | 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 |
| c51 | | Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan de Lara: Lightweight Executability Analysis of Graph Transformation Rules. VL/HCC 2010: 127-130 |
| c50 | | Paolo Bottoni, Esther Guerra, Juan de Lara: Towards a Formal Notion of Interaction Pattern. VL/HCC 2010: 235-239 |
| i3 | | Paolo Bottoni, Esther Guerra, Juan de Lara: An Algebraic Formalization of the GoF Design Patterns. CoRR abs/1003.3338 (2010) |
| 2009 | ||
| j29 | | Pedro Pablo Pérez Velasco, Juan de Lara: A Reformulation of Matrix Graph Grammars with Boolean Complexes. Electr. J. Comb. 16(1) (2009) |
| j28 | | 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) |
| j27 | | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman: Guest Editorial: Special Issue on Multi-paradigm Modeling. Simulation 85(11-12): 685-687 (2009) |
| c49 | | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig: Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. CALCO 2009: 383-397 |
| c48 | | Paolo Bottoni, Esther Guerra, Juan de Lara: Formal Foundation for Pattern-Based Modelling. FASE 2009: 278-293 |
| c47 | | Esther Guerra, Juan de Lara, Fernando Orejas: Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions. ICMT 2009: 83-99 |
| c46 | | Juan de Lara, Esther Guerra: Formal Support for QVT-Relations with Coloured Petri Nets. MoDELS 2009: 256-270 |
| i2 | | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Graph Grammars and Monotone Complex Logics. CoRR abs/0902.0850 (2009) |
| i1 | | Pedro Pablo Pérez Velasco, Juan de Lara Jaramillo: Matrix Graph Grammars with Application Conditions. CoRR abs/0902.1809 (2009) |
| 2008 | ||
| j26 | | Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). ECEASST 10 (2008) |
| j25 | | 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. 206: 133-152 (2008) |
| j24 | | 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) |
| j23 | | 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 16(9): 1438-1452 (2008) |
| j22 | | 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) |
| j21 | | 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) |
| c45 | | 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: 291-293 |
| c44 | | |
| c43 | | |
| c42 | | Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara: Analysing Graph Transformation Rules through OCL. ICMT 2008: 229-244 |
| c41 | | 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: 89-96 |
| c40 | | 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 |
| c39 | | 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 |
| 2007 | ||
| j20 | | |
| j19 | | Juan de Lara, Esther Guerra, Paolo Bottoni: Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules. ECEASST 6 (2007) |
| j18 | | 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) |
| j17 | | Juan de Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3): 139-163 (2007) |
| c38 | | Francisco Pérez Andrés, Juan de Lara, Esther Guerra: Domain Specific Languages with Graphical and Textual Views. AGTIVE 2007: 82-97 |
| c37 | | 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: 493-513 |
| c36 | | Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara: Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. JIISIC 2007: 367-374 |
| c35 | | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe: Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. MoDELS Workshops 2007: 237-246 |
| c34 | | 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 |
| c33 | | 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 |
| c32 | | Esther Guerra, Juan de Lara, Alessio Malizia: Model Driven Development of Digital Libraries - Validation, Analysis and Code Generation. WEBIST (2) 2007: 35-42 |
| c31 | | Esther Guerra, Juan de Lara, Alessio Malizia: Model Driven Formal Development of Digital Libraries. WEBIST (Selected Papers) 2007: 169-183 |
| 2006 | ||
| j16 | | Oswaldo Terán, Juan de Lara, Manuel Alfonseca, José Lisandro Aguilar, Ana C. Muñoz: Simulating Structural Change in Adaptive Organizations. Cybernetics and Systems 37(7): 725-753 (2006) |
| j15 | | Juan de Lara, Pedro Pablo Pérez Velasco: Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2 (2006) |
| c30 | | 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 |
| c29 | | Miguel Romero, Juan de Lara: Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. DSDM 2006 |
| c28 | | Pedro Pablo Pérez Velasco, Juan de Lara: Matrix Approach to Graph Transformation: Matching and Sequences. ICGT 2006: 122-137 |
| c27 | | Esther Guerra, Juan de Lara: Model View Management with Triple Graph Transformation Systems. ICGT 2006: 351-366 |
| 2005 | ||
| j14 | | Juan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. Electr. Notes Theor. Comput. Sci. 127(4): 145-162 (2005) |
| c26 | | Juan de Lara, Gabriele Taentzer: Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation. ACSD 2005: 144-153 |
| c25 | | 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 |
| c24 | | Juan de Lara, Esther Guerra: Formal Support for Model Driven Development with Graph Transformation Techniques. DSDM 2005 |
| c23 | | Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay: Termination Criteria for Model Transformation. FASE 2005: 49-63 |
| c22 | | Esther Guerra, Paloma Díaz, Juan de Lara: Supporting the Automatic Generation of Advanced Modelling Environments with Graph Transformation Techniques. JISBD 2005: 67-74 |
| c21 | | 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 | ||
| j13 | | 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. 109: 17-29 (2004) |
| j12 | | Juan de Lara, Hans Vangheluwe, Manuel Alfonseca: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Software and System Modeling 3(3): 194-209 (2004) |
| j11 | | Juan de Lara, Hans Vangheluwe: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3-4): 309-330 (2004) |
| c20 | | Juan de Lara, Gabriele Taentzer: Automated Model Transformation and Its Validation Using AToM 3 and AGG. Diagrams 2004: 182-198 |
| c19 | | 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: 214-228 |
| c18 | | Esther Guerra, Juan de Lara: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation. ICGT 2004: 54-69 |
| c17 | | Hans Vangheluwe, Juan de Lara: Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. Winter Simulation Conference 2004: 249-258 |
| 2003 | ||
| j10 | | Juan de Lara: Meta-Modelling and Graph Transformation for the Simulation of Systems. Bulletin of the EATCS 81: 180-194 (2003) |
| j9 | | Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno: Using Meta-Modelling and Graph Grammars to Create Modelling Environments. Electr. Notes Theor. Comput. Sci. 72(3): 36-50 (2003) |
| j8 | | Juan de Lara Jaramillo: Real-Time and Multi-Agent Systems by Ammar Attoui. J. Artificial Societies and Social Simulation 6(2) (2003) |
| j7 | | Juan de Lara, Manuel Alfonseca: Visual Interactive Simulation for Distance Education. Simulation 79(1): 19-34 (2003) |
| c16 | | Juan de Lara, Esther Guerra, Hans Vangheluwe: Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. AGTIVE 2003: 292-298 |
| c15 | | Esther Guerra, Juan de Lara: A Framework for the Verification of UML Models. Examples Using Petri Nets. JISBD 2003: 325-334 |
| c14 | | Iván Dotú, Juan de Lara: Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems. JISBD 2003: 401-410 |
| c13 | | 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: 595-603 |
| 2002 | ||
| j6 | | Juan de Lara, Manuel Alfonseca: The role of oblivion, memory size and spatial separation in dynamic language games. J. Artificial Societies and Social Simulation 5(2) (2002) |
| j5 | | Juan de Lara Jaramillo: Discrete-Event Simulation: Modeling, Programming, and Analysis by George S. Fishman. J. Artificial Societies and Social Simulation 5(3) (2002) |
| c12 | | Juan de Lara, Hans Vangheluwe: Using Meta-Modelling and Graph Grammars to Process GPSS Models. ESM 2002: 100-107 |
| c11 | | Manuel Alfonseca, Juan de Lara, Germán Montoro: Teaching Partial Differential Equations through the Internet: an Interactive Approach. ESM 2002: 395-399 |
| c10 | | Juan de Lara, Hans Vangheluwe: AToM3: A Tool for Multi-formalism and Meta-modelling. FASE 2002: 174-188 |
| c9 | | Juan de Lara, Hans Vangheluwe: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. ICGT 2002: 239-253 |
| c8 | | |
| c7 | | Juan de Lara, Manuel Alfonseca: Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System. ICEIS 2002: 946-953 |
| c6 | | Manuel Alfonseca, Juan de Lara: Simulating evolutionary agent communities with OOCSMP. SAC 2002: 11-15 |
| c5 | | Hans Vangheluwe, Juan de Lara: XML-based modeling and simulation: meta-models are models too. Winter Simulation Conference 2002: 597-605 |
| 2001 | ||
| j4 | | Juan de Lara, Manuel Alfonseca: Constructing Simulation-Based Web Documents. IEEE MultiMedia 8(1): 42-49 (2001) |
| j3 | | 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 76(2): 92 (2001) |
| p2 | | Juan de Lara, Manuel Alfonseca: Using Simulation and Virtual Reality for Distance Education. Computers and Education. Towards an Interconnected Society 2001: 199-206 |
| c4 | | Juan de Lara, Manuel Alfonseca: Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies. IVA 2001: 233-234 |
| c3 | | Manuel Alfonseca, Juan de Lara, Hans Vangheluwe: Web II: web-based simulation of systems described by partial differential equations. Winter Simulation Conference 2001: 629-636 |
| 2000 | ||
| j2 | | Juan de Lara, Manuel Alfonseca: Some strategies for the simulation of vocabulary agreement in multi-agent communities. J. Artificial Societies and Social Simulation 3(4) (2000) |
| p1 | | Manuel Alfonseca, Juan de Lara: Integration of Simulation and Multimedia in Automatically Generated Internet Courses. Computers and Education in the 21st Century 2000: 47-54 |
| 1999 | ||
| j1 | | Manuel Alfonseca, Juan de Lara, Estrella Pulido: Semiautomatic Generation of Web Courses by Means of an Object-Oriented Simulation Language. Simulation 73(1): 5-12 (1999) |
| 1998 | ||
| c2 | | Manuel Alfonseca, Enrique Alfonseca, Juan de Lara: Compiling a simulation language in APL. APL 1998: 105-109 |
| c1 | | Manuel Alfonseca, Juan de Lara, Estrella Pulido: Semiautomatic Generation of Educational Courses in the Internet by Means of an Object-Oriented Continuous Simulation Language. ESM 1998: 547-551 |
Colors in the list of coauthors
Last update Wed May 22 07:00:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page