Model checking is a well-established technique for automatically verifying complex systems.
Recently, model checkers have appeared in computer tools for the analysis of biochemical …

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

Test of integrated circuits (ICs) is essential to ensure their quality; the test is meant to prevent
defective and out-of-spec ICs from entering into the supply chain. The test is conducted by …

Analyzing the long-term behaviors (attractors) of dynamic models of biological networks can
provide valuable insight. We propose a general method that can find the attractors of …

In this paper, dynamics of asynchronous multiple-valued networks (AMVNs) are investigated
based on linear representation. By semitensor product of matrices, we convert AMVNs into …

Abstract Semantics of temporal logic over truncated paths (ie finite paths that correspond to
prefixes of computations of the system at hand) have been found useful in incomplete …

A recurring set of small sub-networks have been identified as the building blocks of
biological networks across diverse organisms. These network motifs are associated with …

Synthesis methods based on formal reasoning are a powerful way to automate the process
of constructing computational models of gene regulatory networks (GRNs) and increase …

In this thesis, we present techniques and algorithms for analysis and synthesis of
synchronous Boolean and multiple-valued networks. Synchronous Boolean and multiple …

This paper reviews most frequently used computational modelling approaches and formal
verification techniques in computational biology. The paper also compares a number of …