The logical (or logic) formalism is increasingly used to model regulatory and signaling
networks. Complementing these applications, several groups contributed various methods …

Computational modeling constitutes a crucial step toward the functional understanding of
complex cellular networks. In particular, logical modeling has proven suitable for the …

The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …

Model-checking is a methodology developed in computer science to automatically assess
the dynamics of discrete systems, by checking if a system modelled as a state-transition …

In this paper we present PRISM-PSY, a novel tool that performs precise GPU-accelerated
parameter synthesis for continuous-time Markov chains and time-bounded temporal logic …

We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL
hypotheses. The algorithm colours the state space transitions by different parameterisations …

In this paper, we survey recent work on the use of statistical model checking techniques for
biological applications. We begin with an overview of the basic modelling techniques for …

The chapter shines a light on the strong links shared by Artificial intelligence and
Bioinformatics since many years. Bioinformatics offers many NP-hard problems that are …

Standard techniques for model checking stochastic multi-agent systems usually assume the
transition probabilities describing the system dynamics to be stationary and completely …

Insights gained from multilevel computational models of biological systems can be
translated into real-life applications only if the model correctness has been verified first. One …