Browsing by Author Lawford, Mark
Showing results 17 to 27 of 27
< previous
| Publication Date | Title | Author(s) |
|---|---|---|
| 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 |
| Sep-2006 | Symbolic Timing Analysis of Real-Time Systems | Pavlidis, Mark H. |
| 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 |
| - | Using STPA in an ISO 26262 compliant process | Mallya, Archana |
