Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

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 this paper, we present a novel formal agent-based simulation framework (FABS). FABS
uses formal specification as a means of clear description of wireless sensor networks …

Robotic systems are multi-dimensional entities, combining both hardware and software, that
are heavily dependent on, and influenced by, interactions with the real world. They can be …

Autonomous robots and other systems are no longer just subjects of science fiction, but are
becoming common occurrences in our everyday lives. Autonomous vacuum cleaners …

This paper presents a formal specification-based software monitoring approach that can
dynamically and continuously monitor the behaviors of a target system and explicitly …

Ants are fascinating creatures-not so much because they are intelligent on their own, but
because as a group they display compelling emergent behaviour (the extent to which one …

Software complexity is the main obstacle to further progress in IT industry, as the difficulty of
managing complex and massive computing systems goes well beyond IT administrators' …

Self-organisation can be studied from the perspective of self-management. A system
assumed to have self-management capabilities can behave in the same way a self …

As computing becomes ubiquitous, software correctness has a fundamental role in ensuring
the safety and security of the systems we build. To design and develop software correctly …