A Methodology based on Formal Methods for Thermal Ablation Area Detection

Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Vanoli

Abstract

Thermal ablation is the process related to the destruction of tissue by elevated tissue temperatures or depressed tissue temperatures. The machine exploited to perform for this process is named thermal ablator, requiring in input the area of the tissue to be subjected to treatment. In this proposal, with the aim to assist doctors in the process of the detection of the area targeted by the thermal ablator, we propose a methodology based on formal methods considering the representation of medical images in terms of formal and mathematical representations for the detection of the area.

Paper Citation

in Harvard Style

Brunese L., Mercaldo F., Santone A. and Vanoli G. (2021). A Methodology based on Formal Methods for Thermal Ablation Area Detection.In Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, ISBN 978-989-758-490-9, pages 191-194. DOI: 10.5220/0010394801910194

in Bibtex Style

@conference{bioinformatics21,
author={Luca Brunese and Francesco Mercaldo and Antonella Santone and Giuseppe Vanoli},
title={A Methodology based on Formal Methods for Thermal Ablation Area Detection},
booktitle={Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS,},
year={2021},
pages={191-194},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010394801910194},
isbn={978-989-758-490-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS,
TI - A Methodology based on Formal Methods for Thermal Ablation Area Detection
SN - 978-989-758-490-9
AU - Brunese L.
AU - Mercaldo F.
AU - Santone A.
AU - Vanoli G.
PY - 2021
SP - 191
EP - 194
DO - 10.5220/0010394801910194