Formal analysis of the Wnt/β-catenin pathway through statistical model checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal analysis of the Wnt/β-catenin pathway through statistical model checking

Résumé

The Wnt/β-catenin signalling pathway plays an important role in the proliferation of neural cells, and hence it is the main focus of several research aimed at understanding neurodegenerative pathologies. In this paper we consider a compact model of the basic mechanisms of the Wnt/β-catenin pathway and we analyse its dynamics by application of an expressive temporal logic formalism, namely the Hybrid Automata Stochastic Logic. This allows us to formally characterise, and effectively assess, sophisticated aspects of the Wnt/β-catenin pathway dynamics.
Fichier principal
Vignette du fichier
isola14.pdf (1022.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01819866 , version 1 (21-06-2018)

Identifiants

  • HAL Id : hal-01819866 , version 1

Citer

Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece. ⟨hal-01819866⟩

Collections

EC-PARIS MICS ISEP
53 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More