Formal analysis of the Wnt/β-catenin pathway through statistical model checking
| Autor: | Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny |
|---|---|
| Přispěvatelé: | Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec, Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris, Laboratoire d'Informatique, Signal et Image, Electronique et Télécommunication (LISITE), Institut Supérieur d'Electronique de Paris (ISEP), Ballarini, Paolo |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Wnt/β-catenin
HASL Model Checking [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM] Stochastic modelling [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM] biological path- ways |
| Zdroj: | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece HAL |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|