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
A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................

Caractérisation de réseaux égocentrés par l'énumér
Friday 15 June 2018 - 14h30
Salle : 455 - PCRI-N
Raphaël Charbey .............................................

DATA VERACITY ASSESSMENT: HOW A-PRIORI KNOWLEDGE E
Intégration de données et de connaissances
Friday 15 June 2018 - 14h00
Salle : 445 - PCRI-N
Valentina Beretta .............................................