A Case Study Using the IMSE Experimentation Tool. - Jane Hillston; Andreas L. Opdahl; Rob Pooley (CAiSE, 1991)

The Performance Analysis Process. - Rob Pooley; Jane Hillston (Computer and Telecommunications Performance Engineering, 1991)

The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. - Stephen Gilmore; Jane Hillston (Computer Performance Evaluation, 1994)

Stochastic process algebras: integrating qualitative and quantitative modelling. - Jane Hillston; Holger Hermanns; Ulrich Herzog; Vassilis Mertsiotakis; Michael Rettelbach (FORTE, 1994)

A compositional approach to performance modelling. - Jane Hillston (1994)

A comparison of performance evaluation process algebra and generalized stochastic Petri nets. - Susanna Donatelli; Marina Ribaudo; Jane Hillston (PNPM, 1995)

Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. - Stephen Gilmore; Jane Hillston (Comput. J., 1995)

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. - Peter G. Harrison; Jane Hillston (Comput. J., 1995)

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. - Jane Hillston; Vassilis Mertsiotakis (Comput. J., 1995)

A Tool to Enhance Model Exploitation. - Jane Hillston (Perform. Evaluation, 1995)

Specifying Performance Measures for PEPA. - Graham Clark; Stephen Gilmore; Jane Hillston (ARTS, 1999)

Experiences with the PEPA performance modelling. - Graham Clark; Stephen Gilmore; Jane Hillston; Nigel Thomas (IEE Proc. Softw., 1999)

Product Form Solution for a Class of PEPA Models. - Jane Hillston; Nigel Thomas (Perform. Evaluation, 1999)

Exploiting Modal Logic to Express Performance Measures. - Graham Clark; Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2000)

Exploiting Structure in Solution: Decomposing Compositional Models. - Jane Hillston (European Educational Forum: School on Formal Methods and Performance Analysis, 2000)

The PEPA Feature Construct. - Stephen Gilmore; Jane Hillston (FIREworks, 2000)

Amalgamation of Transition Sequences in the PEPA Formalism. - Jane Hillston; J. Tomasik (ICALP Satellite Workshops, 2000)

An Efficient Kronecker Representation for PEPA Models. - Jane Hillston; Leïla Kloul (PAPM-PROBMIV, 2001)

A Comparison of the Expressiveness of SPA and Bounded SPN Models. - Jane Hillston; Laura Recalde; Marina Ribaudo; Manuel Silva Suárez (PNPM, 2001)

Performance investigation of an on-line auction system. - Jane Hillston; Leïla Kloul (Concurr. Comput. Pract. Exp., 2001)

An Efficient Algorithm for Aggregating PEPA Models. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (IEEE Trans. Software Eng., 2001)

PEPA Nets: A Structured Performance Modelling Formalism. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2002)

Product form solution for an insensitive stochastic process algebra structure. - Graham Clark; Jane Hillston (Perform. Evaluation, 2002)

Unified specification and performance evaluation using stochastic process algebras. - Roberto Gorrieri; Ulrich Herzog; Jane Hillston (Perform. Evaluation, 2002)

Performance Evaluation for Global Computation. - Linda Brodo; Pierpaolo Degano; Stephen Gilmore; Jane Hillston; Corrado Priami (Global Computing, 2003)

PEPA Nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul (MASCOTS Tutorials, 2003)

PEPA nets: a structured performance modelling formalism. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (Perform. Evaluation, 2003)

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. - Stephen Gilmore; Valentin Haenel; Jane Hillston; Leïla Kloul (FORTE Workshops, 2004)

Evaluating the Performance of Skeleton-Based High Level Parallel Programs. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (International Conference on Computational Science, 2004)

Modelling Mobility with PEPA Nets. - Jane Hillston; Marina Ribaudo (ISCIS, 2004)

Analysing UML 2.0 activity diagrams in the software performance engineering process. - C. Canevet; Stephen Gilmore; Jane Hillston; Leïla Kloul; Perdita Stevens (WOSP, 2004)

Software performance modelling using PEPA nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (WOSP, 2004)

Securing Statically-verified Communications Protocols Against Timing Attacks. - Mikael Buchholtz; Stephen T. Gilmore; Jane Hillston; Flemming Nielson (PASM, 2004)

