|
|
Propositions de stage
Contacts :
Master 2
- Interprétation abstraite dans les automates finis communicants : théorie et application à la biologie systémique.
- mots clés: vérification formelle, interprétation abstraite, analyse statique, automates communicants, biologie systémique.
- description.
- Inférence des paramètres temporels et stochastiques des réseaux de régulation génique.
- mots clés: estimateurs statistiques, distribution Erlang, processus stochastiques.
- description.
- Modélisation temporelle unificatrice des réseaux de régulation génétique et des réseaux métaboliques.
- Vérification de propriétés temporelles quantitatives sur les réseaux de régulation biologique.
|