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 …

In recent years the concept of emergence has gained much attention as ICT systems have
started exhibiting properties usually associated with complex systems. Although emergence …

The real world is a dynamic place where things change in an unexpected way. Software
must be able to adapt these changes to work efficiently in the real world. Modeling of the …

This paper addresses the problem of verifying properties of behaviour-based systems used
for controlling robots. A behaviour-based system typically consists of many interconnected …

FLAME allows complex models to be automatically parallelised on High Performance
Computing (HPC) grids enabling large number of agents to be simulated over short periods …

This paper describes a new approach for verifying complex behavior-based systems (BBS).
BBS consist of rather simple interconnected behaviors. The strength of behavior-based …

In recent years the concept of emergence has gained much attention as computer systems
have started exhibiting properties usually associated with complex systems. Although …

Formal development of agent systems with inherent high complexity is not a trivial task,
especially if a formal method used is not accompanied by an appropriate methodology. X …

Develo** correct and complete real-world software applications is a difficult task in terms
of the number and flexibility of the essential components and their interrelationship. As the …

This paper presents quantitative aspects of an approach for the modelling and verification of
behaviour networks published previously and describes the application of said modelling …