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
Asymptotic behaviour of the 3-state cyclic cellula
Thursday 11 April 2019 - 13h30
Salle : 465 - PCRI-N
Benjamin Hellouin de Menibus .............................................

Deep learning for phenotype prediction based on ge
Thursday 28 March 2019 - 14h30
Salle : 465 - PCRI-N
Blaize Hanczar .............................................

Non-redundant sampling in RNA Bioinformatics
Thursday 21 March 2019 - 14h30
Salle : 465 - PCRI-N
Juraj Michalik .............................................

Continuous embeddings of DNA sequencing reads, and
Thursday 14 March 2019 - 14h30
Salle : 465 - PCRI-N
Romain Menegaux .............................................

Fighting epidemics with the maximum spectral subgr
Théorie des graphes
Friday 08 March 2019 - 14h30
Salle : 445 - PCRI-N
Paul Beaujean .............................................