| Feasibility of Spatial Model Checking for Nevus Segmentation | 0 | 0.34 | 2021 |
| Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | 0 | 0.34 | 2021 |
| Spatial Model Checking for Smart Stations - Research Challenges. | 0 | 0.34 | 2021 |
| Refined Mean Field Analysis - The Gossip Shuffle Protocol Revisited. | 0 | 0.34 | 2020 |
| VoxLogicA : A Spatial Model Checker for Declarative Image Analysis | 0 | 0.34 | 2019 |
| Embedding RCC8D in the Collective Spatial Logic CSLCS. | 0 | 0.34 | 2019 |
| VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. | 0 | 0.34 | 2019 |
| VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. | 0 | 0.34 | 2019 |
| A Refined Mean Field Approximation for Synchronous Population Processes | 0 | 0.34 | 2018 |
| Spatio-temporal model checking of vehicular movement in public transport systems. | 3 | 0.39 | 2018 |
| Spatial Logics and Model Checking for Medical Imaging (Extended Version). | 0 | 0.34 | 2018 |
| VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). | 0 | 0.34 | 2018 |
| A refined mean field approximation of synchronous discrete-time population models. | 1 | 0.38 | 2018 |
| FlyFast: A Mean Field Model Checker. | 0 | 0.34 | 2017 |
| Design and Optimisation of the FlyFast Front-end for Attribute-based Coordination. | 0 | 0.34 | 2017 |
| FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. | 0 | 0.34 | 2017 |
| Design And Optimisation Of The Flyfast Front-End For Attribute-Based Coordination | 0 | 0.34 | 2017 |
| FlyFast: A Mean Field Model Checker. | 1 | 0.35 | 2017 |
| Spatial Logic and Spatial Model Checking for Closure Spaces. | 10 | 0.50 | 2016 |
| Model Checking Spatial Logics for Closure Spaces | 7 | 0.47 | 2016 |
| A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. | 8 | 0.47 | 2016 |
| From Collective Adaptive Systems To Human Centric Computation And Back: Spatial Model Checking For Medical Imaging | 3 | 0.38 | 2016 |
| On Formal Methods For Collective Adaptive System Engineering {Scalable Approximated Spatial} Analysis Techniques | 0 | 0.34 | 2016 |
| On-The-Fly Mean-Field Model-Checking For Attribute-Based Coordination | 3 | 0.38 | 2016 |
| Investigating Fluid-Flow Semantics Of Asynchronous Tuple-Based Process Languages For Collective Adaptive Systems | 2 | 0.40 | 2015 |
| A Definition Scheme For Quantitative Bisimulation | 0 | 0.34 | 2015 |
| Carma: Collective Adaptive Resource-Sharing Markovian Agents | 18 | 0.88 | 2015 |
| On-The-Fly Fluid Model Checking Via Discrete Time Population Models | 6 | 0.46 | 2015 |
| Towards Automatic Decision Support for Bike-Sharing System Design | 5 | 0.46 | 2015 |
| Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically | 2 | 0.35 | 2015 |
| Exploring Spatio-temporal Properties of Bike-Sharing Systems | 10 | 0.62 | 2015 |
| An Experimental Spatio-Temporal Model Checker | 10 | 0.58 | 2015 |
| On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination | 13 | 0.73 | 2015 |
| On StocS: A Stochastic Extension of SCEL. | 1 | 0.36 | 2015 |
| Stochastically Timed Predicate-Based Communication Primitives For Autonomic Computing | 8 | 0.69 | 2014 |
| Specifying and Verifying Properties of Space. | 21 | 1.01 | 2014 |
| Specifying and Verifying Properties of Space - Extended Version. | 2 | 0.44 | 2014 |
| On-The-Fly Probabilistic Model Checking | 4 | 0.42 | 2014 |
| Stochastic Process Algebra And Stability Analysis Of Collective Systems | 8 | 0.47 | 2013 |
| Continuous approximation of collective system behaviour: A tutorial | 44 | 1.44 | 2013 |
| On-the-fly Fast Mean-Field Model-Checking. | 14 | 0.64 | 2013 |
| On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics. | 11 | 0.65 | 2013 |
| On-the-fly Fast Mean-Field Model-Checking: Extended Version. | 2 | 0.37 | 2013 |
| A uniform definition of stochastic process calculi | 21 | 0.96 | 2013 |
| Bisimulation Of Labeled State-To-Function Transition Systems Of Stochastic Process Languages | 6 | 0.45 | 2012 |
| Fluid analysis of foraging ants | 6 | 0.46 | 2012 |
| Analysing robot swarm decision-making with Bio-PEPA | 4 | 0.46 | 2012 |
| Modelling non-linear crowd dynamics in bio-PEPA | 10 | 0.56 | 2011 |
| Reconciling Population and Agent Models for Crowd Dynamics. | 2 | 0.41 | 2010 |
| Scalable analysis of collective behaviour in smart service systems | 6 | 0.54 | 2010 |
