38 citations · 78 across the 12 of their papers we have counts for
12 papers
Signalling Health for Improved Kubernetes Microservice Availability
Jacob Roberts, Blair Archibald, Phil Trinder
Microservices are often deployed and managed by a container orchestrator that can detect and fix failures to maintain the service availability critical in many applications. In Pol…
A Digital Twinning Approach to Decarbonisation: Research Challenges
Blair Archibald, Paul Harvey, Michele Sevegnani
Transportation accounts for around 27% of green house gas emissions in the UK. While an obvious priority area for decarbonisation, and aligned to the UK government goal of reducing…
Modelling Real-time Systems with Bigraphs
Maram Albalwe, Blair Archibald, Michele Sevegnani
Bigraphical Reactive Systems (BRSs) are a graph-rewriting formalism describing systems evolving in two dimensions: spatially, e.g. a person in a room, and non-spatially, e.g. mobil…
Practical Modelling with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
Bigraphs are a versatile modelling formalism that allows easy expression of placement and connectivity relations in a graphical format. System evolution is user defined as a set of…
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction
Ayodeji O. Abioye, William Hunt, Yue Gu +7
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circums…
Parallel Flowshop in YewPar
Ignas Knizikevičius, Phil Trinder, Blair Archibald +1
Parallelism may reduce the time to find exact solutions for many Operations Research (OR) problems, but parallelising combinatorial search is extremely challenging. YewPar is a new…
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
Blair Archibald, Muffy Calder, Michele Sevegnani +1
Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and abl…
FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows
Sonia Natalie Mitchell, Andrew Lahiff, Nathan Cummings +35
Modern epidemiological analyses to understand and combat the spread of disease depend critically on access to, and use of, data. Rapidly evolving data, such as data streams changin…
Modelling and Verifying BDI Agents with Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani +1
The Belief-Desire-Intention (BDI) architecture is a popular framework for rational agents; most verification approaches are based on reasoning about implementations of BDI programm…
Probablistic Bigraphs
Blair Archibald, Muffy Calder, Michele Sevegnani
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 prob…
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers
Jeremy Singer, Blair Archibald
What kinds of mistakes are made by novice Haskell developers, as they learn about functional programming? Is it possible to analyze these errors in order to improve the pedagogy of…
Replicable Parallel Branch and Bound Search
Blair Archibald, Patrick Maier, Ciaran McCreesh +2
Combinatorial branch and bound searches are a common technique for solving global optimisation and decision problems. Their performance often depends on good search order heuristic…