Zinovy Diskin

76 papers A* 1A 7B 13C 6Journal 18Unranked 27
YearRankTypeTitle / Venue / Authors
2023 J jnl
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches.
CoRR
Zinovy Diskin
2021 J jnl
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.
CoRR
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin
2020 J jnl
A query-retyping approach to model transformation co-evolution.
Softw. Syst. Model.
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2020 J jnl
Benchmarking bidirectional transformations: theory, implementation, application, and assessment.
Softw. Syst. Model.
Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf
2020 J jnl
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput.
Zinovy Diskin, Harald König, Mark Lawford
2020 B conf
General Supervised Learning as Change Propagation with Delta Lenses.
FoSSaCS
Zinovy Diskin
2019 J jnl
Assurance via workflow+ modelling and conformance.
CoRR
Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford
2019 J jnl
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput.
CoRR
Zinovy Diskin, Harald König, Mark Lawford
2019 J jnl
Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput.
Zinovy Diskin, Harald König, Mark Lawford
2019 B conf
SL2SF: Refactoring Simulink to Stateflow.
FASE
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati
2019 J jnl
Supervised categorical learning as change propagation with delta lenses.
CoRR
Zinovy Diskin
2018 J jnl
A theoretical framework for cardinality-based feature models: The semantics and computational aspects.
J. Log. Algebraic Methods Program.
Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
2018 A conf
Assurance via model transformations and their hierarchical refinement.
MoDELS
Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
2018 B conf
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.
ECMFA
Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin
2018 — conf
Graph Operations and Free Graph Algebras.
Graph Transformation, Specifications, and Nets
Uwe Wolter, Zinovy Diskin, Harald König
2018 B conf
Multiple Model Synchronization with Multiary Delta Lenses.
FASE
Zinovy Diskin, Harald König, Mark Lawford
2017 — conf
BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.
BX@ETAPS
Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel
2017 — conf
Compositionality of Update Propagation: Lax PutPut.
BX@ETAPS
Zinovy Diskin
2017 B conf
Efficient Consistency Checking of Interrelated Models.
ECMFA
Harald König, Zinovy Diskin
2017 — conf
Toward Product Lines of Mathematical Models for Software Model Management.
STAF Workshops
Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
2017 B conf
Traceability Mappings as a Fundamental Instrument in Model Transformations.
FASE
Zinovy Diskin, Abel Gómez, Jordi Cabot
2016 J jnl
A three-dimensional taxonomy for bidirectional model synchronization.
J. Syst. Softw.
Zinovy Diskin, Hamid Gholizadeh, Arif Wider, Krzysztof Czarnecki
2016 B conf
Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling.
ECMFA
Harald König, Zinovy Diskin
2016 J jnl
Bidirectional Transformations, (NII Shonan Meeting 2016-13).
NII Shonan Meet. Rep.
Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong
2016 J jnl
Clafer: unifying class and feature modeling.
Softw. Syst. Model.
Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2016 J jnl
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.
Sci. Ann. Comput. Sci.
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
2016 — conf
Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.
Bx@ETAPS
Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki
2016 — conf
Incremental Consistency Checking of Heterogeneous Multimodels.
STAF Workshops
Zinovy Diskin, Harald König
2016 — conf
Modeling and Reasoning with Multirelations, and their encoding in Alloy.
OCL@MoDELS
Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki
2015 B conf
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.
ECMFA
Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki
2015 — conf
Analysis of Source-to-Target Model Transformations in QueST.
AMT@MoDELS
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum
2015 — conf
Elementary Model Management Patterns.
PAME@STAF
Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh
2015 J jnl
Model synchronization based on triple graph grammars: correctness, completeness and invertibility.
Softw. Syst. Model.
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel
2015 C conf
Modeling Product Lines with Kripke Structures and Modal Logic.
ICTAC
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
2015 B conf
The Semantics of Cardinality-Based Feature Models via Formal Languages.
FM
Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
2014 — conf
A Query Structured Approach for Model Transformation.
AMT@MoDELS
Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum
2014 — conf
Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization.
ICMT
Zinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki
2013 — conf
Example-Driven Modeling using Clafer.
MDEBE@MoDELS
Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski
2013 A* conf
Example-driven modeling: model = abstractions + examples.
ICSE
Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside
2013 B conf
Mapping-Aware Megamodeling: Design Patterns and Laws.
SLE
Zinovy Diskin, Sahar Kokaly, Tom Maibaum
2013 B conf
Partial Instances via Subclassing.
SLE
Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski
2012 — conf
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
ACCAT
Zinovy Diskin, T. S. E. Maibaum
2012 B conf
Intermodeling, Queries, and Kleisli Categories.
FASE
Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki
2011 A conf
Correctness of Model Synchronization Based on Triple Graph Grammars.
MoDELS
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011 A conf
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
MoDELS
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011 J jnl
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.
J. Object Technol.
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010 — conf
From State- to Delta-Based Bidirectional Model Transformations.
ICMT@TOOLS
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010 — conf
Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.
MoDELS (Workshops)
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2010 — conf
Specifying overlaps of heterogeneous models for global consistency checking.
MDI@MoDELS
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki
2009 — conf
Model Synchronization: Mappings, Tiles, and Categories.
GTTSE
Zinovy Diskin
2009 — conf
Model-versioning-in-the-large: Algebraic foundations and the tile notation.
CVSM@ICSE
Zinovy Diskin, Krzysztof Czarnecki, Michal Antkiewicz
2009 — conf
Relationship-based change propagation: A case study.
MiSE@ICSE
Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay
2008 A conf
A General Approach for Scenario Integration.
MoDELS
Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse
2008 A conf
Algebraic Models for Bidirectional Model Synchronization.
MoDELS
Zinovy Diskin
2008 C conf
Contexts and Context Awareness in View of the Diagram Predicate Framework.
ISoLA
Uwe Wolter, Zinovy Diskin
2008 — conf
Engineering Associations: From Models to Code and Back through Semantics.
TOOLS (46)
Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel
2008 J jnl
Understanding and improving UML package merge.
Softw. Syst. Model.
Jürgen Dingel, Zinovy Diskin, Alanna Zito
2007 — conf
A Diagrammatic Logic for Object-Oriented Visual Modeling.
ACCAT@ETAPS
Zinovy Diskin, Uwe Wolter
2007 — conf
An Eclipse-based tool framework for software model management.
ETX
Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn
2006 — conf
A comparative survey of scenario-based to state-based model synthesis approaches.
SCESM
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
2006 A conf
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.
MoDELS
Zinovy Diskin, Jürgen Dingel
2006 A conf
Package Merge in UML 2: Practice vs. Theory?
MoDELS
Alanna Zito, Zinovy Diskin, Jürgen Dingel
2005 — ch.
Generic Model Management.
Encyclopedia of Database Technologies and Applications
Zinovy Diskin, Boris Kadish
2005 — ch.
Mathematics of Generic Specifications for Model Management, I.
Encyclopedia of Database Technologies and Applications
Zinovy Diskin
2005 — ch.
Mathematics of Generic Specifications for Model Management, II.
Encyclopedia of Database Technologies and Applications
Zinovy Diskin
2003 J jnl
Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling.
Data Knowl. Eng.
Zinovy Diskin, Boris Kadish
2002 C conf
Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML.
Diagrams
Zinovy Diskin
2001 — conf
On Modeling, Mathematics, Category Theory and RM-ODP.
WOODPECKER
Zinovy Diskin
2000 — conf
On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).
TOOLS (37)
Zinovy Diskin
2000 C conf
Universal Arrow Foundations for Visual Modeling.
Diagrams
Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson
1999 — ch.
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations.
Behavioral Specifications of Businesses and Systems
Zinovy Diskin, Boris Kadish, Frank Piessens
1997 C conf
A Graphical Yet Formalized Framework for Specifying View Systems.
ADBIS
Zinovy Diskin, Boris Cadish
1996 C conf
Heterogeneous View Integration via Sketches and Equations.
ISMIS
Boris Cadish, Zinovy Diskin
1995 — conf
Algebraic Graph-Based Approach to Management of Multidatabase Systems.
NGITS
Zinovy Diskin, Boris Cadish
1995 — conf
Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers.
OOER
Zinovy Diskin, Boris Cadish
1993 B conf
Lambda Substitution Algebras.
MFCS
Zinovy Diskin, Ilya Beylin