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

Showing results 1 to 40 of 40

Publication Date	Title	Author(s)
2024	Addressing the shortcomings of commercial-of-the-shelf model-to-model transformations with open-source tools; from SysML to AUTOSAR	Hoyos Rodriguez, Horacio; Siavashi, Faezeh; Jaskolka, Monika; Pantelic, Vera; Lawford, Mark; Paige, Richard
2019	Change Impact Analysis in Simulink Designs of Embedded Systems	Mackenzie, Bennett
2021	Creating An Editor For The Implementation of WorkFlow+: A Framework for Developing Assurance Cases	Chiang, Thomas
2015	Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System	Vakili, Sasan
2021	Design and Modularization of a Hybrid Vehicle Control System	Fella Pellegrino, Augustino
Apr-2013	Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis	Breimer, Benjamin
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
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
2024	State Machine Learning in the Middle of Everything	Lesiuta, Eric
Sep-2006	Symbolic Timing Analysis of Real-Time Systems	Pavlidis, Mark H.
2021	A Systematic Approach to Hazard and Operability Study (HAZOP)	Aoanan, Paul
Oct-2011	A Tabular Expression Toolbox for Matlab/Simulink	Eles, Colin J.
Jun-2015	A Tool For Run Time Soft Error Fault Injection Into FPGA Circuits	Zuzarte, Marvin
2016	Towards Generating Software Modularizations	Schaap, Alexander
19-Sep-2023	Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities	Bandur, Victor; Lawford, Mark; Mosser, Sébastien; Paige, Richard; Pantelic, Vera; Wassyng, Alan
2024	Using Novel Fundus Image Preprocessing to Improve the Classification of Retinopathy of Prematurity (ROP) Using Deep Learning	Rahim, Sajid
-	Using STPA in an ISO 26262 compliant process	Mallya, Archana

Showing results 1 to 40 of 40