Travelled to:1 × Brazil
1 × Greece
1 × Norway
1 × Poland
1 × Sweden
2 × Denmark
2 × The Netherlands
3 × Austria
3 × Germany
3 × Hungary
3 × Italy
3 × Switzerland
5 × France
5 × USA
5 × United Kingdom
8 × Spain
Collaborated with:E.Guerra J.S.Cuadrado H.Vangheluwe J.Cabot M.Alfonseca R.Clarisó J.J.López-Fernández A.Pescador P.Bottoni A.Garmendia I.Córdoba P.P.P.Velasco M.Chechik R.Salay A.Rossini Y.Lamo A.Rutle D.S.Kolovos R.F.Paige H.Ehrig G.Täntzer J.Kienzle N.Amálio F.Orejas F.P.Andrés P.Díaz E.Syriani J.D.Rocco D.D.Ruscio A.Pierantonio N.Nikolov F.Büttner M.Egea F.Mantz J.E.Rivera A.Vallecillo R.Bardohl D.Vaquero-Melchor J.Palomares S.Pérez-Soler F.J.0001 Y.Hattab A.Boronat R.Heckel P.Torrini O.M.d.Santos A.Benelallam M.Tisi M.Zadahmad O.Alam K.Ehrig D.Varró S.Varró-Gyapay L.Iovino N.Buezas J.Martín M.Monforte F.Mori E.Ogallar O.Pérez A.Rensink A.Dotor C.Ermel S.Jurack O.Kniemeyer S.Maier T.Staijen A.Zündorf A.Gómez X.Mendialdua G.Bergmann C.Debreceni D.S.Kolovos S.Trujillo J.Bruel B.Combemale J.Jézéquel G.Mussbacher
Talks about:model (66) transform (33) languag (14) graph (14) meta (14) specif (13) base (12) domain (11) visual (7) approach (5)
♂ Person: Juan de Lara
DBLP: Lara:Juan_de
Facilitated 28 volumes:
SciCo
SCo
DSPrCoPrCoSaEventsChTuCh
PrCo
EdPrCoSCoPrCoTuChPrCoSCoPrCo
EdPrChEdPrChEdPrCoSciCo
EdDemoTrackChPrCoContributed to:
20152015
20152015
20142014201420132013
2013
201220122015201220122012
201120112012
201020102010
201020092009200920082008200820082008200720072008200620052004200420032002
2002200220022016201520162016201720172018201820162017201820192017Wrote 70 papers:
- ECMFA-2015-RossiniLGN #comparison #modelling #multi
- A Comparison of Two-Level and Multi-level Modelling for Cloud-Based Applications (AR, JdL, EG, NN), pp. 18–32.
- MoDELS-2015-AmalioLG #formal method #named
- Fragmenta: A theory of fragmentation for MDE (NA, JdL, EG), pp. 106–115.
- MoDELS-2015-CuadradoGL #atl #model transformation
- Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
- MoDELS-2015-LaraGC #modelling #type system
- A-posteriori typing for Model-Driven Engineering (JdL, EG, JSC), pp. 156–165.
- MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling
- Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
- SAC-2015-CordobaL #design #effectiveness #java #modelling
- A modelling language for the effective design of Java annotations (IC, JdL), pp. 2087–2092.
- SLE-2015-Lopez-Fernandez #validation #visual notation
- Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
- ASE-2014-Lopez-FernandezGL #metamodelling #validation #verification
- Meta-Model validation and verification with MetaBest (JJLF, EG, JdL), pp. 831–834.
- ECMFA-2014-CuadradoGL #model transformation #towards #transformation language
- Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
- ICMT-2014-CuadradoGL #model transformation #reuse #reverse engineering #usability
- Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
- ECMFA-2013-BuezasGLMMMOPC #design #modelling #visual notation
- Umbra Designer: Graphical Modelling for Telephony Services (NB, EG, JdL, JM, MM, FM, EO, OP, JSC), pp. 179–191.
- ICMT-2013-ButtnerEGL #model transformation #refinement
- Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
- ICMT-2013-CuadradoL #challenge #model transformation #streaming
- Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
- PPDP-2013-LamoMRL #approach #bidirectional #declarative #graph #model transformation
- A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
- CAiSE-2012-LaraGC #approach #modelling
- Abstracting Modelling Languages: A Reutilization Approach (JdL, EG, JSC), pp. 127–143.
- ECMFA-2012-LaraG #metamodelling #modelling
- Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
- ECMFA-J-2012-LaraGC15 #metamodelling #modelling
- Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
- GT-VMT-2012-LaraG #constraints #visual notation
- Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).
- MoDELS-2012-CuadradoLG #approach #bottom-up #interactive #metamodelling
- Bottom-Up Meta-Modelling: An Interactive Approach (JSC, JdL, EG), pp. 3–19.
- SLE-2012-CuadradoGL #runtime
- The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
- AGTIVE-2011-LaraG #graph transformation #reuse
- Reusable Graph Transformation Templates (JdL, EG), pp. 35–50.
- AGTIVE-2011-RossiniLGRL #graph transformation #metamodelling #semantics
- A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
- ICMT-2011-CuadradoGL #model transformation #reuse
- Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.
- ICMT-J-2011-CuadradoGL12 #atl #flexibility #model transformation
- Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
- ICGT-2010-LaraGBHT #graph transformation #simulation
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
- ICMT-2010-CabotCGL #graph transformation #ocl #synthesis
- Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
- MoDELS-v1-2010-GuerraLKP #named #theory and practice
- Inter-modelling: From Theory to Practice (EG, JdL, DSK, RFP), pp. 376–391.
- MoDELS-v1-2010-GuerraLKPS #model transformation #named #product line
- transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
- MoDELS-v1-2010-LaraG #concept #metamodelling #mixin
- Generic Meta-modelling with Concepts, Templates and Mixin Layers (JdL, EG), pp. 16–30.
- TOOLS-EUROPE-2010-LaraG #metamodelling
- Deep Meta-modelling with MetaDepth (JdL, EG), pp. 1–20.
- FASE-2009-BottoniGL #formal method #modelling
- Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.
- ICMT-2009-GuerraLO #model transformation
- Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.
- MoDELS-2009-LaraG #petri net #qvt
- Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
- FASE-2008-LaraV #analysis #modelling
- Translating Model Simulators to Analysis Models (JdL, HV), pp. 77–92.
- ICGT-2008-LaraG #model transformation
- Pattern-Based Model-to-Model Transformation (JdL, EG), pp. 426–441.
- ICMT-2008-CabotCGL #graph transformation #ocl
- Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
- MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
- SLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation
- Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
- AGTIVE-2007-AndresLG #domain-specific language #visual notation
- Domain Specific Languages with Graphical and Textual Views (FPA, JdL, EG), pp. 82–97.
- AGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named #tool support
- Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
- GT-VMT-2007-GuerraL #graph transformation #recursion
- Adding Recursion to Graph Transformation (EG, JdL).
- GT-VMT-2007-LaraGB #generative #graph grammar #specification
- Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules (JdL, EG, PB).
- GT-VMT-2006-GuerraDL08 #domain-specific language #metric #specification #visual notation
- Visual Specification of Metrics for Domain Specific Visual Languages (EG, PD, JdL), pp. 99–110.
- ICGT-2006-GuerraL #graph transformation
- Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.
- ICGT-2006-VelascoL #approach #graph transformation #matrix #sequence
- Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
- FASE-2005-EhrigELTVV #model transformation #termination
- Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
- FASE-2004-BardohlELT #aspect-oriented #graph transformation #metamodelling #performance #visual notation
- Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.
- ICGT-2004-GuerraL #graph transformation #integration #metamodelling #towards
- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
- AGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking
- Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
- FASE-2002-LaraV #metamodelling #multi #named
- AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.
- ICEIS-2002-LaraA #education #multi #visualisation #web
- Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System (JdL, MA), pp. 946–953.
- ICEIS-2002-LaraV #using
- Using AToM3 as a Meta-Case Tool (JdL, HV), pp. 642–649.
- ICGT-2002-LaraV #modelling #multi #petri net #process
- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
- SAC-2002-AlfonsecaL #community #simulation
- Simulating evolutionary agent communities with OOCSMP (MA, JdL), pp. 11–15.
- ASE-2016-PescadorL #design #domain-specific language #named #requirements
- DSL-maps: from requirements to design of domain-specific languages (AP, JdL), pp. 438–443.
- ICMT-2015-CuadradoGL #component #model transformation #reuse
- Reusable Model Transformation Components with bentō (JSC, EG, JdL), pp. 59–65.
- ECMFA-2016-Lopez-Fernandez #generative #modelling #visual notation
- Example-Based Generation of Graphical Modelling Environments (JJLF, AG, EG, JdL), pp. 101–117.
- ICMT-2016-RoccoRPCLG #atl #collaboration #framework #modelling #platform #using
- Using ATL Transformation Services in the MDEForge Collaborative Modeling Platform (JDR, DDR, AP, JSC, JdL, EG), pp. 70–78.
- ECMFA-2017-GomezMBCDGKLT #case study #development #experience #modelling #on the #scalability
- On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development (AG, XM, GB, JC, CD, AG, DSK, JdL, ST), pp. 300–315.
- MoDELS-2017-CuadradoGLCC #constraints #model transformation
- Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.
- MoDELS-2017-Vaquero-Melchor #domain-specific language #mobile
- Active Domain-Specific Languages: Making Every Mobile User a Modeller (DVM, JP, EG, JdL), pp. 75–82.
- ICMT-2018-BruelCGJKLMSV #classification #comparison #metamodelling #model transformation #reuse
- Model Transformation Reuse Across Metamodels — A Classification and Comparison of Approaches (JMB, BC, EG, JMJ, JK, JdL, GM, ES, HV), pp. 92–109.
- MoDELS-2018-GuerraL #flexibility #modelling #on the
- On the Quest for Flexible Modelling (EG, JdL), pp. 23–33.
- MoDELS-2018-LaraGCS #model transformation #product line
- Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.
- SLE-2016-BenelallamTCLC #clustering #distributed #model transformation #performance
- Efficient model partitioning for distributed model transformations (AB, MT, JSC, JdL, JC), pp. 226–238.
- ASE-2017-Perez-SolerGLJ #modelling #network #social #towards
- The rise of the (modelling) bots: towards assisted modelling via social networks (SPS, EG, JdL, FJ0), pp. 723–728.
- SLE-2018-GuerraLCS #metamodelling #product line
- Analysing meta-model product lines (EG, JdL, MC, RS), pp. 160–173.
- SLE-2018-LaraGKH #modelling
- Facet-oriented modelling: open objects for model-driven engineering (JdL, EG, JK, YH), pp. 147–159.
- SLE-2019-ZadahmadSAGL #difference #syntax #visual notation
- Domain-specific model differencing in visual concrete syntax (MZ, ES, OA, EG, JdL), pp. 100–112.
- FASE-2017-LaraRRGIPC #model transformation #modelling #requirements #reuse #type system
- Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.