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 Lawford, Mark
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 39 of 39
< previous
Publication Date
Title
Author(s)
2020
A Model-Based Approach to Formal Assurance Cases
Annable, Nicholas
22-Dec-2004
Model-Based Visual Tracking via Maple Code Generation
Korobkine, Alexandre O.
2021
Performance Impact on Neural Network with Partitioned Convolution Implemented with GPU Programming
Lee, Bill
19-Dec-2005
Predictable Run Time Scheduling
Torenvliet, Nick
Apr-2011
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
Pantelic, Vera
Aug-2008
Proving Implementability of Timing Properties with Tolerances
Hu, Xiayong
2019
Safe-AV: A Fault Tolerant Safety Architecture for Autonomous Vehicles
Shah, Syed Asim
2019
Sentinel: A Software Architecture for Safe Artificial Intelligence in Autonomous Vehicles
Deevy, Spencer
Oct-2013
Single Event Upset error detection on routing tracks of Xilinx FPGAs
Taj, Billy
2021
SL2SF: Refactoring Simulink to Stateflow
Wynn-Williams, Stephen
Sep-2006
Symbolic Timing Analysis of Real-Time Systems
Pavlidis, Mark H.
2021
A Systematic Approach to Hazard and Operability Study (HAZOP)
Aoanan, Paul
Oct-2011
A Tabular Expression Toolbox for Matlab/Simulink
Eles, Colin J.
Jun-2015
A Tool For Run Time Soft Error Fault Injection Into FPGA Circuits
Zuzarte, Marvin
2016
Towards Generating Software Modularizations
Schaap, Alexander
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