presentation summary objectives and scientific challenges working schedule affiliated events members and frequent collaborators publications


Formal abstraction of quantitative semantics for protein-protein interaction cellular network models.

Objectives and challenges

We want to investigate formal foundations and computational aspects of both the stochastic and differential approximate semantics for rule-based models: we will relate these semantics formally, then we will design sound approximations for each of these semantics (by abstract interpretation) and investigate scalable algorithms to compute the properties of both the stochastic and the differential semantics. Our approximations focus only on certain projections, thereby reducing the dimension of semantics.

Using formal methods provides several benefits:

Yet, we have to face several challenges: