Related Experiment Video
Updated: May 14, 2026

A Combined 3D Tissue Engineered In Vitro/In Silico Lung Tumor Model for Predicting Drug Effectiveness in Specific Mutational Backgrounds
Published on: April 6, 2016
TAT-based formal representation of medical guidelines: imatinib case-study
Alena Simalatsar1, Giovanni De Micheli
1Integrated Systems Laboratory, EPFL, 1015 Lausanne, Switzerland. alena.simalatsar@epfl.ch
Abstract:
Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.
Related Concept Videos
Combination Therapies and Personalized Medicine
The combination of the drug acetazolamide and sulforaphane is a good example of combination therapy to treat cancer. The cells in the interior of a large tumor often die due to the hypoxic and...
Targeted Cancer Therapies
There are several types of targeted therapies against specific...
Therapeutic Drug Monitoring: Affecting Factors
Pharmacogenetics of Drug Targets: β₂-Adrenergic Receptors, Apo E, Thymidylate Synthase
