Jane Hillston

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 44

Top Venues

QEST

ACM Trans. Model. Comput. Simul.

CoRR

Electron. Notes Theor. Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Jane Hillston
What does Performance Mean for Large Language Models? ICPE (2024)
Xiao Chen, Btissam Er-Rahmadi, Tiejun Ma, Jane Hillston
ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. IEEE Trans. Computers 72 (12) (2023)
Yifei Xie, Btissam Er Rahmadi, Xiao Chen, Tiejun Ma, Jane Hillston
A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm. Euro-Par Workshops (2022)
Paul Piho, Jane Hillston
Fluid Approximation-based Analysis for Mode-switching Population Dynamics. ACM Trans. Model. Comput. Simul. 31 (2) (2021)
Paul Piho, Jane Hillston
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. DataMod (2021)
Paul Piho, Jane Hillston
Active and sparse methods in smoothed model checking. CoRR (2021)
Paul Piho, Jane Hillston
Active and Sparse Methods in Smoothed Model Checking. QEST (2021)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. Fundam. Informaticae 181 (1) (2021)
Justin Noah Kreikemeyer, Jane Hillston, Adelinde M. Uhrmacher
Probing the Performance of the Edinburgh Bike Sharing System using SSTL. SIGSIM-PADS (2020)
Luca Bortolussi, Jane Hillston, Michele Loreti
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816 (2020)
Paul Piho, Jane Hillston
A Case Study of Policy Synthesis for Swarm Robotics. ISoLA (2) (2020)
Hongwu Lv, Jane Hillston, Paul Piho, Huiqiang Wang
An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA. IEEE Trans. Parallel Distributed Syst. 31 (3) (2020)
Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
Experiential AI. AI Matters 5 (1) (2019)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Statistical Abstraction for Multi-scale Spatio-temporal Systems. ACM Trans. Model. Comput. Simul. 29 (4) (2019)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Delimited Persistent Stochastic Non-Interference. VALUETOOLS (2019)
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Geometric fluid approximation for general continuous-time Markov chains. CoRR (2019)
Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
Experiential AI. CoRR (2019)
Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB (2019)
Pia Wilsdorf, Maria E. Pierce, Jane Hillston, Adelinde M. Uhrmacher
Round-based Super-Individuals - Balancing Speed and Accuracy. SIGSIM-PADS (2019)
Jane Hillston, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. EXPRESS/SOS (2018)
Paul Piho, Jane Hillston
Policy Synthesis for Collective Dynamics. QEST (2018)
Paul Piho, Anastasis Georgoulas, Jane Hillston
Goals and Resource Constraints in CARMA. Electron. Notes Theor. Comput. Sci. 337 (2018)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems. ACM Trans. Model. Comput. Simul. 28 (1) (2018)
Cheng Feng, Jane Hillston
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction. Perform. Evaluation 120 (2018)
Jane Hillston
Stochastic process algebras and their markovian semantics. ACM SIGLOG News 5 (2) (2018)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Information Flow Security for Stochastic Processes. EPEW (2018)
Michalis Michaelides, Jane Hillston, Guido Sanguinetti
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. QEST (2017)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
Unbiased Bayesian inference for population Markov jump processes via random truncations. Stat. Comput. 27 (4) (2017)
Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST (2017)
Xiaoyue Wu, Jane Hillston, Cheng Feng
Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA. IEEE Trans. Syst. Man Cybern. Syst. 47 (12) (2017)
Cheng Feng, Jane Hillston, Daniël Reijsbergen
Moment-based availability prediction for bike-sharing systems. Perform. Evaluation 117 (2017)
Jane Hillston
Replicated Computations Results (RCR) Report for "Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language". ACM Trans. Model. Comput. Simul. 27 (2) (2017)
Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS (2017)
Jane Hillston, Michele Loreti
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST (2016)
Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR (2016)
Natalia Zon, Stephen Gilmore, Jane Hillston
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) (2016)
Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith
MELA: Modelling in Ecology with Location Attributes. QAPL (2016)
Cheng Feng, Jane Hillston, Daniël Reijsbergen
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. QEST (2016)
Michele Loreti, Jane Hillston
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM (2016)
Stephen Gilmore, Jane Hillston, Natalia Zon
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi (2016)
Cheng Feng, Jane Hillston, Vashti Galpin
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 26 (4) (2016)
Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST (2016)
Paul Piho, Jane Hillston
Stochastic and Spatial Equivalences for PALOMA. FORECAST@STAF (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Xiaoyue Wu, Jane Hillston
Mission reliability of semi-Markov systems under generalized operational time requirements. Reliab. Eng. Syst. Saf. 140 (2015)
Luca Bortolussi, Jane Hillston, Mirco Tribastone
Fluid Performability Analysis of Nested Automata Models. Electron. Notes Theor. Comput. Sci. 310 (2015)
Cheng Feng, Jane Hillston
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction. EPEW (2015)
Luca Bortolussi, Jane Hillston
Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL (2015)
Stephen Gilmore, Jane Hillston, Mirco Tribastone
Service Composition for Collective Adaptive Systems. Software, Services, and Systems (2015)
Cheng Feng, Marco Gribaudo, Jane Hillston
Performance Analysis of Collective Adaptive Behaviour in Time and Space. Electron. Notes Theor. Comput. Sci. 318 (2015)
Daniël Reijsbergen, Stephen Gilmore, Jane Hillston
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. Electron. Notes Theor. Comput. Sci. 310 (2015)
Luca Bortolussi, Jane Hillston
Model checking single agent behaviours by fluid approximation. Inf. Comput. 242 (2015)
Jane Hillston
Quantitative Analysis of Collective Adaptive Systems. Ershov Memorial Conference (2015)
Jane Hillston, Michele Loreti
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS (2014)
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR (2014)
Cheng Feng, Jane Hillston
PALOMA: A Process Algebra for Located Markovian Agents. QEST (2014)
Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
Probabilistic Programming Process Algebra. QEST (2014)
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014 (98) (2014)
Jane Hillston
The Benefits of Sometimes Not Being Discrete. CONCUR (2014)
Christopher D. Williams, Jane Hillston
Automated Capacity Planning for PEPA Models. EPEW (2014)
Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports 4 (12) (2014)
Hao Wang, David I. Laurenson, Jane Hillston
A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks. IEEE Trans. Mob. Comput. 12 (5) (2013)
Luca Bortolussi, Jane Hillston
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM (2013)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Conservation of Mass Analysis for Bio-PEPA. Electron. Notes Theor. Comput. Sci. 296 (2013)
Alireza Pourranjbar, Jane Hillston
An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations. CoRR (2013)
Alireza Pourranjbar, Jane Hillston
An aggregation technique for large-scale PEPA models with non-uniform populations. VALUETOOLS (2013)
Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
ABC-Fun: A Probabilistic Programming Language for Biology. CMSB (2013)
Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
Contextual lumpability. VALUETOOLS (2013)
Vashti Galpin, Luca Bortolussi, Jane Hillston
HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. 25 (4) (2013)
Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70 (5) (2013)
Jane Hillston
Challenges for Quantitative Analysis of Collective Adaptive Systems. TGC (2013)
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock. Electron. Notes Theor. Comput. Sci. 296 (2013)
Luca Bortolussi, Vashti Galpin, Jane Hillston
Hybrid performance modelling of opportunistic networks QAPL (2012)
Luca Bortolussi, Jane Hillston
Fluid Model Checking CoRR (2012)
Jane Hillston, Mirco Tribastone, Stephen Gilmore
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55 (7) (2012)
Alireza Pourranjbar, Jane Hillston, Luca Bortolussi
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW (2012)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24 (2) (2012)
Mirco Tribastone, Stephen Gilmore, Jane Hillston
Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38 (1) (2012)
Jie Ding, Jane Hillston
Numerically Representing Stochastic Process Algebra Models. Comput. J. 55 (11) (2012)
Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston
Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. 38 (4) (2012)
Giulio Caravagna, Jane Hillston
Bio-PEPAd: A non-Markovian extension of Bio-PEPA. Theor. Comput. Sci. 419 (2012)
Luca Bortolussi, Jane Hillston
Fluid Approximation of CTMC with Deterministic Delays. QEST (2012)
Luca Bortolussi, Jane Hillston
Fluid Model Checking. CONCUR (2012)
Vashti Galpin, Jane Hillston, Federica Ciocchetta
A semi-quantitative equivalence for abstracting from fast reactions CompMod (2011)
Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE (2011)
Laurence Loewe, Maria Luisa Guerriero, Steven Watterson, Stuart L. Moodie, Peter Ghazal, Jane Hillston
Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway. Trans. Comp. Sys. Biology 13 (2011)
Vashti Galpin, Jane Hillston
A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412 (21) (2011)
Luca Bortolussi, Vashti Galpin, Jane Hillston
HYPE with stochastic events QAPL (2011)
Jie Ding, Jane Hillston, David I. Laurenson
Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. ICC (2010)
Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
Investigating modularity in the analysis of process algebra models of biochemical systems FBTC (2010)
Jie Ding, Jane Hillston
Structural Analysis for Stochastic Process Algebra Models. AMAST (2010)
Jie Ding, Jane Hillston
Numerically Representing A Stochastic Process Algebra CoRR (2010)
Jie Ding, Jane Hillston
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models CoRR (2010)
Hao Wang, David I. Laurenson, Jane Hillston
A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments. Wirel. Pers. Commun. 54 (2) (2010)
Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC (2010)
Giulio Caravagna, Jane Hillston
Modeling biological systems with delays in Bio-PEPA MeCBIC (2010)
Federica Ciocchetta, Jane Hillston
Bio-PEPA for Epidemiological Models. Electron. Notes Theor. Comput. Sci. 261 (2010)
Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
B Pathway in Bio-PEPA. Trans. Comp. Sys. Biology 12 (2010)
Jane Hillston
Process Algebras for Collective Dynamics. MPC (2010)

Jane Hillston.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jane Hillston