48 citations · 124 across the 18 of their papers we have counts for
7 papers · 1 filter
MELA: Modelling in Ecology with Location Attributes
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion +1
Ecology studies the interactions between individuals, species and the environment. The ability to predict the dynamics of ecological systems would support the design and monitoring…
Stochastic and Spatial Equivalences for PALOMA
Paul Piho, Jane Hillston
We concentrate our study on a recent process algebra - PALOMA - intended to capture interactions between spatially distributed agents, for example in collective adaptive systems. N…
Efficient Checking of Individual Rewards Properties in Markov Population Models
Luca Bortolussi, Jane Hillston
In recent years fluid approaches to the analysis of Markov populations models have been demonstrated to have great pragmatic value. Initially developed to estimate the behaviour of…
Fluid Model Checking
Luca Bortolussi, Jane Hillston
In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the be…
HYPE with stochastic events
Luca Bortolussi, Vashti Galpin, Jane Hillston
The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence…
Numerically Representing A Stochastic Process Algebra
Jie Ding, Jane Hillston
The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well…