about this chapter

presentation abstract bibitem

downloads

book chapter (on HAL) editor version
Jérôme Feret.

Analyse statique et réduction de modèles de voies de signalisation intracellulaire

In Informatique Mathématique. Une photographie en 2023. L. Fuchs (Ed.). CNRS &Editions.
© , 2023.

Résumé : Ce chapitre décrit deux applications des méthodes formelles pour Kappa, un langage de réécriture de graphes à sites utilisé en modélisation de systèmes biologiques. La première est une analyse statique pour détecter des motifs qui ne pourront jamais apparaître en cours d'exécution. La seconde réduit les modèles pour obtenir une représentation concise de leurs comportements sous forme de systèmes d'équations différentielles ordinaires. 

@incollection{feret:hal-04144668,
  TITLE = {{Analyse statique et r{\'e}duction de mod{\`e}les de voies de signalisation intracellulaire}},
  AUTHOR = {Feret, J{\'e}r{\^o}me},
  URL = {https://inria.hal.science/hal-04144668},
  BOOKTITLE = {{Informatique Math{\'e}matique Une photographie en 2023}},
  PUBLISHER = {{CNRS}},
  PAGES = {67},
  YEAR = {2023},
  MONTH = Jun,
  PDF = {https://inria.hal.science/hal-04144668v1/file/ejcim.pdf},
  HAL_ID = {hal-04144668},
  HAL_VERSION = {v1},
  }