Boolean networks (BNs) provide an effective modelling tool for various phenomena from
science and engineering. Any long-term behaviour of a BN eventually converges to a so …

Complex behaviour arising in biological systems is typically characterised by various kinds
of attractors. An important problem in this area is to determine these attractors. Biological …

In our previous work, we designed and implemented a synthetic metabolic pathway for 1, 2,
3-trichloropropane (TCP) biodegradation in Escherichia coli. Significant effects of metabolic …

We present a novel tool for parameter synthesis of piecewise multi-affine dynamical systems
from specifications expressed in a hybrid branching-time temporal logic. The tool is based …

Chemical reaction networks are a popular formalism for modeling biological processes
which supports both a deterministic and a stochastic interpretation based on ordinary …

Parametrised models of dynamical systems arise in various areas of science. In this work,
we focus on models described as parametrised Kripke structures with properties formulated …

Many natural processes studied in population biology, systems biology, biochemistry,
chemistry or physics are modeled by dynamical systems with polynomial or rational right …

Formal verification techniques together with other computer science formal methods have
been recently tailored for applications to biological and biomedical systems. In contrast to …

Abstract Partially Specified Boolean Networks (PSBNs) represent a family of Boolean
models resulting from possible interpretations of unknown update logics. Hybrid extension of …

It has been our privilege to serve as the program chairs for CAV 2017, the 29th International
Conference on Computer-Aided Verification. CAV 2017 was held in beautiful Heidelberg …