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
- 2024
[j60]Xiao Chen
, Tiejun Ma, Btissam Er-Rahmadi, Jane Hillston, Guanxu Yuan:
Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware. IEEE Trans. Dependable Secur. Comput. 21(6): 5493-5508 (2024)- [c112]Jane Hillston:
What does Performance Mean for Large Language Models? ICPE 2024: 118 - [e5]Jane Hillston, Sadegh Soudjani, Masaki Waga:
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Lecture Notes in Computer Science 14996, Springer 2024, ISBN 978-3-031-68415-9 [contents] - 2023
- [j59]Xiao Chen, Btissam Er-Rahmadi, Tiejun Ma, Jane Hillston:
ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. IEEE Trans. Computers 72(12): 3354-3369 (2023) - 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]Hao Wang, David I. Laurenson, Jane Hillston:
An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC 2008: 1-5 - [c42]Federica Ciocchetta, Jane Hillston:
Process Algebras in Systems Biology. SFM 2008: 265-312 - [c41]Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. PASM@EPEW 2008: 17-38 - [c40]Vashti Galpin, Jane Hillston, Luca Bortolussi:
HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS 2008: 33-51 - [c39]Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland:
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. FBTC@ICALP 2008: 59-74 - [c38]Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder:
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. FBTC@ICALP 2008: 145-163 - 2007
- [j17]Jane Hillston, Leïla Kloul:
Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. 19(1): 3-33 (2007) - [c37]Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey:
Modelling Yeast Pre-rRNA Processing. CMSB 2007: 32-47 - [c36]Tiejun Ma, Jane Hillston, Stuart Anderson:
On the Quality of Service of Crash-Recovery Failure Detectors. DSN 2007: 739-748 - [c35]Hao Wang, David I. Laurenson, Jane Hillston:
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS 2007: 337-342 - [c34]Tiejun Ma, Jane Hillston, Stuart Anderson:
Evaluation of the QoS of crash-recovery failure detection. SAC 2007: 538-542 - [c33]Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. SFM 2007: 132-179 - [c32]Jane Hillston:
Quantitative analysis of biochemical signalling pathways. VALUETOOLS 2007: 72 - [c31]Federica Ciocchetta, Jane Hillston:
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. FBTC@CONCUR 2007: 103-117 - [c30]Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston:
A Structural Approach for Modelling Performance of Systems Using Skeletons. QAPL 2007: 167-183 - [e3]Marco Bernardo, Jane Hillston:
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures. Lecture Notes in Computer Science 4486, Springer 2007, ISBN 978-3-540-72482-7 [contents] - 2006
- [j16]Muffy Calder, Stephen Gilmore, Jane Hillston:
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology 7: 1-23 (2006) - [c29]Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston:
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77 - [c28]Jane Hillston, Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW 2006: 16-30 - [c27]Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer:
A design environment for mobile applications. IPDPS 2006 - [i2]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:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 2006 - [i1]Jane Hillston:
Population models from PEPA descriptions. Simulation and Verification of Dynamic Systems 2006 - 2005
- [j15]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005) - [j14]Jane Hillston:
Tuning Systems: From Composition to Performance (The Needham Lecture). Comput. J. 48(4): 385-400 (2005) - [j13]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. Scalable Comput. Pract. Exp. 6(4) (2005) - [c26]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324 - [c25]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770 - [c24]Jane Hillston:
Process Algebras for Quantitative Analysis. LICS 2005: 239-248 - [c23]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680 - [c22]Jane Hillston:
Fluid Flow Approximation of PEPA models. QEST 2005: 33-43 - 2004
- [j12]Jane Hillston, Leïla Kloul, Amdjed Mokhtari:
Towards a Feasible Active Networking Scenario. Telecommun. Syst. 27(2-4): 413-438 (2004) - [c21]Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul:
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277 - [c20]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Evaluating the Performance of Skeleton-Based High Level Parallel Programs. International Conference on Computational Science 2004: 289-296 - [c19]Jane Hillston, Marina Ribaudo:
Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522 - [c18]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
Software performance modelling using PEPA nets. WOSP 2004: 13-23 - [c17]C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens:
Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78 - [c16]Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks. PASM 2004: 123-143 - 2003
- [j11]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54(2): 79-104 (2003) - [c15]Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami:
Performance Evaluation for Global Computation. Global Computing 2003: 229-253 - [c14]Stephen Gilmore, Jane Hillston, Leïla Kloul:
PEPA Nets. MASCOTS Tutorials 2003: 311-335 - 2002
- [j10]Roberto Gorrieri, Ulrich Herzog, Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation 50(2/3): 79-82 (2002) - [j9]Graham Clark, Jane Hillston:
Product form solution for an insensitive stochastic process algebra structure. Perform. Evaluation 50(2/3): 129-151 (2002) - [c13]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130 - 2001
- [j8]Jane Hillston, Leïla Kloul:
Performance investigation of an on-line auction system. Concurr. Comput. Pract. Exp. 13(1): 23-41 (2001) - [j7]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001) - [c12]Jane Hillston, Leïla Kloul:
An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV 2001: 120-135 - [c11]Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez:
A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM 2001: 197-206 - 2000
- [c10]Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261 - [c9]Jane Hillston:
Exploiting Structure in Solution: Decomposing Compositional Models. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 278-314 - [c8]Stephen Gilmore, Jane Hillston:
The PEPA Feature Construct. FIREworks 2000: 125-142 - [c7]Jane Hillston, J. Tomasik:
Amalgamation of Transition Sequences in the PEPA Formalism. ICALP Satellite Workshops 2000: 523-534
1990 – 1999
- 1999
- [j6]Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas:
Experiences with the PEPA performance modelling. IEE Proc. Softw. 146(1): 11-20 (1999) - [j5]Jane Hillston, Nigel Thomas:
Product Form Solution for a Class of PEPA Models. Perform. Evaluation 35(3-4): 171-192 (1999) - [c6]Graham Clark, Stephen Gilmore, Jane Hillston:
Specifying Performance Measures for PEPA. ARTS 1999: 211-227 - 1995
- [j4]Stephen Gilmore, Jane Hillston:
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. Comput. J. 38(7): 489-491 (1995) - [j3]Peter G. Harrison, Jane Hillston:
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J. 38(7): 510-520 (1995) - [j2]Jane Hillston, Vassilis Mertsiotakis:
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. Comput. J. 38(7): 566-577 (1995) - [j1]Jane Hillston:
A Tool to Enhance Model Exploitation. Perform. Evaluation 22(1): 59-74 (1995) - [c5]Susanna Donatelli, Marina Ribaudo, Jane Hillston:
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM 1995: 158-168 - 1994
- [b1]Jane Hillston:
A compositional approach to performance modelling. University of Edinburgh, UK, 1994 - [c4]Stephen Gilmore, Jane Hillston:
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. Computer Performance Evaluation 1994: 353-368 - [c3]Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach:
Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE 1994: 449-451 - [e2]Rob Pooley, Jane Hillston:
Computer Performance Evaluation '92: Modelling Techniques and Tools: Proceedings of the Sixth International Conference on Modelling Techniques and Tools, Edinburg, UK, 1992. Edinburgh University Press 1994, ISBN 0748604251 - 1992
- [e1]Jane Hillston, Peter J. B. King, Rob Pooley:
7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991. Workshops in Computing, Springer 1992, ISBN 3-540-19733-8 [contents] - 1991
- [c2]Jane Hillston, Andreas L. Opdahl, Rob Pooley:
A Case Study Using the IMSE Experimentation Tool. CAiSE 1991: 284-306 - [c1]Rob Pooley, Jane Hillston:
The Performance Analysis Process. Computer and Telecommunications Performance Engineering 1991: 1-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
