Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

Simulation has become an indispensable tool for researchers to explore systems without
having recourse to real experiments. Depending on the characteristics of the modeled …

Driven by the availability of experimental data and ability to simulate a biological scale
which is of immediate interest, the cellular scale is fast emerging as an ideal candidate for …

Individual-based or agent-based models have proved useful in a variety of different
biological contexts. This paper presents an agent-based model using a formal …

This paper describes the design of an agent-based modelling framework for high
performance computing. Rather than a collection of methods that require parallel …

Nature is governed by local interactions among lower-level sub-units, whether at the cell,
organ, organism, or colony level. Adaptive system behaviour emerges via these interactions …

Closely coupled in vitro and in virtuo models have been used to explore the self-
organization of normal human keratinocytes (NHK). Although it can be observed …

Agent based modelling (ABM) offers a powerful abstraction for scientific study in a broad
range of domains. The use of agent based simulators encourages good software …

In this paper we study an economy with a high degree of financialization in which (non-
financial) firms need loans from commercial banks to finance production, service debt, and …

FLAME GPU is an agent based simulation frame-work that utilises the parallel architecture of
Graphic Processing Unit (GPU) to enable real time model interaction and visualisation. In …