| Report ID | Author | Title |
|---|
| YCST-2006-07.pdf | Phillipa Conmy | Safety Analysis of Computer Resource Management Software |
| YCST-2005-09.pdf | M. Ward | Improving the Timing Analysis of Ravenscar / SPARK Ada by Direct Compilation to Hardware |
| YCST-2004-05.pdf | M. D. Bennett | A Kernel For IMA Systems |
| YCST-2004-01.pdf | R. A. Weaver | The Safety of Software - Constructing and Assuring Argument |
| YCST-2001-08.pdf | J. C. Hill | Resolving Complexity in Accident Texts Through Graphical Notations and Hypertext |
| YCST-99-04.ps.Z | I. J. Bate | Scheduling and Timing Analysis for Safety Critical Real-Time Systems |
| YCST-95-11.tar.Z | A. C. Coombes | A Pragmatic Approach to the Formal Development of Safety-Critical Systems |
Research
