Research outputs

• ABC-Fun: A Probabilistic Programming Language for Biology

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Patch-based modelling of city-centre bus movement with phase-type distributions

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Contextual Lumpability

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Fluid Performability Analysis of Nested Automata Models

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Benefits of Sometimes Not Being Discrete

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Challenges for Quantitative Analysis of Collective Adaptive Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automated Capacity Planning for PEPA Models

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Service Composition for Collective Adaptive Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Model Checking Single Agent Behaviours by Fluid Approximation

  Research output: Contribution to journal › Article

• Modelling Residential Smart Energy Schemes

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Formal Punctuality Analysis of Frequent Bus Services Using Headway Data

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• CARMA: Collective Adaptive Resource-sharing Markovian Agents

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Speed-up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Quantitative modelling of residential smart grids

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Efficient Checking of Individual Rewards Properties in Markov Population Models

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Finding Optimal Timetables for Edinburgh Bus Routes

  Research output: Contribution to journal › Article

• Efficient stochastic simulation of systems with multiple time scales via statistical abstraction

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Specification and Analysis of Open-Ended Systems with CARMA

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Performance Analysis of Collective Adaptive Behaviour in Time and Space

  Research output: Contribution to journal › Article

• Quantitative Analysis of Collective Adaptive Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Data-driven statistical learning of temporal logic properties

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On hypothesis testing for statistical model checking

  Research output: Contribution to journal › Article

• Hybrid semantics for Bio-PEPA

  Research output: Contribution to journal › Article

• Component Aggregation for PEPA Models: An Approach Based on Approximate Strong Equivalence

  Research output: Contribution to journal › Article

• A statistical approach for computing reachability of non-linear and stochastic dynamical systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A sequential hypothesis test based on a generalized Azuma inequality

  Research output: Contribution to journal › Article

• Abstract Interpretation of PEPA Models

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

• Stochastic and Spatial Equivalences for PALOMA

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Smoothed model checking for uncertain Continuous-Time Markov Chains

  Research output: Contribution to journal › Article

• Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

  Research output: Contribution to journal › Article

• Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Spatial representations and analysis techniques

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Unbiased Bayesian Inference for Population Markov Jump Processes via Random Truncations

  Research output: Contribution to journal › Article

• Probabilistic Programming Process Algebra

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modelling movement for collective adaptive systems with CARMA

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Data as processes: introducing measurement data into CARMA models

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• System design of stochastic models using robustness of temporal properties

  Research output: Contribution to journal › Article

• Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modelling ambulance deployment with CARMA

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Property-driven State-Space Coarsening for Continuous Time Markov Chains

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Hypothesis testing for rare-event simulation: limitations and possibilities

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Validation of Automatic Vehicle Location Data in Public Transport Systems

  Research output: Contribution to journal › Article

• PALOMA: A process algebra for located Markovian agents

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities

  Research output: Contribution to specialist publication › Special issue

• Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Matching Models Across Abstraction Levels with Gaussian Processes

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Statistical abstraction for multi-scale spatio-temporal systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Moment-based Availability Prediction for Bike-Sharing Systems

  Research output: Contribution to journal › Article

• Transient and Steady-State Statistical Analysis for Discrete Event Simulators

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes

  Research output: Contribution to journal › Article

• ProPPA: Probabilistic Programming for Stochastic Dynamical Systems

  Research output: Contribution to journal › Article

• Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Spatio-temporal Model-checking of Vehicular Movement in Public Transport Systems

  Research output: Contribution to journal › Article

• Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction

  Research output: Contribution to journal › Article

• Mesoscopic modelling of pedestrian movement using Carma and its tools

  Research output: Contribution to journal › Article

• Stochastic Process Algebras and their Markovian Semantics

  Research output: Contribution to journal › Article

• Statistical analysis of CARMA models: an advanced tutorial

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Analysis of spatio-temporal properties of stochastic systems using TSTL

  Research output: Contribution to journal › Article