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
graph algorithms to help molecular construction
Théorie des graphes
Friday 07 June 2019 - 14h30
Salle : 445 - PCRI-N
Stefi Nouleho .............................................

Sur le nombre des (d,k)-polytopes
Combinatoire
Friday 24 May 2019 - 14h30
Salle : 455 - PCRI-N
Rado Rakotonarivo .............................................

Predicting the structure of RNA-binding protein re
Thursday 23 May 2019 - 00h00
Salle : 465 - PCRI-N
François Major .............................................

Enhancing Asynchronous Iterative Linear Solvers Th
Calcul à haute performance
Tuesday 21 May 2019 - 10h30
Salle : 465 - PCRI-N
Masha Sosonkina .............................................

Simulation of the M13 infection in E.coli
Algorithmique distribuée
Friday 10 May 2019 - 14h00
Salle : 465 - PCRI-N
Da-Jung Cho .............................................