BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lara:Juan_de

Facilitated 28 volumes:

GTTSE 2015SciCo
ICMT 2015SCo
MoDELS 2015DSPrCo
MoDELS 2015PrCo
MoDELS 2015SaEventsCh
MoDELS 2015TuCh
SLE 2015PrCo
AMT 2014Ed
ICMT 2014PrCo
ICMT 2014SCo
MoDELS 2014PrCo
MoDELS 2014TuCh
ICMT 2013PrCo
ICMT 2013SCo
MoDELS 2013PrCo
FASE 2012Ed
FASE 2012PrCh
ICMT 2012Ed
ICMT 2012PrCh
ICMT 2012Ed
ICMT 2011PrCo
GTTSE 2009SciCo
GT-VMT 2008Ed
MoDELS 2016DemoTrackCh
MoDELS 2016PrCo

Contributed to:

ECMFA 20152015
MoDELS 20152015
SAC 20152015
SLE 20152015
ASE 20142014
ECMFA 20142014
ICMT 20142014
ECMFA 20132013
ICMT 20132013
PPDP 20132013
CAiSE 20122012
ECMFA 20122012
ECMFA 20122015
GT-VMT 20122012
MoDELS 20122012
SLE 20122012
AGTIVE 20112011
ICMT 20112011
ICMT 20112012
ICGT 20102010
ICMT 20102010
MoDELS (1) 20102010
TOOLS Europe 20102010
FASE 20092009
ICMT 20092009
MoDELS 20092009
FASE 20082008
ICGT 20082008
ICMT 20082008
MoDELS 20082008
SLE 20082008
AGTIVE 20072007
GT-VMT 20072007
GT-VMT 20062008
ICGT 20062006
FASE 20052005
FASE 20042004
ICGT 20042004
AGTIVE 20032003
FASE 20022002
ICEIS 20022002
ICGT 20022002
SAC 20022002
ASE 20162016
ICMT 20152015
ECMFA 20162016
ICMT 20162016
ECMFA 20172017
MoDELS 20172017
ICMT 20182018
MoDELS 20182018
SLE 20162016
ASE 20172017
SLE 20182018
SLE 20192019
FASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.