Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJane Hillston
Person information
- affiliation: University of Edinburgh, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[c111]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: 267-273- 2021
- [j58]Jane Hillston, Andrea Marin, Carla Piazza
, Sabina Rossi:
Persistent Stochastic Non-Interference. Fundam. Informaticae 181(1): 1-35 (2021) - [j57]Paul Piho, Jane Hillston:
Fluid Approximation-based Analysis for Mode-switching Population Dynamics. ACM Trans. Model. Comput. Simul. 31(2): 8:1-8:26 (2021) - [c110]Paul Piho, Jane Hillston:
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. DataMod 2021: 121-137 - [c109]Paul Piho, Jane Hillston:
Active and Sparse Methods in Smoothed Model Checking. QEST 2021: 217-234 - [i14]Paul Piho, Jane Hillston:
Active and sparse methods in smoothed model checking. CoRR abs/2104.09940 (2021) - 2020
- [j56]Luca Bortolussi, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - [j55]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): 733-748 (2020) - [c108]Paul Piho, Jane Hillston:
A Case Study of Policy Synthesis for Swarm Robotics. ISoLA (2) 2020: 491-506 - [c107]Justin Noah Kreikemeyer, Jane Hillston, Adelinde M. Uhrmacher:
Probing the Performance of the Edinburgh Bike Sharing System using SSTL. SIGSIM-PADS 2020: 141-152
2010 – 2019
- 2019
- [j54]Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz:
Experiential AI. AI Matters 5(1): 25-31 (2019) - [j53]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): 20:1-20:24 (2019) - [j52]Michalis Michaelides, Jane Hillston, Guido Sanguinetti:
Statistical Abstraction for Multi-scale Spatio-temporal Systems. ACM Trans. Model. Comput. Simul. 29(4): 22:1-22:29 (2019) - [c106]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: 120-139 - [c105]Pia Wilsdorf, Maria E. Pierce, Jane Hillston, Adelinde M. Uhrmacher:
Round-based Super-Individuals - Balancing Speed and Accuracy. SIGSIM-PADS 2019: 95-98 - [c104]Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Delimited Persistent Stochastic Non-Interference. VALUETOOLS 2019: 135-142 - [p1]Ludovica Luisa Vissat, Jane Hillston, Anna Williams:
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. Automated Reasoning for Systems Biology and Medicine 2019: 299-326 - [i13]Michalis Michaelides, Jane Hillston, Guido Sanguinetti:
Geometric fluid approximation for general continuous-time Markov chains. CoRR abs/1901.11417 (2019) - [i12]Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz:
Experiential AI. CoRR abs/1908.02619 (2019) - 2018
- [j51]Cheng Feng, Jane Hillston:
Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction. Perform. Evaluation 120: 20-35 (2018) - [j50]Jane Hillston:
Stochastic process algebras and their markovian semantics. ACM SIGLOG News 5(2): 20-35 (2018) - [j49]Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti:
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems. ACM Trans. Model. Comput. Simul. 28(1): 3:1-3:23 (2018) - [c103]Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi:
Information Flow Security for Stochastic Processes. EPEW 2018: 142-156 - [c102]Paul Piho, Jane Hillston:
Policy Synthesis for Collective Dynamics. QEST 2018: 356-372 - [c101]Jane Hillston, Carla Piazza, Sabina Rossi:
Persistent Stochastic Non-Interference. EXPRESS/SOS 2018: 53-68 - 2017
- [j48]Cheng Feng, Jane Hillston, Daniël Reijsbergen:
Moment-based availability prediction for bike-sharing systems. Perform. Evaluation 117: 58-74 (2017) - [j47]Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti:
Unbiased Bayesian inference for population Markov jump processes via random truncations. Stat. Comput. 27(4): 991-1002 (2017) - [j46]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): 9 (2017) - [j45]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): 3177-3188 (2017) - [c100]Michalis Michaelides, Jane Hillston, Guido Sanguinetti:
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. QEST 2017: 243-258 - [c99]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: 317-332 - [c98]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: 225-226 - [c97]Paul Piho, Anastasis Georgoulas, Jane Hillston:
Goals and Resource Constraints in CARMA. PASM 2017: 155-172 - 2016
- [j44]Cheng Feng, Jane Hillston, Vashti Galpin:
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 26(4): 26:1-26:22 (2016) - [c96]Stephen Gilmore, Jane Hillston, Natalia Zon:
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi 2016: 140-158 - [c95]Natalia Zon, Stephen Gilmore, Jane Hillston:
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) 2016: 674-688 - [c94]Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti:
Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST 2016: 3-18 - [c93]Cheng Feng, Jane Hillston, Daniël Reijsbergen:
Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. QEST 2016: 139-155 - [c92]Jane Hillston, Michele Loreti:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c91]Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c90]Paul Piho, Jane Hillston:
Stochastic and Spatial Equivalences for PALOMA. FORECAST@STAF 2016: 69-80 - [c89]Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith:
MELA: Modelling in Ecology with Location Attributes. QAPL 2016: 82-97 - [e4]Marco Bernardo, Rocco De Nicola, Jane Hillston:
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents] - [i11]Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti:
Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR abs/1606.01111 (2016) - 2015
- [j43]Luca Bortolussi, Jane Hillston:
Model checking single agent behaviours by fluid approximation. Inf. Comput. 242: 183-226 (2015) - [j42]Xiaoyue Wu, Jane Hillston:
Mission reliability of semi-Markov systems under generalized operational time requirements. Reliab. Eng. Syst. Saf. 140: 122-129 (2015) - [c88]Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Service Composition for Collective Adaptive Systems. Software, Services, and Systems 2015: 490-505 - [c87]Cheng Feng, Jane Hillston:
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction. EPEW 2015: 291-305 - [c86]Jane Hillston:
Quantitative Analysis of Collective Adaptive Systems. Ershov Memorial Conference 2015: 1-5 - [c85]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: 16-31 - [c84]Luca Bortolussi, Jane Hillston:
Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL 2015: 32-47 - 2014
- [c83]Jane Hillston:
The Benefits of Sometimes Not Being Discrete. CONCUR 2014: 7-22 - [c82]Jane Hillston, Michele Loreti:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c81]Christopher D. Williams, Jane Hillston:
Automated Capacity Planning for PEPA Models. EPEW 2014: 209-223 - [c80]Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti:
Probabilistic Programming Process Algebra. QEST 2014: 249-264 - [c79]Cheng Feng, Jane Hillston:
PALOMA: A Process Algebra for Located Markovian Agents. QEST 2014: 265-280 - [c78]Luca Bortolussi, Jane Hillston, Mirco Tribastone:
Fluid Performability Analysis of Nested Automata Models. PASM 2014: 27-47 - [c77]Cheng Feng, Marco Gribaudo, Jane Hillston:
Performance Analysis of Collective Adaptive Behaviour in Time and Space. UKPEW 2014: 53-68 - [c76]Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM 2014: 157-177 - [i10]Luca Bortolussi, Vashti Galpin, Jane Hillston:
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR abs/1411.4433 (2014) - [i9]Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli:
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports 4(12): 68-113 (2014) - [i8]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) - 2013
- [j41]Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. 25(4): 503-541 (2013) - [j40]Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink:
Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation 70(5): 317-349 (2013) - [j39]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): 868-884 (2013) - [c75]Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti:
ABC-Fun: A Probabilistic Programming Language for Biology. CMSB 2013: 150-163 - [c74]Luca Bortolussi, Jane Hillston:
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM 2013: 113-149 - [c73]Jane Hillston:
Challenges for Quantitative Analysis of Collective Adaptive Systems. TGC 2013: 14-21 - [c72]Alireza Pourranjbar, Jane Hillston:
An aggregation technique for large-scale PEPA models with non-uniform populations. VALUETOOLS 2013: 20-29 - [c71]Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza:
Contextual lumpability. VALUETOOLS 2013: 194-203 - [i7]Alireza Pourranjbar, Jane Hillston:
An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations. CoRR abs/1309.1613 (2013) - 2012
- [j38]Jane Hillston, Mirco Tribastone, Stephen Gilmore:
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55(7): 866-881 (2012) - [j37]Jie Ding, Jane Hillston:
Numerically Representing Stochastic Process Algebra Models. Comput. J. 55(11): 1383-1397 (2012) - [j36]Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston:
Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. 24(2): 267-302 (2012) - [j35]Giulio Caravagna, Jane Hillston:
Bio-PEPAd: A non-Markovian extension of Bio-PEPA. Theor. Comput. Sci. 419: 26-49 (2012) - [j34]Mirco Tribastone, Stephen Gilmore, Jane Hillston:
Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38(1): 205-219 (2012) - [j33]Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston:
Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. 38(4): 861-874 (2012) - [c70]Luca Bortolussi, Jane Hillston:
Fluid Model Checking. CONCUR 2012: 333-347 - [c69]Alireza Pourranjbar, Jane Hillston, Luca Bortolussi:
Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW 2012: 156-171 - [c68]Luca Bortolussi, Jane Hillston:
Fluid Approximation of CTMC with Deterministic Delays. QEST 2012: 53-62 - [c67]Luca Bortolussi, Vashti Galpin, Jane Hillston:
Hybrid performance modelling of opportunistic networks. QAPL 2012: 106-121 - [c66]Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - [c65]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC 2012: 107-126 - [i6]Luca Bortolussi, Jane Hillston:
Fluid Model Checking. CoRR abs/1203.0920 (2012) - 2011
- [j32]Vashti Galpin, Jane Hillston:
A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412(21): 2142-2161 (2011) - [j31]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: 13-38 (2011) - [c64]Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston:
Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE 2011: 96-110 - [c63]Vashti Galpin, Jane Hillston, Federica Ciocchetta:
A semi-quantitative equivalence for abstracting from fast reactions. CompMod 2011: 34-49 - [c62]Luca Bortolussi, Vashti Galpin, Jane Hillston:
HYPE with stochastic events. QAPL 2011: 120-133 - 2010
- [j30]Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston:
Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA. Trans. Comp. Sys. Biology 12: 229-262 (2010) - [j29]Tiejun Ma, Jane Hillston, Stuart Anderson:
On the Quality of Service of Crash-Recovery Failure Detectors. IEEE Trans. Dependable Secur. Comput. 7(3): 271-283 (2010) - [j28]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): 251-275 (2010) - [c61]Jie Ding, Jane Hillston:
Structural Analysis for Stochastic Process Algebra Models. AMAST 2010: 1-27 - [c60]Jie Ding, Jane Hillston, David I. Laurenson:
Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. ICC 2010: 1-5 - [c59]Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink:
Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS 2010: 3-18 - [c58]Jane Hillston:
Process Algebras for Collective Dynamics. MPC 2010: 20-21 - [c57]Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone:
Hybrid Semantics for PEPA. QEST 2010: 181-190 - [c56]Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper:
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC 2010: 620-630 - [c55]Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston:
Investigating modularity in the analysis of process algebra models of biochemical systems. FBTC 2010: 55-69 - [c54]Giulio Caravagna, Jane Hillston:
Modeling biological systems with delays in Bio-PEPA. MeCBIC 2010: 85-101 - [i5]Jie Ding, Jane Hillston:
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models. CoRR abs/1008.4754 (2010) - [i4]Jie Ding, Jane Hillston:
Numerically Representing A Stochastic Process Algebra. CoRR abs/1012.3040 (2010)
2000 – 2009
- 2009
- [j27]Yussuf Abu-Shaaban, Jane Hillston:
Cost-based admission control for Internet Commerce QoS enhancement. Electron. Commer. Res. Appl. 8(3): 142-159 (2009) - [j26]Federica Ciocchetta, Jane Hillston:
Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33-34): 3065-3084 (2009) - [j25]Muffy Calder, Jane Hillston:
Process Algebra Modelling Styles for Biomolecular Processes. Trans. Comp. Sys. Biology 11: 1-25 (2009) - [j24]Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek:
Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. IEEE Trans. Software Eng. 35(2): 145-147 (2009) - [j23]Jie Ding, Jane Hillston, David I. Laurenson:
Performance Modelling of Content Adaptation for a Personal Distributed Environment. Wirel. Pers. Commun. 48(1): 93-112 (2009) - [c53]Jane Hillston, Adam Duguid:
Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style. Algorithmic Bioprocesses 2009: 487-504 - [c52]Vashti Galpin, Jane Hillston:
Equivalence and Discretisation in Bio-PEPA. CMSB 2009: 189-204 - [c51]Vashti Galpin, Luca Bortolussi, Jane Hillston:
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320 - [c50]Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
The Bio-PEPA Tool Suite. QEST 2009: 309-310 - [c49]Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe:
Design and Development of Software Tools for Bio-PEPA. WSC 2009: 956-967 - [c48]Laurence Loewe, Stuart L. Moodie, Jane Hillston:
Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA. COMPMOD 2009: 93-107 - [c47]Federica Ciocchetta, Jane Hillston:
Bio-PEPA for Epidemiological Models. PASM@MASCOTS 2009: 43-69 - [i3]Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston:
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. Formal Methods in Molecular Biology 2009 - 2008
- [j22]Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston:
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6): 1013-1032 (2008) - [j21]Stephen Gilmore, Jane Hillston:
Foreword. SIGMETRICS Perform. Evaluation Rev. 35(4): 2 (2008) - [j20]Stephen Gilmore, Jane Hillston:
Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Perform. Evaluation Rev. 35(4): 3-13 (2008) - [j19]Nil Geisweiller, Jane Hillston, Marco Stenico:
Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. 404(1-2): 97-111 (2008) - [j18]Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey:
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA. Theor. Comput. Sci. 408(1): 41-54 (2008) - [c46]Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore:
Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4 - [c45]Laurence Loewe, Jane Hillston:
The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. CMSB 2008: 156-175 - [c44]Hao Wang, David I. Laurenson, Jane Hillston:
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC 2008: 192-197 - [c43]