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

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

2021

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).

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

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 (BIOSTEC 2021) - Volume 3: BIOINFORMATICS},
year={2021},
pages={85-92},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010186200002865},
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 - 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/0010186200002865
PB - SciTePress