Modeling and simulation in systems biology seeks to understand the dynamic behavior of living cells. Biological knowledge is quickly increasing, and modeling and simulation are now faced with systems of complex control, with stochastic effects and increasing size. Formal modeling approaches are thus essential for proper model verification and system prediction. The Biocomputing team develops and studies languages for modeling and simulating bio-molecular systems as well as static analysis methods. Our approach is based on concurrent programming languages with stochastic semantics.
Exact and Structural Simplifications of Biological Reaction Networks 2017-02-28
Modélisation spatiale des effets de la communauté 2014-03-26
Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents 2007-01-24
Concurrent Programming Languages Approaches to Biological Modeling 2013-12-13