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 1 to 20 of 39 next >

Publication Date	Title	Author(s)
Apr-2012	Applying System-Theoretic Accident Model and Processes (STAMP) to Hazard Analysis	Song, Yao
2021	Assurance Case Templates: Principles for Their Development and Criteria for Their Evaluation	Chowdhury, Thomas
2019	Change Impact Analysis in Simulink Designs of Embedded Systems	Mackenzie, Bennett
May-2010	A context aware framework for product based software certification	Babiy, Volodymyr
2021	Creating An Editor For The Implementation of WorkFlow+: A Framework for Developing Assurance Cases	Chiang, Thomas
Apr-2014	Defect Localization using Dynamic Call Tree Mining and Matching and Request Replication: An Alternative to QoS-aware Service Selection	Yousefi, Anis
Apr-2013	Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis	Breimer, Benjamin
Aug-2007	Developing User-Centric Software Requirements Specifications	Sun , Hongqing
2017	Development of a Control System for a Series-Parallel Plug-In Hybrid Electric Vehicle	Lebel, Alexander
Apr-2005	Documentation and Tools to Support Worst Case Execution Time Analysis	Sun, Jian
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
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

Showing results 1 to 20 of 39 next >