TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism

Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet

Abstract

When designing a biological regulatory network, new information or wet experiments can require adding variables or interactions, inside a previously validated model. They can result in complete reconsiderations of established behaviours. Fortunately, formal methods allow for fully automated verification of properties, and TotemBioNet is an efficient software integrating a collection of formal approaches for regulatory networks. It allowed us to develop a multidisciplinary methodology for designing large dynamical models in an incremental way, including non regression proofs (preservation of important biological properties).

Download


Paper Citation


in Harvard Style

Gibart L., Bernot G., Collavizza H. and Comet J. (2021). TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.In Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, ISBN 978-989-758-490-9, pages 85-92. DOI: 10.5220/0010186200850092


in Bibtex Style

@conference{bioinformatics21,
author={Laetitia Gibart and Gilles Bernot and Hélène Collavizza and Jean-Paul Comet},
title={TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism},
booktitle={Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS,},
year={2021},
pages={85-92},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010186200850092},
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 - TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism
SN - 978-989-758-490-9
AU - Gibart L.
AU - Bernot G.
AU - Collavizza H.
AU - Comet J.
PY - 2021
SP - 85
EP - 92
DO - 10.5220/0010186200850092