Jonathan Schmitt

Learn More
This paper presents a case study on how to apply formal modeling and verification in the context of quality improvement in medical healthcare. The aim is to verify quality requirements of medical guidelines and clinical treatment protocols that are used to standardize patient care both for general practitioners and hospitals. This research is supported by(More)
—The application of a medical guideline to the treatment of a patient's disease can be seen as the execution of tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a " network of tasks, " that is, as a sequence of steps that have a specific function or goal. In this paper, a(More)
The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer systems. We describe our experiences porting the trfd program from this collection to the Connection Machine CM-200 and CM-5. We find that this program maps well to an SIMD(More)
In the medical domain, there is a tendency to standardize health care by providing medical guidelines as summary of the best evidence concerning a particular topic. Based on the assumption that guidelines are similar to software, we try to carry over techniques from software engineering to guideline development. In this paper, we show how to apply formal(More)
The following full text is a preprint version which may differ from the publisher's version. Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a 'network of tasks', i.e., as a number of(More)
The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many of such guidelines can be represented as a 'network of tasks', i.e., as a number of steps that have a specific function or goal. To investigate the quality of such guidelines we propose a(More)
  • 1