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

Structural and behavioural properties of models are very important in development of
complex systems and applications. In this paper, we investigate such properties for some …

Membrane computing is a new natural computing paradigm inspired by the functioning and
structure of biological cells, and has been successfully applied to many different areas, from …

Search-based testing is widely used for generating test sets. It is also applied in the case of
model-based testing, especially for (extended) finite state machines. In this paper, we define …

This paper illustrates how kernel P systems (kP systems) can be used for modelling and
validating an engineering application, in this case a cruise control system of an electric bike …

P colonies, tissue-like P systems with very simple components, have received constant
attention from the membrane computing community and in the last years several new …

Spiking Neural (SN) P systems is a particular class of P systems that abstracts and applies
ideas from neurobiology. Various aspects, representations and features have been studied …

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

abstract Membrane computing is a new natural computing paradigm inspired by the
functioning and structure of biological cells, and has been successfully applied to many …

Nature inspired computational approaches have been on the focus of researchers for
several decades. Membrane computing [14] is one of these paradigms that has recently …