Towards a Feasible Active Networking Scenario. - Jane Hillston; Leïla Kloul; Amdjed Mokhtari (Telecommun. Syst., 2004)

Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (CCGRID, 2005)

Flexible Skeletal Programming with eSkel. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Euro-Par, 2005)

Process Algebras for Quantitative Analysis. - Jane Hillston (LICS, 2005)

Using eSkel to Implement the Multiple Baseline Stereo Application. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (PARCO, 2005)

Fluid Flow Approximation of PEPA models. - Jane Hillston (QEST, 2005)

Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Comput. J., 2005)

Tuning Systems: From Composition to Performance (The Needham Lecture). - Jane Hillston (Comput. J., 2005)

Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Scalable Comput. Pract. Exp., 2005)

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. - Muffy Calder; Adam Duguid; Stephen Gilmore; Jane Hillston (CMSB, 2006)

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. - Grégory Batt; Jeremy T. Bradley; Roland Ewald; François Fages; Holger Hermanns; Jane Hillston; Peter Kemper; Alke Martens; Pieter J. Mosterman; Flemming Nielson; Oleg Sokolsky; Adelinde M. Uhrmacher (Simulation and Verification of Dynamic Systems, 2006)

Population models from PEPA descriptions. - Jane Hillston (Simulation and Verification of Dynamic Systems, 2006)

A Function-Equivalent Components Based Simplification Technique for PEPA Models. - Jane Hillston; Leïla Kloul (EPEW, 2006)

A design environment for mobile applications. - Stephen Gilmore; Valentin Haenel; Jane Hillston; Jennifer Tenzer (IPDPS, 2006)

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. - Muffy Calder; Stephen Gilmore; Jane Hillston (Trans. Comp. Sys. Biology, 2006)

Modelling Yeast Pre-rRNA Processing. - Federica Ciocchetta; Jane Hillston; Martin Kos; David Tollervey (CMSB, 2007)

PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. - Hao Wang; David I. Laurenson; Jane Hillston (MASCOTS, 2007)

Evaluation of the QoS of crash-recovery failure detection. - Tiejun Ma; Jane Hillston; Stuart Anderson (SAC, 2007)

Stochastic Process Algebras. - Allan Clark; Stephen Gilmore; Jane Hillston; Mirco Tribastone (SFM, 2007)

Quantitative analysis of biochemical signalling pathways. - Jane Hillston (VALUETOOLS, 2007)

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. - Federica Ciocchetta; Jane Hillston (FBTC@CONCUR, 2007)

A Structural Approach for Modelling Performance of Systems Using Skeletons. - Gagarine Yaikhom; Murray Cole; Stephen Gilmore; Jane Hillston (QAPL, 2007)

Formal techniques for performance analysis: blending SAN and PEPA. - Jane Hillston; Leïla Kloul (Formal Aspects Comput., 2007)

Integrated Analysis from Abstract Stochastic Process Algebra Models. - Jane Hillston; Federica Ciocchetta; Adam Duguid; Stephen Gilmore (CMSB, 2008)

The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. - Laurence Loewe; Jane Hillston (CMSB, 2008)

Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. - Hao Wang; David I. Laurenson; Jane Hillston (ICC, 2008)

An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. - Hao Wang; David I. Laurenson; Jane Hillston (PIMRC, 2008)

Process Algebras in Systems Biology. - Federica Ciocchetta; Jane Hillston (SFM, 2008)

Improved Continuous Approximation of PEPA Models through Epidemiological Examples. - Soufiene Benkirane; Jane Hillston; Chris McCaig; Rachel Norman; Carron Shankland (FBTC@ICALP, 2008)

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; Jane Hillston; Muffy Calder (FBTC@ICALP, 2008)

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. - Federica Ciocchetta; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM@EPEW, 2008)

HYPE Applied to the Modelling of Hybrid Biological Systems. - Vashti Galpin; Jane Hillston; Luca Bortolussi (MFPS, 2008)

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. - Jeremy T. Bradley; Stephen T. Gilmore; Jane Hillston (J. Comput. Syst. Sci., 2008)

