Accepted papers
- Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche and Franck Grammont, Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems
- Eugenio Cinquemani, On observability and reconstruction of promoter activity statistics from reporter protein mean and variance profiles
- Sucheendra K. Palaniappan, Matthieu Pichené, Gregory Batt, Eric Fabre and Blaise Genest, A Look-ahead Simulation Algorithm for DBN Models of Biochemical Pathways
- Hugues Mandon, Stefan Haar and Loïc Paulevé, Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
- Luca Bortolussi, Alberto Policriti and Simone Silvetti, Logic-based Multi-Objective Design of Chemical Reaction Networks
- Matej Hajnal, David Šafránek, Martin Demko, Samuel Pastva, Pavel Krejčí and Lubos Brim, Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways
- Mostafa Herajy and Monika Heiner, Accelerated Simulation of Hybrid Biological Models with Quasi-disjoint Deterministic and Stochastic Subnets
- Thilo Krüger and Verena Wolf, Hybrid stochastic simulation of rule-based polymerization models
- Alexandre Rocca, Thao Dang, Eric Fanchon and Jean-Marc Moulis, Application of the Reachability Analysis for the Iron Homeostasis Study
- Andreea Beica and Vincent Danos, Synchronous Balanced Analysis
- Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang and Christian Schilling, Discrete Abstraction of Multiaffine Systems