Ubiquitous computing is resulting in a proliferation of cyber-physical systems that host or
manage valuable physical and digital assets. These assets can be harmed by malicious …

BigraphER is a suite of open-source tools providing an efficient implementation of rewriting,
simulation, and visualisation for bigraphs, a universal formalism for modelling interacting …

Abstract Bigraphical Reactive Systems (BRS) were designed by Milner as a universal
formalism for modelling systems that evolve in time, locality, co-locality and connectivity. But …

We increasingly live in cyber-physical spaces: spaces that are both physical and digital, and
where the two aspects are intertwined. Cyber-physical spaces may exhibit a range of …

While HCI has a long tradition of formally modelling task-based interactions with graphical
user interfaces, there has been less progress in modelling emerging ubiquitous computing …

Bigraphs are a universal computational modelling formalism for the spatial and temporal
evolution of a system in which entities can be added and removed. We extend bigraphs to …

Bigraphs are a universal graph based model, designed for analysing reactive systems that
include spatial and non-spatial (eg communication) relationships. Bigraphs evolve over time …

Bigraphs and bigraphical reactive systems are a well-known meta-model successfully used
for formalizing a wide range of models and situations, such as process calculi, service …

Graphical Internet of Things (IoT) device management platforms, such as IoTtalk, make it
easy to describe interactions between IoT devices. Applications are defined by dragging …

Large-scale wireless sensor networks (WSN) are increasingly deployed and an open
question is how they can support multiple applications. Networks and sensing devices are …