Foreword. - Stephen Gilmore; Jane Hillston (SIGMETRICS Perform. Evaluation Rev., 2008)

Performance evaluation comes to life: quantitative methods applied to biological systems. - Stephen Gilmore; Jane Hillston (SIGMETRICS Perform. Evaluation Rev., 2008)

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA. - Federica Ciocchetta; Jane Hillston; Martin Kos; David Tollervey (Theor. Comput. Sci., 2008)

Relating continuous and discrete PEPA models of signalling pathways. - Nil Geisweiller; Jane Hillston; Marco Stenico (Theor. Comput. Sci., 2008)

Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style. - Jane Hillston; Adam Duguid (Algorithmic Bioprocesses, 2009)

Equivalence and Discretisation in Bio-PEPA. - Vashti Galpin; Jane Hillston (CMSB, 2009)

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. - Vashti Galpin; Luca Bortolussi; Jane Hillston (CONCUR, 2009)

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; John K. Heath; Jane Hillston (Formal Methods in Molecular Biology, 2009)

The Bio-PEPA Tool Suite. - Federica Ciocchetta; Adam Duguid; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (QEST, 2009)

Design and Development of Software Tools for Bio-PEPA. - Adam Duguid; Stephen T. Gilmore; Maria Luisa Guerriero; Jane Hillston; Laurence Loewe (WSC, 2009)

Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA - Laurence Loewe; Stuart L. Moodie; Jane Hillston (COMPMOD, 2009)

Cost-based admission control for Internet Commerce QoS enhancement. - Yussuf Abu-Shaaban; Jane Hillston (Electron. Commer. Res. Appl., 2009)

Bio-PEPA for Epidemiological Models. - Federica Ciocchetta; Jane Hillston (PASM@MASCOTS, 2009)

Bio-PEPA: A framework for the modelling and analysis of biological systems. - Federica Ciocchetta; Jane Hillston (Theor. Comput. Sci., 2009)

Process Algebra Modelling Styles for Biomolecular Processes. - Muffy Calder; Jane Hillston (Trans. Comp. Sys. Biology, 2009)

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. - Jane Hillston; Marta Z. Kwiatkowska; Miklós Telek (IEEE Trans. Software Eng., 2009)

Performance Modelling of Content Adaptation for a Personal Distributed Environment. - Jie Ding; Jane Hillston; David I. Laurenson (Wirel. Pers. Commun., 2009)

Structural Analysis for Stochastic Process Algebra Models. - Jie Ding; Jane Hillston (AMAST, 2010)

Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. - Jie Ding; Jane Hillston; David I. Laurenson (ICC, 2010)

Reconciling Population and Agent Models for Crowd Dynamics. - Andrea Bracciali; Jane Hillston; Diego Latella; Mieke Massink (LAM@LICS, 2010)

Process Algebras for Collective Dynamics. - Jane Hillston (MPC, 2010)

Hybrid Semantics for PEPA. - Luca Bortolussi; Vashti Galpin; Jane Hillston; Mirco Tribastone (QEST, 2010)

VERIFICATION AND TESTING OF BIOLOGICAL MODELS. - Allan Clark; Jane Hillston; Stephen Gilmore; Peter Kemper (WSC, 2010)

Investigating modularity in the analysis of process algebra models of biochemical systems - Federica Ciocchetta; Maria Luisa Guerriero; Jane Hillston (FBTC, 2010)

Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models - Jie Ding; Jane Hillston (CoRR, 2010)

Modeling biological systems with delays in Bio-PEPA - Giulio Caravagna; Jane Hillston (MeCBIC, 2010)

Numerically Representing A Stochastic Process Algebra - Jie Ding; Jane Hillston (CoRR, 2010)

Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA. - Federica Ciocchetta; Andrea Degasperi; John K. Heath; Jane Hillston (Trans. Comp. Sys. Biology, 2010)

On the Quality of Service of Crash-Recovery Failure Detectors. - Tiejun Ma; Jane Hillston; Stuart Anderson (IEEE Trans. Dependable Secur. Comput., 2010)

A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments. - Hao Wang; David I. Laurenson; Jane Hillston (Wirel. Pers. Commun., 2010)

