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 7 to 26 of 39
< previous
next >
Publication Date
Title
Author(s)
2017
Development of a Control System for a Series-Parallel Plug-In Hybrid Electric Vehicle
Lebel, Alexander
2022
An Encoding of the Clock Cycle Semantics of Bluespec SystemVerilog in PVS
Moore, Nicholas
Nov-2015
An Engineering Methodology for the Formal Verification of Function Block Based Systems
Pang, Linna
2020
A Fault-aware Sensor Fusion System for Autonomous Vehicles
Barkovic, Joshua
Oct-2012
A Formal Approach to Concurrent Error Detection in FPGA LUTs
Bergstra, Jameson P.
Oct-2011
Formal Verification of FPGA Based Systems
Deng, Honghan
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