Bifurcation analysis is a central task of the analysis of parameterised high-dimensional
dynamical systems that undergo transitions as parameters are changed. The classical …

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 …

We study the problem of determining the robustness of a multi-agent system of unbounded
size against specifications expressed in a temporalepistemic logic. We introduce a …

When modelling a complex biological system, the bottleneck of the process is the
determination of parameter values that lead to model dynamics that are compatible with …

Complex behaviour arising in biological systems is described by highly parameterised
dynamical models. Most of the parameters are mutually dependent and therefore it is hard …

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 …

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

Mechanistic models in biology often involve numerous parameters about which we do not
have direct experimental information. The traditional approach is to fit these parameters …

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 …