BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × Germany
1 × Hungary
1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
F.Mantz A.Rutle G.Täntzer A.Rossini U.Wolter F.Rabbi J.d.Lara X.Wang F.Büttner I.C.Yu I.Yu L.Kristensen T.Arendt G.Taentzer M.Ohrndorf E.Guerra
Talks about:
model (12) transform (6) graph (6) approach (4) base (4) formalis (3) evolut (3) type (3) diagrammat (2) customiz (2)

Person: Yngve Lamo

DBLP DBLP: Lamo:Yngve

Contributed to:

AMT 20152015
GT-VMT 20142014
GT-VMT 20132013
MoDELS 20132013
PPDP 20132013
GCM 20122013
ICGT 20122012
AGTIVE 20112011
FASE 20102010
FASE 20092009
TOOLS Europe 20092009
MoDELS 20162016
FASE 20172017

Wrote 13 papers:

AMT-2015-RabbiLYK #approach #diagrams
A Diagrammatic Approach to Model Completion (FR, YL, IY, LK), pp. 56–65.
GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
GT-VMT-2013-MantzTL #co-evolution #migration
Well-formed Model Co-evolution with Customizable Model Migration (FM, GT, YL).
MoDELS-2013-TaentzerMAL #metamodelling #migration #multi
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.
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.
GCM-J-2012-MantzTL #co-evolution #graph
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping (FM, GT, YL).
ICGT-2012-TaentzerML #co-evolution #graph
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution (GT, FM, YL), pp. 326–340.
AGTIVE-2011-RossiniLGRL #graph transformation #metamodelling #semantics
A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
FASE-2010-RutleRLW #constraints #formal method #model transformation
A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
FASE-2009-RutleRLW #approach #formal method #version control
A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.
TOOLS-EUROPE-2009-RutleRLW #diagrams #formal method #modelling
A Diagrammatic Formalisation of MOF-Based Modelling Languages (AR, AR, YL, UW), pp. 37–56.
MoDELS-2016-RabbiLY #approach #category theory #game studies #metamodelling #towards
Towards a categorical approach for meta-modelling epistemic game theory (FR, YL, ICY), pp. 57–64.
Change-Preserving Model Repair (GT, MO, YL, AR), pp. 283–299.

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.