Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) BioInfo
Application of Expressive Statistical Model Checking to the analysis of biological stochastic models
P. Ballarini

14 February 2013, 14h30 - 14 February 2013, 15h30
Salle/Bat : 465/PCRI-N
Contact :

Activités de recherche :

Résumé :
Stochastic model checking is a formal technique by means of which formally stated properties of a discrete-state stochastic model can be automatically assessed (i.e. through an algorithm).
The expressive power of stochastic temporal logics (i.e. the formal languages employed to formally express the properties of a stochastic model) is a fundamental aspect in the realm of formal verification, characterising the ability of the modeller to
analyse (i.e understand) a model.
In this presentation we consider a recently introduced stochastic logic, namely the Hybrid Automata Stochastic Logic (HASL), which establishes a powerful framework to express sophisticated measures of a stochastic model.
We will look at the application of the HASL formalism into some biological oriented problem, more specifically: the analysis of the dynamics of a simple model of gene-expression with stochastic delayed dynamics, as well as the analysis of oscillatory trends in a simple sustained oscillator.

Pour en savoir plus :
Séminaires
Knowledge Graph Refinement based on Triplet BERT-N
Gestion de données du Web
Monday 29 November 2021 - 13h00
Salle : 455 - PCRI-N
Armita Khajeh Nassiri .............................................

A Hyper-graph Approach for Computing EL+-Ontology
Raisonnement automatique
Monday 15 November 2021 - 13h00
Salle : 445 - PCRI-N
Hui Yang .............................................

Semantic approaches to predict the presence of asb
Intégration de données et de connaissances
Monday 08 November 2021 - 13h00
Salle : 455 - PCRI-N
Thamer Mecharnia .............................................

Pierre Andrieu - Agrégation de classements pour le
Thursday 21 October 2021 - 00h00
Salle : 435 - PCRI-N
.............................................

A counting argument for graph colouring
Théorie des graphes
Friday 08 October 2021 - 11h00
Salle : 445 - PCRI-N
Francois Pirot .............................................