Interactive verification of medical guidelines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 32-47

  Schmitt, Jonathan ^a   Hoffmann, Alwin ^a   Balser, Michael ^a   Reif, Wolfgang ^a   Marcos, Mar ^b  

^a UNIVERSITY OF AUGSBURG   (Germany)

^b UNIVERSITAT JAUME I   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DISEASES; MATHEMATICAL MODELS; REGULATORY COMPLIANCE;

INTERACTIVE VERIFICATION; MEDICAL GUIDELINES;

INTERACTIVE COMPUTER SYSTEMS;

EID: 33749376892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_3     Document Type: Conference Paper

References (17)

1. Seyfang, A., Kosara, R., Miksch, S.: Asbru 7.3 reference manual. Technical report, Vienna University of Technology (2002)
2. Seyfang, A., Miksch, S., Marcos, M.: Combining diagnosis and treatment using Asbru. International Journal of Medical Informatics 68((1-3)) (2002) 49-57
3. Marcos, M., Roomans, H., ten Teije, A., van Harmelen, F.: Improving medical protocols through formalisation: a case study. In: Proc. of the Session on Formal Methods in Healthcare, 6th International Conference on Integrated Design and Process Technology (IDPT-02). (2002)
4. Balser, M., Duelli, C., Reif, W.: Formal semantics of Asbru - An Overview. In: Proceedings of IDPT 2002, Society for Design and Process Science (2002)
5. Bäumler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking - a case study. In: SPIN conference proceedings. (2006) to appear.
6. Baiser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In Maibaum, T., ed.: Fundamental Approaches to Software Engineering. Number 1783 in LNCS, Springer-Verlag (2000)
7. AAP: American Academy of Pediatrics, Provisional Committee for Quality Improvement and Subcommittee on Hyperbilirubinemia. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94 (1994) 558-565
8. Baiser, M.: Verifying Concurrent System with Symbolic Execution - Temporal Reasoning is Symbolic Execution with a Little Induction. PhD thesis, University of Augsburg, Augsburg, Germany (2005)
9. Stegers, R.: From natural language to formal proof goal: Structured goal formalisation applied to medical guidelines. Master's thesis, Vrije Universiteit, Amsterdam (2006)
10. Balser, M., Duelli, C., Reif, W., Schellhorn, G.: Verifying concurrent systems with symbolic execution. Journal of Logic and Computation 12(4) (2002) 549-560
11. Peleg, M., Tu, S., Bury, J., Ciccarese, P., Fox, J., Greenes, R., Hall, R., Johnson, P., Jones, N., Kumar, A., Miksch, S., Quaglini, S., Seyfang, A., Shortliffe, E., Stefanelli, M.: Comparing Computer-interpretable Guideline Models: A Case-study Approach. Journal of the American Medical Informatics Association 10(1) (2003) 52-68
12. Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PRO-forma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54 (1997) 59-67
13. Paulson, L.C.: Isabelle: A Generic Theorem Prover. LNCS 828. Springer (1994)
14. Manna, Z., the STeP group: Step: The Stanford temporal prover. Technical report, Computer Science Department, Stanford University (1994)
15. McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers (1990)
16. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley (2003)
17. Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: Kronos: A model-checking tool for real-time systems. In Hu, A.J., Vardi, M.Y., eds.: Proc. 10th International Conference on Computer Aided Verification, Vancouver, Canada. Volume 1427., Springer-Verlag (1998) 546-550