Zinovy Diskin

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 29

Top Topics

Update Propagation

Graph Transformation

Mathematical Models

Top Venues

Softw. Syst. Model.

Publications

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