Simon Daniel

Learn More
Few tasks in imaging are more challenging than that of optimizing evaluations of the instrumented spine. The authors describe how applying fundamental and more advanced principles to postoperative spine computed tomography and magnetic resonance examinations mitigates the challenges associated with metal implants and significantly improves image quality and(More)
Though the risk of magnetic resonance imaging (MRI) induced burns has been previously published, the overwhelming nature of this injury combined with its preventable etiology, merit reiteration of the morbidity associated with the use of non-MR-compatible devices in MRI sessions. After describing the patient details, we provide guidelines aimed at(More)
We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bounded Model Checking (BMC) to formal low-level requirements, in order to generate tests automatically that are good enough to replace existing labor-intensive test writing(More)
  • 1