Abstract Systems biology is a research area devoted to developing computational
frameworks for modeling biological systems in a holistic fashion. Within this approach, the …

Rule-based approaches (as in our own Kappa, or the BNG language, or many other
propositions allowing the consideration of" reaction classes'') offer new and more powerful …

The behavior of biochemical systems such as metabolic and signaling pathways may
depend on either the location of the reactants or on the time needed for a reaction to occur …

We present here a static analysis, based on Abstract Interpretation [8], obtained by defining
an abstract version of the causal semantics for the Mate/Bud/Drip (MBD) version of Brane …

This paper concerns the application of formal methods to biological systems, modeled
specifically in BioAmbients, a variant of the Mobile Ambients calculus. Following the …

In this paper we propose a static analysis for Brane Calculi [1], based on Abstract
Interpretation [2] techniques. Our analysis statically approximates the dynamic behaviour of …

We present here an analysis, based on Abstract Interpretation [P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by …

Describing and analyzing the large-scale and highly combinatorial systems that arise from
certain mechanistic models in systems biology is still beyond the reach of recent …

In this paper we apply the Abstract Interpretation approach [P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by …

Ce chapitre décrit deux applications des méthodes formelles pour Kappa, un langage de
réécriture de graphes à sites utilisé en modélisation de systèmes biologiques. La première …