A Methodology based on Formal Methods for Thermal Ablation Area Detection

Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli

2021

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 (BIOSTEC 2021) - Volume 3: BIOINFORMATICS; ISBN 978-989-758-490-9, SciTePress, pages 191-194. DOI: 10.5220/0010394800002865

in Bibtex Style

@conference{bioinformatics21,
author={Luca Brunese and Francesco Mercaldo and Antonella Santone and Giuseppe Peter 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 (BIOSTEC 2021) - Volume 3: BIOINFORMATICS},
year={2021},
pages={191-194},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010394800002865},
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 (BIOSTEC 2021) - 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/0010394800002865
PB - SciTePress