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: Lamo:Yngve
Contributed to:
2015
20142013
2013
2013
2013
2012
2011
20102009
200920162017Wrote 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.
- FASE-2017-TaentzerOLR
- Change-Preserving Model Repair (GT, MO, YL, AR), pp. 283–299.