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 13 to 32 of 39
< previous
next >
Publication Date
Title
Author(s)
2019
GSN Models of Safety Assurance for the Automotive Industry
Bayzat, Alison
2018
High-Fidelity Simulation Model of a Dual FIFO CAN Stack
Qian, Zhizhao
Nov-2015
Higher-Fidelity Modelling and Simulation of the CAN Protocol Stack
Whinton, Grant
12-Apr-2011
Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment
Iqbal, Asif
Jun-2015
Implementability of Requirements for Safety-Critical Embedded Systems
Patcas, Lucian
Dec-2005
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking
Pantelic, Vera
2020
Intersection Simulation and Path Estimation
Milo, Curtis
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
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.