Modelling Non-linear Crowd Dynamics in Bio-PEPA. - Mieke Massink; Diego Latella; Andrea Bracciali; Jane Hillston (FASE, 2011)

HYPE with stochastic events - Luca Bortolussi; Vashti Galpin; Jane Hillston (QAPL, 2011)

A semi-quantitative equivalence for abstracting from fast reactions - Vashti Galpin; Jane Hillston; Federica Ciocchetta (CompMod, 2011)

A semantic equivalence for Bio-PEPA based on discretisation of continuous values. - Vashti Galpin; Jane Hillston (Theor. Comput. Sci., 2011)

Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway. - Laurence Loewe; Maria Luisa Guerriero; Steven Watterson; Stuart L. Moodie; Peter Ghazal; Jane Hillston (Trans. Comp. Sys. Biology, 2011)

Fluid Model Checking. - Luca Bortolussi; Jane Hillston (CONCUR, 2012)

Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. - Alireza Pourranjbar; Jane Hillston; Luca Bortolussi (EPEW/UKPEW, 2012)

Fluid Approximation of CTMC with Deterministic Delays. - Luca Bortolussi; Jane Hillston (QEST, 2012)

Numerically Representing Stochastic Process Algebra Models. - Jie Ding; Jane Hillston (Comput. J., 2012)

Stochastic Process Algebras: From Individuals to Populations. - Jane Hillston; Mirco Tribastone; Stephen Gilmore (Comput. J., 2012)

Hybrid performance modelling of opportunistic networks - Luca Bortolussi; Vashti Galpin; Jane Hillston (QAPL, 2012)

Stochastic Modelling of the Kai-based Circadian Clock. - Chris J. Banks; Allan Clark; Anastasis Georgoulas; Stephen Gilmore; Jane Hillston; Dimitrios Milios; Ian Stark (PASM/PDMC, 2012)

Conservation of Mass Analysis for Bio-PEPA. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM/PDMC, 2012)

Scalable context-dependent analysis of emergency egress models. - Mieke Massink; Diego Latella; Andrea Bracciali; Michael D. Harrison; Jane Hillston (Formal Aspects Comput., 2012)

Bio-PEPAd: A non-Markovian extension of Bio-PEPA. - Giulio Caravagna; Jane Hillston (Theor. Comput. Sci., 2012)

Fluid Rewards for a Stochastic Process Algebra. - Mirco Tribastone; Jie Ding; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

Scalable Differential Analysis of Process Algebra Models. - Mirco Tribastone; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

ABC-Fun: A Probabilistic Programming Language for Biology. - Anastasis Georgoulas; Jane Hillston; Guido Sanguinetti (CMSB, 2013)

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. - Luca Bortolussi; Jane Hillston (SFM, 2013)

Challenges for Quantitative Analysis of Collective Adaptive Systems. - Jane Hillston (TGC, 2013)

Contextual lumpability. - Jane Hillston; Andrea Marin; Sabina Rossi; Carla Piazza (VALUETOOLS, 2013)

An aggregation technique for large-scale PEPA models with non-uniform populations. - Alireza Pourranjbar; Jane Hillston (VALUETOOLS, 2013)

HYPE: Hybrid modelling by composition of flows. - Vashti Galpin; Luca Bortolussi; Jane Hillston (Formal Aspects Comput., 2013)

Continuous approximation of collective system behaviour: A tutorial. - Luca Bortolussi; Jane Hillston; Diego Latella; Mieke Massink (Perform. Evaluation, 2013)

A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks. - Hao Wang; David I. Laurenson; Jane Hillston (IEEE Trans. Mob. Comput., 2013)

The Benefits of Sometimes Not Being Discrete. - Jane Hillston (CONCUR, 2014)

Specification and Analysis of Open-Ended Systems with CARMA. - Jane Hillston; Michele Loreti (E4MAS, 2014)

Automated Capacity Planning for PEPA Models. - Christopher D. Williams; Jane Hillston (EPEW, 2014)

PALOMA: A Process Algebra for Located Markovian Agents. - Cheng Feng 004; Jane Hillston (QEST, 2014)

