activity
20152024
most citedNovel Fundus Image Preprocessing for Retcam Images to Improve Deep Learning Classification of Retinopathy of Prematurity

6 citations · 15 across the 10 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.SE2019★ 1 cited

Building Confidence in Scientific Computing Software Via Assurance Cases

Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng

Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases…

cs.SE2019

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…