44 citations · 45 across the 6 of their papers we have counts for
6 papers
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches
Zinovy Diskin
Data constraints are fundamental for practical data modelling, and a verifiable conformance of a data instance to a safety-critical constraint (satisfaction relation) is a corner-s…
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey
Mehrnoosh Askarpour, Alan Wassyng, Mark Lawford +2
Machine learning (ML) is finding its way into safety-critical systems (SCS). Current safety standards and practice were not designed to cope with ML techniques, and it is difficult…
Assurance via workflow+ modelling and conformance
Zinovy Diskin, Nicholas Annable, Alan Wassyng +1
We propose considering assurance as a model management enterprise: saying that a system is safe amounts to specifying three workflows modelling how the safety engineering process i…
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary c…
General supervised learning as change propagation with delta lenses
Zinovy Diskin
Delta lenses are an established mathematical framework for modelling and designing bidirectional model transformations. Following the recent observations by Fong et al, the paper e…
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Zinovy Diskin, Tom Maibaum
There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software develop…