Probabilistic Programming Process Algebra. - Anastasis Georgoulas; Jane Hillston; Dimitrios Milios; Guido Sanguinetti (QEST, 2014)

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. - Luca Bortolussi; Vashti Galpin; Jane Hillston (CoRR, 2014)

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). - Jane Hillston; Jeremy Pitt; Martin Wirsing; Franco Zambonelli (Dagstuhl Reports, 2014)

Performance Analysis of Collective Adaptive Behaviour in Time and Space. - Cheng Feng 004; Marco Gribaudo; Jane Hillston (UKPEW, 2014)

Fluid Performability Analysis of Nested Automata Models. - Luca Bortolussi; Jane Hillston; Mirco Tribastone (PASM, 2014)

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. - Daniël Reijsbergen; Stephen Gilmore; Jane Hillston (PASM, 2014)

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. - Maurice H. ter Beek; Luca Bortolussi; Vincenzo Ciancia; Stefania Gnesi; Jane Hillston; Diego Latella; Mieke Massink (ERCIM News, 2014)

Service Composition for Collective Adaptive Systems. - Stephen Gilmore; Jane Hillston; Mirco Tribastone (Software, Services, and Systems, 2015)

Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction. - Cheng Feng 004; Jane Hillston (EPEW, 2015)

Quantitative Analysis of Collective Adaptive Systems. - Jane Hillston (Ershov Memorial Conference, 2015)

Efficient Checking of Individual Rewards Properties in Markov Population Models. - Luca Bortolussi; Jane Hillston (QAPL, 2015)

CARMA: Collective Adaptive Resource-sharing Markovian Agents. - Luca Bortolussi; Rocco De Nicola; Vashti Galpin; Stephen Gilmore; Jane Hillston; Diego Latella; Michele Loreti; Mieke Massink (QAPL, 2015)

Model checking single agent behaviours by fluid approximation. - Luca Bortolussi; Jane Hillston (Inf. Comput., 2015)

Mission reliability of semi-Markov systems under generalized operational time requirements. - Xiaoyue Wu; Jane Hillston (Reliab. Eng. Syst. Saf., 2015)

Abstract Interpretation of PEPA Models. - Stephen Gilmore; Jane Hillston; Natalia Zon (Semantics, Logics, and Calculi, 2016)

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. - Natalia Zon; Stephen Gilmore; Jane Hillston (ISoLA (1), 2016)

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. - Cheng Feng 004; Jane Hillston; Daniël Reijsbergen (QEST, 2016)

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. - Jane Hillston; Michele Loreti (QEST, 2016)

Property-Driven State-Space Coarsening for Continuous Time Markov Chains. - Michalis Michaelides; Dimitrios Milios; Jane Hillston; Guido Sanguinetti (QEST, 2016)

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. - Michele Loreti; Jane Hillston (SFM, 2016)

Stochastic and Spatial Equivalences for PALOMA. - Paul Piho; Jane Hillston (FORECAST@STAF, 2016)

MELA: Modelling in Ecology with Location Attributes. - Ludovica Luisa Vissat; Jane Hillston; Glenn Marion; Matthew J. Smith (QAPL, 2016)

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. - Cheng Feng 004; Jane Hillston; Vashti Galpin (ACM Trans. Model. Comput. Simul., 2016)

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (QEST, 2017)

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. - Ludovica Luisa Vissat; Jane Hillston; Michele Loreti; Laura Nenzi (VALUETOOLS, 2017)

Goals and Resource Constraints in CARMA. - Paul Piho; Anastasis Georgoulas; Jane Hillston (PASM, 2017)

Moment-based availability prediction for bike-sharing systems. - Cheng Feng 004; Jane Hillston; Daniël Reijsbergen (Perform. Evaluation, 2017)

Unbiased Bayesian inference for population Markov jump processes via random truncations. - Anastasis Georgoulas; Jane Hillston; Guido Sanguinetti (Stat. Comput., 2017)

