Skip navigation
Menu
Home
Browse
Communities
& Collections
Browse Items by:
Publication Date
Author
Title
Subject
Department
Help
Sign on to:
My MacSphere
Receive email
updates
Edit Profile
Search MacSphere
Search
MacSphere
Browsing by Author Wassyng, Alan
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
publication date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 22 to 37 of 37
< previous
Publication Date
Title
Author(s)
2020
Making Simulink Models Robust with Respect to Change
Jaskolka, Monika
Jun-2015
A Methodology for the Simplification of Tabular Designs in Model-Based Development
Bialy, Monika
2020
A Model-Based Approach to Formal Assurance Cases
Annable, Nicholas
2021
Performance Impact on Neural Network with Partitioned Convolution Implemented with GPU Programming
Lee, Bill
Aug-2008
Proving Implementability of Timing Properties with Tolerances
Hu, Xiayong
15-Apr-2011
A Regression Test Selection Technique Applied to Legacy Systems
Abdrakhmanov, Akbar
25-Jul-2006
Reverse Engineering of Scientific Computation FORTRAN Code
Dragon, Olivier Étienne
2019
Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles
Shah, Syed Asim
2016
Secure and Trusted Partial White-box Verification Based on Garbled Circuits
Zhong, Hongsheng
Jun-2015
Secure and Trusted Verification
Cai, Yixian
2019
Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles
Deevy, Spencer
2021
A Systematic Approach to Hazard and Operability Study (HAZOP)
Aoanan, Paul
Apr-2006
Towards Automated Construction of Tabular Expressions
Wang, Yazhi
19-Sep-2023
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities
Bandur, Victor; Lawford, Mark; Mosser, Sébastien; Paige, Richard; Pantelic, Vera; Wassyng, Alan
2024
Using Novel Fundus Image Preprocessing to Improve the Classification of Retinopathy of Prematurity (ROP) Using Deep Learning
Rahim, Sajid
-
Using STPA in an ISO 26262 compliant process
Mallya, Archana