Zinovy Diskin

According to our database, Zinovy Diskin authored at least 74 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches.

Zinovy Diskin

CoRR, 2023

2021

Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey.

Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford, Richard F. Paige, Zinovy Diskin

CoRR, 2021

2020

A query-retyping approach to model transformation co-evolution.

Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin

Softw. Syst. Model., 2020

Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf

Softw. Syst. Model., 2020

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.

Zinovy Diskin, Harald König, Mark Lawford

Formal Aspects Comput., 2020

General Supervised Learning as Change Propagation with Delta Lenses.

Zinovy Diskin

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

Multiple model synchronization with multiary delta lenses with amendment and K-Putput.

Zinovy Diskin, Harald König, Mark Lawford

Formal Aspects Comput., 2019

Assurance via workflow+ modelling and conformance.

Zinovy Diskin, Nicholas Annable, Alan Wassyng, Mark Lawford

CoRR, 2019

Supervised categorical learning as change propagation with delta lenses.

Zinovy Diskin

CoRR, 2019

SL2SF: Refactoring Simulink to Stateflow.

Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

A theoretical framework for cardinality-based feature models: The semantics and computational aspects.

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin

J. Log. Algebraic Methods Program., 2018

Assurance via model transformations and their hierarchical refinement.

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Multiple Model Synchronization with Multiary Delta Lenses.

Zinovy Diskin, Harald König, Mark Lawford

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.

Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

Graph Operations and Free Graph Algebras.

Uwe Wolter, Zinovy Diskin, Harald König

Proceedings of the Graph Transformation, Specifications, and Nets, 2018

2017

Toward Product Lines of Mathematical Models for Software Model Management.

Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum

Proceedings of the Software Technologies: Applications and Foundations, 2017

Traceability Mappings as a Fundamental Instrument in Model Transformations.

Zinovy Diskin, Abel Gómez, Jordi Cabot

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Compositionality of Update Propagation: Lax PutPut.

Zinovy Diskin

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

BenchmarX Reloaded: A Practical Benchmark Framework for Bidirectional Transformations.

Anthony Anjorin, Zinovy Diskin, Frédéric Jouault, Hsiang-Shang Ko, Erhan Leblebici, Bernhard Westfechtel

Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

Efficient Consistency Checking of Interrelated Models.

Harald König, Zinovy Diskin

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

Clafer: unifying class and feature modeling.

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski

Softw. Syst. Model., 2016

Bidirectional Transformations, (NII Shonan Meeting 2016-13).

Anthony Anjorin, Zinovy Diskin, Meng Wang, Yingfei Xiong

NII Shonan Meet. Rep., 2016

A three-dimensional taxonomy for bidirectional model synchronization.

Zinovy Diskin, Hamid Gholizadeh, Arif Wider, Krzysztof Czarnecki

J. Syst. Softw., 2016

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Sci. Ann. Comput. Sci., 2016

Incremental Consistency Checking of Heterogeneous Multimodels.

Zinovy Diskin, Harald König

Proceedings of the Software Technologies: Applications and Foundations, 2016

Modeling and Reasoning with Multirelations, and their encoding in Alloy.

Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki

Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.

Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling.

Harald König, Zinovy Diskin

Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016

2015

Model synchronization based on triple graph grammars: correctness, completeness and invertibility.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel

Softw. Syst. Model., 2015

Elementary Model Management Patterns.

Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh

Proceedings of the First Workshop on Patterns in Model Engineering, 2015

Analysis of Source-to-Target Model Transformations in QueST.

Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Modeling Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

The Semantics of Cardinality-Based Feature Models via Formal Languages.

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin

Proceedings of the FM 2015: Formal Methods, 2015

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.

Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

A Query Structured Approach for Model Transformation.

Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum

Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization.

Zinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki

Proceedings of the Theory and Practice of Model Transformations, 2014

2013

Mapping-Aware Megamodeling: Design Patterns and Laws.

Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Partial Instances via Subclassing.

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Example-Driven Modeling using Clafer.