Replicated Computations Results (RCR) Report for "Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language". - Jane Hillston (ACM Trans. Model. Comput. Simul., 2017)

Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA. - Xiaoyue Wu; Jane Hillston; Cheng Feng 004 (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Information Flow Security for Stochastic Processes. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (EPEW, 2018)

Policy Synthesis for Collective Dynamics. - Paul Piho; Jane Hillston (QEST, 2018)

Persistent Stochastic Non-Interference. - Jane Hillston; Carla Piazza; Sabina Rossi (EXPRESS/SOS, 2018)

Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction. - Cheng Feng 004; Jane Hillston (Perform. Evaluation, 2018)

Stochastic process algebras and their markovian semantics. - Jane Hillston (ACM SIGLOG News, 2018)

ProPPA: Probabilistic Programming for Stochastic Dynamical Systems. - Anastasis Georgoulas; Jane Hillston; Guido Sanguinetti (ACM Trans. Model. Comput. Simul., 2018)

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. - Paul Piho; Filip Margetiny; Ezio Bartocci; Richard R. Ribchester; Jane Hillston (CMSB, 2019)

Round-based Super-Individuals - Balancing Speed and Accuracy. - Pia Wilsdorf; Maria E. Pierce; Jane Hillston; Adelinde M. Uhrmacher (SIGSIM-PADS, 2019)

Delimited Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (VALUETOOLS, 2019)

Experiential AI. - Drew Hemment; Ruth Aylett; Vaishak Belle; Dave Murray-Rust; Ewa Luger; Jane Hillston; Michael Rovatsos; Frank Broz (AI Matters, 2019)

Geometric fluid approximation for general continuous-time Markov chains. - Michalis Michaelides; Jane Hillston; Guido Sanguinetti (CoRR, 2019)

Statistical Abstraction for Multi-scale Spatio-temporal Systems. - Michalis Michaelides; Jane Hillston; Guido Sanguinetti (ACM Trans. Model. Comput. Simul., 2019)

Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. - Ludovica Luisa Vissat; Michele Loreti; Laura Nenzi; Jane Hillston; Glenn Marion (ACM Trans. Model. Comput. Simul., 2019)

Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. - Ludovica Luisa Vissat; Jane Hillston; Anna Williams (Automated Reasoning for Systems Biology and Medicine, 2019)

A Case Study of Policy Synthesis for Swarm Robotics. - Paul Piho; Jane Hillston (ISoLA (2), 2020)

Probing the Performance of the Edinburgh Bike Sharing System using SSTL. - Justin Noah Kreikemeyer; Jane Hillston; Adelinde M. Uhrmacher (SIGSIM-PADS, 2020)

Fluid approximation of broadcasting systems. - Luca Bortolussi; Jane Hillston; Michele Loreti (Theor. Comput. Sci., 2020)

An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA. - Hongwu Lv; Jane Hillston; Paul Piho; Huiqiang Wang (IEEE Trans. Parallel Distributed Syst., 2020)

Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. - Paul Piho; Jane Hillston (DataMod, 2021)

Active and Sparse Methods in Smoothed Model Checking. - Paul Piho; Jane Hillston (QEST, 2021)

Persistent Stochastic Non-Interference. - Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi (Fundam. Informaticae, 2021)

Fluid Approximation-based Analysis for Mode-switching Population Dynamics. - Paul Piho; Jane Hillston (ACM Trans. Model. Comput. Simul., 2021)

A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm. - Yifei Xie 002; Btissam Er-Rahmadi; Xiao Chen 003; Tiejun Ma; Jane Hillston (Euro-Par Workshops, 2022)

ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. - Xiao Chen 003; Btissam Er-Rahmadi; Tiejun Ma; Jane Hillston (IEEE Trans. Computers, 2023)

Verifying Properties of Activities of Daily Living. - Ricardo Contreras; Filip Smola; Jiawei Zheng; Jane Hillston; Jacques D. Fleuriot (DataMod, 2024)

What does Performance Mean for Large Language Models? - Jane Hillston (ICPE, 2024)

Process-aware Human Activity Recognition. - Jiawei Zheng; Petros Papapanagiotou; Jacques D. Fleuriot; Jane Hillston (CoRR, 2024)

Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware. - Xiao Chen 003; Tiejun Ma; Btissam Er-Rahmadi; Jane Hillston; Guanxu Yuan (IEEE Trans. Dependable Secur. Comput., 2024)

A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes. - Ricardo Contreras; Filip Smola; Nusa Faric; Jiawei Zheng; Jane Hillston; Jacques D. Fleuriot (CoRR, 2025)