We present the second generation of a rule-based language called Biochemical Space
Language (BCSL) that combines the advantages of different approaches and thus makes an …

Multiset rewriting systems provide a formalism particularly suitable for the description of
biological systems. We present an extension of this formalism with additional controls on the …

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 …

Abstract eBCSgen is a tool for development and analysis of models written in Biochemical
Space Language (BCSL). BCSL is a rule-based language for biological systems designed …

Rule-based modeling languages, such as the Kappa and BioNetGen languages (BNGL),
are powerful frameworks for modeling the dynamics of complex biochemical reaction …

Les sciences du logiciel ont un rôle à jouer pour décrire, organiser, exécuter et analyser les
systèmes d'interactions moléculaires tels que les voies de signalisation biologiques. Ceux-ci …

La fibrose hépatique est une réponse de cicatrisation excessive induite par des lésions
chroniques. Elle se caractérise par une accumulation de matrice extracellulaire (MEC) …

In this thesis we introduce a complete framework for modelling and verification of biological
systems in uncertain contexts based on the bond-calculus process algebra and the LBUC …

The response of cells to their environment is driven by a variety of proteins and messenger
molecules. In eukaryotes, their distribution and location in the cell is regulated by the …

Décrire et analyser les systèmes à grande échelle et fortement combinatoires qui sont issus
de certains modèles mécanistiques de biologie des systèmes est encore hors de portée de …