Multi-Level Verification of Clinical Protocols

@inproceedings{Duftschmid1998MultiLevelVO,
  title={Multi-Level Verification of Clinical Protocols},
  author={Georg Duftschmid and Silvia Miksch and Yuval Shahar and Peter D. Johnson},
  booktitle={EUROVAV},
  year={1998}
}
In the medical domain, clinical practice guidelines and protocols build a commonly accepted way to improve patient health care. During the last years various approaches have been presented to support the computerization of such guidelines and protocols. However, the verification of clinical protocols has not become an extensive research topic yet. In this paper we will present a partial and domain-specific verification approach to identify particular anomalies in protocols. Our approach is… CONTINUE READING

Figures, Tables, and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

An Algorithmic Approach to Personalized Drug Concentration Predictions

VIEW 11 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Medical guidelines reconciling medical software and electronic devices: Imatinib case-study

  • 2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)
  • 2012
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Cyber-Medical Systems: Requirements, Components and Design Examples

  • IEEE Transactions on Circuits and Systems I: Regular Papers
  • 2017
VIEW 1 EXCERPT
CITES METHODS

A Drug Administration Decision Support System

  • 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops
  • 2012
VIEW 2 EXCERPTS

TAT-based formal representation of medical guidelines: Imatinib case-study

  • 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society
  • 2012
VIEW 2 EXCERPTS
CITES METHODS

Formal Methods for Verification of Clinical Practice Guidelines

  • Computer-based Medical Guidelines and Protocols
  • 2008
VIEW 1 EXCERPT
CITES METHODS

Temporal reasoning for decision support in medicine

  • Artificial Intelligence in Medicine
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 10 REFERENCES

Supporting tools for guideline development and dissemination

  • Artificial Intelligence in Medicine
  • 1998
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Instantiating and monitoring skeletal treatment plans.

  • Methods of information in medicine
  • 1996
VIEW 2 EXCERPTS

The EON model of intervention protocols and guidelines.

  • Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium
  • 1996
VIEW 2 EXCERPTS

An architecture for a distributed guideline server.

  • Proceedings. Symposium on Computer Applications in Medical Care
  • 1995
VIEW 1 EXCERPT

Greenes , ’ Improving Clinical Guidelines with Logic and DecisionTable Techniques ’ , in

A. R.
  • Medical Decision Making
  • 1995

Similar Papers

Loading similar papers…