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 13 to 32 of 37
< previous
next >
Publication Date
Title
Author(s)
2008
GVariant: Efficient Partial Deserialisation
Lortie, Ryan
Sep-2008
Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications
Bandur, Victor
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
Nov-2015
A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems
Chen, Wen
Apr-2012
Identification and Documentation of Environmental Assumptions for the PACEMAKER System
WANG, Vivien You
12-Apr-2011
Identifying Modifications and Generating Dependency Graphs for Impact Analysis in a Legacy Environment
Iqbal, Asif
Dec-2004
Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach
Shi, Hongying
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
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