MacSphere: Browsing 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:

Showing results 13 to 32 of 39 < 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
2024	Migrating to Ethernet-Based Centralized Automotive Architectures	Kapinski, Ryan
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

Showing results 13 to 32 of 39 < previous next >