Michal Antkiewicz, Kacper Bak, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wasowski

Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Example-driven modeling: model = abstractions + examples.

Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, Derek Rayside

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

Zinovy Diskin, T. S. E. Maibaum

Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Intermodeling, Queries, and Kleisli Categories.

Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

J. Object Technol., 2011

Correctness of Model Synchronization Based on Triple Graph Grammars.

Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong

Proceedings of the Model Driven Engineering Languages and Systems, 2011

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

Proceedings of the Models in Software Engineering, 2010

From State- to Delta-Based Bidirectional Model Transformations.

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki

Proceedings of the Theory and Practice of Model Transformations, 2010

2009

Model-versioning-in-the-large: Algebraic foundations and the tile notation.

Zinovy Diskin, Krzysztof Czarnecki, Michal Antkiewicz

Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

Relationship-based change propagation: A case study.

Marsha Chechik, Winnie Lai, Shiva Nejati, Jordi Cabot, Zinovy Diskin, Steve M. Easterbrook, Mehrdad Sabetzadeh, Rick Salay

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

Model Synchronization: Mappings, Tiles, and Categories.

Zinovy Diskin

Proceedings of the Generative and Transformational Techniques in Software Engineering III, 2009

2008

Understanding and improving UML package merge.

Jürgen Dingel, Zinovy Diskin, Alanna Zito

Softw. Syst. Model., 2008

Engineering Associations: From Models to Code and Back through Semantics.

Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A General Approach for Scenario Integration.

Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Algebraic Models for Bidirectional Model Synchronization.

Zinovy Diskin

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Contexts and Context Awareness in View of the Diagram Predicate Framework.

Uwe Wolter, Zinovy Diskin

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

A Diagrammatic Logic for Object-Oriented Visual Modeling.

Zinovy Diskin, Uwe Wolter

Proceedings of the Second Workshop on Applied and Computational Category Theory, 2007

An Eclipse-based tool framework for software model management.

Rick Salay, Marsha Chechik, Steve M. Easterbrook, Zinovy Diskin, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh, Petcharat Viriyakattiyaporn

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

A comparative survey of scenario-based to state-based model synthesis approaches.

Hongzhi Liang, Jürgen Dingel, Zinovy Diskin

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Package Merge in UML 2: Practice vs. Theory?

Alanna Zito, Zinovy Diskin, Jürgen Dingel

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.

Zinovy Diskin, Jürgen Dingel

Proceedings of the Model Driven Engineering Languages and Systems, 2006

2005

Generic Model Management.

Zinovy Diskin, Boris Kadish

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Mathematics of Generic Specifications for Model Management, II.

Zinovy Diskin

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

Mathematics of Generic Specifications for Model Management, I.

Zinovy Diskin

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

2003

Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling.

Zinovy Diskin, Boris Kadish

Data Knowl. Eng., 2003

2002

Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML.

Zinovy Diskin

Proceedings of the Diagrammatic Representation and Inference, 2002

2001

On Modeling, Mathematics, Category Theory and RM-ODP.

Zinovy Diskin

Proceedings of the Open Distribute Processing: Enterprise, 2001

2000

On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000).

Zinovy Diskin

Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Universal Arrow Foundations for Visual Modeling.

Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1999

What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations.

Zinovy Diskin, Boris Kadish, Frank Piessens

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1997

A Graphical Yet Formalized Framework for Specifying View Systems.

Zinovy Diskin, Boris Cadish

Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS'97), 1997

1996

Heterogeneous View Integration via Sketches and Equations.

Boris Cadish, Zinovy Diskin

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Algebraic Graph-Based Approach to Management of Multidatabase Systems.

Zinovy Diskin, Boris Cadish

Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

Variable Sets and Functions Framework for Conceptual Modeling: Integrating ER and OO via Sketches with Dynamic Markers.

Zinovy Diskin, Boris Cadish

Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

1993

Lambda Substitution Algebras.

Zinovy Diskin, Ilya Beylin

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993