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 × Australia
1 × Austria
1 × Denmark
1 × Estonia
1 × Japan
1 × New Zealand
1 × Norway
1 × Portugal
1 × Switzerland
1 × The Netherlands
1 × United Kingdom
2 × France
2 × Germany
2 × Italy
2 × Spain
2 × USA
Collaborated with:
∅ K.Czarnecki T.S.E.Maibaum H.König J.Dingel Y.Xiong H.Gholizadeh M.Lawford S.Kokaly H.Ehrig F.Hermann F.Orejas K.Bak M.Antkiewicz A.Wasowski A.Safilian S.M.Easterbrook A.Zito A.Gómez J.Cabot S.Wynn-Williams A.Wider H.Liang E.Posse A.Rutle L.Iovino R.Eramo A.Pierantonio T.Maibaum A.Wassyng A.Anjorin F.Jouault H.Ko E.Leblebici B.Westfechtel D.Zayan D.Rayside S.Gottmann T.Engel V.Pantelic G.M.K.Selim C.Milo M.Diab F.Weslati
Talks about:
model (26) transform (12) bidirect (7) base (7) synchron (6) delta (6) map (5) semant (4) state (4) propag (3)

♂ Person: Zinovy Diskin

DBLP DBLP: Diskin:Zinovy

Facilitated 7 volumes:

GTTSE 2015SciCo
SLE 2015PrCo
MoDELS 2014PrCo
SLE 2014PrCo
BX-Shonan 2016Ed
MoDELS 2016PrCo

Contributed to:

AMT 20152015
ECMFA 20152015
FM 20152015
AMT 20142014
ICMT 20142014
ICSE 20132013
SLE 20132013
FASE 20122012
BX 20112011
MoDELS 20112011
MODELS 20112015
ICMT 20102010
ICMT 20102011
GTTSE 20092009
BX 20082008
MoDELS 20082008
TOOLS Europe 20082008
MoDELS 20062006
TOOLS Pacific 20002000
ECMFA 20162016
ECMFA 20172017
ECMFA 20182018
MoDELS 20182018
BX 20162016
BX 20172017
FASE 20172017
FASE 20182018
FASE 20192019

Wrote 35 papers:

AMT-2015-GholizadehDKM #analysis #model transformation
Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
ECMFA-2015-DiskinMC #category theory #imperative #model management #visual notation
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (ZD, TSEM, KC), pp. 154–170.
FM-2015-SafilianMD #feature model #formal method #modelling #semantics
The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
AMT-2014-GholizadehDM #approach #model transformation #query
A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
ICMT-2014-DiskinWGC #symmetry #taxonomy #towards
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization (ZD, AW, HG, KC), pp. 57–73.
ICSE-2013-BakZCADWR #abstraction #modelling
Example-driven modeling: model = abstractions + examples (KB, DZ, KC, MA, ZD, AW, DR), pp. 1273–1276.
SLE-2013-BakDACW #subclass
Partial Instances via Subclassing (KB, ZD, MA, KC, AW), pp. 344–364.
SLE-2013-DiskinKM #design pattern #megamodelling
Mapping-Aware Megamodeling: Design Patterns and Laws (ZD, SK, TSEM), pp. 322–343.
FASE-2012-DiskinMC #category theory #query
Intermodeling, Queries, and Kleisli Categories (ZD, TSEM, KC), pp. 163–177.
BX-2011-Diskin
Update propagation via tiles (ZD), p. 53.
BX-2011-Diskin1 #bidirectional #model transformation #weaving
From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MoDELS-2011-HermannEOCDX #correctness #graph grammar
Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.
MoDELS-J-2011-HermannEOCDXGE15 #correctness #graph grammar
Model synchronization based on triple graph grammars: correctness, completeness and invertibility (FH, HE, FO, KC, ZD, YX, SG, TE), pp. 241–269.
ICMT-2010-DiskinXC #bidirectional #model transformation
From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
GTTSE-2009-Diskin #category theory
Model Synchronization: Mappings, Tiles, and Categories (ZD), pp. 92–165.
BX-2008-Diskin #modelling
Models Short Talk 6 (ZD), p. 20.
BX-2008-Diskin1 #algebra #semantics
Algebraic Semantics for Model Translation (ZD), p. 34.
MoDELS-2008-Diskin #algebra #bidirectional #modelling
Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.
MoDELS-2008-LiangDDP #approach #integration
A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.
TOOLS-EUROPE-2008-DiskinED #modelling #semantics
Engineering Associations: From Models to Code and Back through Semantics (ZD, SME, JD), pp. 336–355.
MoDELS-2006-DiskinD #semantics #towards #uml
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MoDELS-2006-ZitoDD #question #uml
Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.
TOOLS-PACIFIC-2000-Diskin #modelling #on the
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.
ECMFA-2016-KonigD #consistency #multi
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling (HK, ZD), pp. 19–35.
ECMFA-2017-KonigD #consistency #modelling #performance
Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.
ECMFA-2018-RutleIKD #automation #co-evolution #graph transformation #modelling #traceability #using
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
MoDELS-2018-DiskinMWWL #assurance #model transformation #refinement
Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
BX-2016-DiskinEPC #bidirectional #formal method #model transformation #nondeterminism
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization (ZD, RE, AP, KC), pp. 15–31.
BX-2017-AnjorinDJKLW #benchmark #bidirectional #framework #metric
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations (AA, ZD, FJ, HSK, EL, BW), pp. 15–30.
BX-2017-Diskin #composition
Compositionality of Update Propagation: Lax PutPut (ZD), pp. 74–89.
FASE-2017-DiskinGC #model transformation #traceability
Traceability Mappings as a Fundamental Instrument in Model Transformations (ZD, AG, JC), pp. 247–263.
FASE-2018-DiskinKL #lens #multi
Multiple Model Synchronization with Multiary Delta Lenses (ZD, HK, ML), pp. 21–37.
FASE-2019-Wynn-WilliamsDP #named #refactoring
SL2SF: Refactoring Simulink to Stateflow (SWW, ZD, VP, ML, GMKS, CM, MD, FW), pp. 264–281.
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.