Jane Hillston - RankMe

198 papers A* 1A 3B 10C 1Misc 4Journal 75Unranked 97

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Committee Configuration Optimization for Parallel Byzantine Consensus in a Trusted Execution Environment. CoRR Yifei Xie, Btissam Er-Rahmadi, Xiao Chen, Tiejun Ma, Jane Hillston
2026	J	`jnl`	Optimizing View Change for Byzantine Fault Tolerance in Parallel Consensus. CoRR Yifei Xie, Btissam Er-Rahmadi, Xiao Chen, Tiejun Ma, Jane Hillston
2025	J	`jnl`	A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes. CoRR Ricardo Contreras, Filip Smola, Nusa Faric, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot
2024	J	`jnl`	Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware. IEEE Trans. Dependable Secur. Comput. Xiao Chen, Tiejun Ma, Btissam Er-Rahmadi, Jane Hillston, Guanxu Yuan
2024	J	`jnl`	Process-aware Human Activity Recognition. CoRR Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot, Jane Hillston
2024	—	`ed.`	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 QEST+FORMATS Jane Hillston, Sadegh Soudjani, Masaki Waga
2024	—	`conf`	Verifying Properties of Activities of Daily Living. DataMod Ricardo Contreras, Filip Smola, Jiawei Zheng, Jane Hillston, Jacques D. Fleuriot
2024	B	`conf`	What does Performance Mean for Large Language Models? ICPE Jane Hillston
2023	J	`jnl`	ParBFT: An Optimized Byzantine Consensus Parallelism Scheme. IEEE Trans. Computers Xiao Chen, Btissam Er-Rahmadi, Tiejun Ma, Jane Hillston
2022	—	`conf`	A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm. Euro-Par Workshops Yifei Xie, Btissam Er-Rahmadi, Xiao Chen, Tiejun Ma, Jane Hillston
2021	—	`conf`	Active and Sparse Methods in Smoothed Model Checking. QEST Paul Piho, Jane Hillston
2021	J	`jnl`	Active and sparse methods in smoothed model checking. CoRR Paul Piho, Jane Hillston
2021	—	`conf`	Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. DataMod Paul Piho, Jane Hillston
2021	J	`jnl`	Fluid Approximation-based Analysis for Mode-switching Population Dynamics. ACM Trans. Model. Comput. Simul. Paul Piho, Jane Hillston
2021	J	`jnl`	Persistent Stochastic Non-Interference. Fundam. Informaticae Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2020	—	`conf`	A Case Study of Policy Synthesis for Swarm Robotics. ISoLA (2) Paul Piho, Jane Hillston
2020	J	`jnl`	An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA. IEEE Trans. Parallel Distributed Syst. Hongwu Lv, Jane Hillston, Paul Piho, Huiqiang Wang
2020	J	`jnl`	Fluid approximation of broadcasting systems. Theor. Comput. Sci. Luca Bortolussi, Jane Hillston, Michele Loreti
2020	—	`conf`	Probing the Performance of the Edinburgh Bike Sharing System using SSTL. SIGSIM-PADS Justin Noah Kreikemeyer, Jane Hillston, Adelinde M. Uhrmacher
2019	J	`jnl`	Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2019	—	`conf`	Delimited Persistent Stochastic Non-Interference. VALUETOOLS Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2019	J	`jnl`	Experiential AI. AI Matters Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
2019	J	`jnl`	Experiential AI. CoRR Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
2019	—	`conf`	Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
2019	J	`jnl`	Geometric fluid approximation for general continuous-time Markov chains. CoRR Michalis Michaelides, Jane Hillston, Guido Sanguinetti
2019	—	`conf`	Round-based Super-Individuals - Balancing Speed and Accuracy. SIGSIM-PADS Pia Wilsdorf, Maria E. Pierce, Jane Hillston, Adelinde M. Uhrmacher
2019	J	`jnl`	Statistical Abstraction for Multi-scale Spatio-temporal Systems. ACM Trans. Model. Comput. Simul. Michalis Michaelides, Jane Hillston, Guido Sanguinetti
2019	—	`ch.`	Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions. Automated Reasoning for Systems Biology and Medicine Ludovica Luisa Vissat, Jane Hillston, Anna Williams
2018	J	`jnl`	Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction. Perform. Evaluation Cheng Feng, Jane Hillston
2018	—	`conf`	Information Flow Security for Stochastic Processes. EPEW Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
2018	—	`conf`	Persistent Stochastic Non-Interference. EXPRESS/SOS Jane Hillston, Carla Piazza, Sabina Rossi
2018	—	`conf`	Policy Synthesis for Collective Dynamics. QEST Paul Piho, Jane Hillston
2018	J	`jnl`	ProPPA: Probabilistic Programming for Stochastic Dynamical Systems. ACM Trans. Model. Comput. Simul. Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
2018	J	`jnl`	Stochastic process algebras and their markovian semantics. ACM SIGLOG News Jane Hillston
2017	—	`conf`	Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi
2017	J	`jnl`	Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA. IEEE Trans. Syst. Man Cybern. Syst. Xiaoyue Wu, Jane Hillston, Cheng Feng
2017	—	`conf`	Goals and Resource Constraints in CARMA. PASM Paul Piho, Anastasis Georgoulas, Jane Hillston
2017	J	`jnl`	Moment-based availability prediction for bike-sharing systems. Perform. Evaluation Cheng Feng, Jane Hillston, Daniël Reijsbergen
2017	J	`jnl`	Replicated Computations Results (RCR) Report for "Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language". ACM Trans. Model. Comput. Simul. Jane Hillston
2017	—	`conf`	Statistical Abstraction for Multi-scale Spatio-Temporal Systems. QEST Michalis Michaelides, Jane Hillston, Guido Sanguinetti
2017	—	`conf`	Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion
2017	J	`jnl`	Unbiased Bayesian inference for population Markov jump processes via random truncations. Stat. Comput. Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
2016	—	`conf`	Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi Stephen Gilmore, Jane Hillston, Natalia Zon
2016	J	`jnl`	Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. Cheng Feng, Jane Hillston, Vashti Galpin
2016	—	`conf`	CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST Jane Hillston, Michele Loreti
2016	—	`ed.`	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 SFM Marco Bernardo, Rocco De Nicola, Jane Hillston
2016	—	`conf`	MELA: Modelling in Ecology with Location Attributes. QAPL Ludovica Luisa Vissat, Jane Hillston, Glenn Marion, Matthew J. Smith
2016	—	`conf`	Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM Michele Loreti, Jane Hillston
2016	—	`conf`	Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. QEST Cheng Feng, Jane Hillston, Daniël Reijsbergen
2016	—	`conf`	Property-Driven State-Space Coarsening for Continuous Time Markov Chains. QEST Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
2016	J	`jnl`	Property-driven State-Space Coarsening for Continuous Time Markov Chains. CoRR Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti
2016	—	`conf`	Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) Natalia Zon, Stephen Gilmore, Jane Hillston
2016	—	`conf`	Stochastic and Spatial Equivalences for PALOMA. FORECAST@STAF Paul Piho, Jane Hillston
2015	—	`conf`	CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015	—	`conf`	Efficient Checking of Individual Rewards Properties in Markov Population Models. QAPL Luca Bortolussi, Jane Hillston
2015	J	`jnl`	Mission reliability of semi-Markov systems under generalized operational time requirements. Reliab. Eng. Syst. Saf. Xiaoyue Wu, Jane Hillston
2015	J	`jnl`	Model checking single agent behaviours by fluid approximation. Inf. Comput. Luca Bortolussi, Jane Hillston
2015	—	`conf`	Quantitative Analysis of Collective Adaptive Systems. Ershov Memorial Conference Jane Hillston
2015	—	`conf`	Service Composition for Collective Adaptive Systems. Software, Services, and Systems Stephen Gilmore, Jane Hillston, Mirco Tribastone
2015	—	`conf`	Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction. EPEW Cheng Feng, Jane Hillston
2014	J	`jnl`	A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
2014	—	`conf`	Automated Capacity Planning for PEPA Models. EPEW Christopher D. Williams, Jane Hillston
2014	J	`jnl`	Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli
2014	—	`conf`	Fluid Performability Analysis of Nested Automata Models. PASM Luca Bortolussi, Jane Hillston, Mirco Tribastone
2014	—	`conf`	PALOMA: A Process Algebra for Located Markovian Agents. QEST Cheng Feng, Jane Hillston
2014	—	`conf`	Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM Daniël Reijsbergen, Stephen Gilmore, Jane Hillston
2014	—	`conf`	Performance Analysis of Collective Adaptive Behaviour in Time and Space. UKPEW Cheng Feng, Marco Gribaudo, Jane Hillston
2014	—	`conf`	Probabilistic Programming Process Algebra. QEST Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
2014	—	`conf`	Specification and Analysis of Open-Ended Systems with CARMA. E4MAS Jane Hillston, Michele Loreti
2014	J	`jnl`	Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR Luca Bortolussi, Vashti Galpin, Jane Hillston
2014	B	`conf`	The Benefits of Sometimes Not Being Discrete. CONCUR Jane Hillston
2013	J	`jnl`	A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks. IEEE Trans. Mob. Comput. Hao Wang, David I. Laurenson, Jane Hillston
2013	—	`conf`	ABC-Fun: A Probabilistic Programming Language for Biology. CMSB Anastasis Georgoulas, Jane Hillston, Guido Sanguinetti
2013	J	`jnl`	An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations. CoRR Alireza Pourranjbar, Jane Hillston
2013	—	`conf`	An aggregation technique for large-scale PEPA models with non-uniform populations. VALUETOOLS Alireza Pourranjbar, Jane Hillston
2013	—	`conf`	Challenges for Quantitative Analysis of Collective Adaptive Systems. TGC Jane Hillston
2013	—	`conf`	Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM Luca Bortolussi, Jane Hillston
2013	—	`conf`	Contextual lumpability. VALUETOOLS Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
2013	J	`jnl`	Continuous approximation of collective system behaviour: A tutorial. Perform. Evaluation Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink
2013	J	`jnl`	HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. Vashti Galpin, Luca Bortolussi, Jane Hillston
2012	J	`jnl`	Bio-PEPAd: A non-Markovian extension of Bio-PEPA. Theor. Comput. Sci. Giulio Caravagna, Jane Hillston
2012	—	`conf`	Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
2012	—	`conf`	Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW Alireza Pourranjbar, Jane Hillston, Luca Bortolussi
2012	—	`conf`	Fluid Approximation of CTMC with Deterministic Delays. QEST Luca Bortolussi, Jane Hillston
2012	J	`jnl`	Fluid Model Checking CoRR Luca Bortolussi, Jane Hillston
2012	B	`conf`	Fluid Model Checking. CONCUR Luca Bortolussi, Jane Hillston
2012	J	`jnl`	Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston
2012	—	`conf`	Hybrid performance modelling of opportunistic networks QAPL Luca Bortolussi, Vashti Galpin, Jane Hillston
2012	J	`jnl`	Numerically Representing Stochastic Process Algebra Models. Comput. J. Jie Ding, Jane Hillston
2012	J	`jnl`	Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. Mirco Tribastone, Stephen Gilmore, Jane Hillston
2012	J	`jnl`	Scalable context-dependent analysis of emergency egress models. Formal Aspects Comput. Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston
2012	—	`conf`	Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
2012	J	`jnl`	Stochastic Process Algebras: From Individuals to Populations. Comput. J. Jane Hillston, Mirco Tribastone, Stephen Gilmore
2011	J	`jnl`	A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. Vashti Galpin, Jane Hillston
2011	—	`conf`	A semi-quantitative equivalence for abstracting from fast reactions CompMod Vashti Galpin, Jane Hillston, Federica Ciocchetta
2011	—	`conf`	HYPE with stochastic events QAPL Luca Bortolussi, Vashti Galpin, Jane Hillston
2011	B	`conf`	Modelling Non-linear Crowd Dynamics in Bio-PEPA. FASE Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
2011	J	`jnl`	Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway. Trans. Comp. Sys. Biology Laurence Loewe, Maria Luisa Guerriero, Steven Watterson, Stuart L. Moodie, Peter Ghazal, Jane Hillston
2010	J	`jnl`	A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments. Wirel. Pers. Commun. Hao Wang, David I. Laurenson, Jane Hillston
2010	—	`conf`	Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra. ICC Jie Ding, Jane Hillston, David I. Laurenson
2010	J	`jnl`	Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models CoRR Jie Ding, Jane Hillston
2010	—	`conf`	Hybrid Semantics for PEPA. QEST Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
2010	—	`conf`	Investigating modularity in the analysis of process algebra models of biochemical systems FBTC Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
2010	—	`conf`	Modeling biological systems with delays in Bio-PEPA MeCBIC Giulio Caravagna, Jane Hillston
2010	J	`jnl`	Modelling and Analysis of the NF- Trans. Comp. Sys. Biology Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
2010	J	`jnl`	Numerically Representing A Stochastic Process Algebra CoRR Jie Ding, Jane Hillston
2010	J	`jnl`	On the Quality of Service of Crash-Recovery Failure Detectors. IEEE Trans. Dependable Secur. Comput. Tiejun Ma, Jane Hillston, Stuart Anderson
2010	B	`conf`	Process Algebras for Collective Dynamics. MPC Jane Hillston
2010	—	`conf`	Reconciling Population and Agent Models for Crowd Dynamics. LAM@LICS Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink
2010	—	`conf`	Structural Analysis for Stochastic Process Algebra Models. AMAST Jie Ding, Jane Hillston
2010	Misc	`conf`	VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
2009	—	`conf`	Bio-PEPA for Epidemiological Models. PASM@MASCOTS Federica Ciocchetta, Jane Hillston
2009	J	`jnl`	Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. Federica Ciocchetta, Jane Hillston
2009	J	`jnl`	Cost-based admission control for Internet Commerce QoS enhancement. Electron. Commer. Res. Appl. Yussuf Abu-Shaaban, Jane Hillston
2009	—	`conf`	Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style. Algorithmic Bioprocesses Jane Hillston, Adam Duguid
2009	Misc	`conf`	Design and Development of Software Tools for Bio-PEPA. WSC Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe
2009	—	`conf`	Equivalence and Discretisation in Bio-PEPA. CMSB Vashti Galpin, Jane Hillston
2009	J	`jnl`	Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems. IEEE Trans. Software Eng. Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek
2009	B	`conf`	HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR Vashti Galpin, Luca Bortolussi, Jane Hillston
2009	—	`conf`	Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. Formal Methods in Molecular Biology Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
2009	J	`jnl`	Performance Modelling of Content Adaptation for a Personal Distributed Environment. Wirel. Pers. Commun. Jie Ding, Jane Hillston, David I. Laurenson
2009	J	`jnl`	Process Algebra Modelling Styles for Biomolecular Processes. Trans. Comp. Sys. Biology Muffy Calder, Jane Hillston
2009	—	`conf`	Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA COMPMOD Laurence Loewe, Stuart L. Moodie, Jane Hillston
2009	—	`conf`	The Bio-PEPA Tool Suite. QEST Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
2008	B	`conf`	An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC Hao Wang, David I. Laurenson, Jane Hillston
2008	J	`jnl`	Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston
2008	—	`conf`	Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC Hao Wang, David I. Laurenson, Jane Hillston
2008	J	`jnl`	Foreword. SIGMETRICS Perform. Evaluation Rev. Stephen Gilmore, Jane Hillston
2008	B	`conf`	HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS Vashti Galpin, Jane Hillston, Luca Bortolussi
2008	—	`conf`	Improved Continuous Approximation of PEPA Models through Epidemiological Examples. FBTC@ICALP Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland
2008	—	`conf`	Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
2008	—	`conf`	Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. PASM@EPEW Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
2008	J	`jnl`	Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA. Theor. Comput. Sci. Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
2008	J	`jnl`	Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Perform. Evaluation Rev. Stephen Gilmore, Jane Hillston
2008	—	`conf`	Process Algebras in Systems Biology. SFM Federica Ciocchetta, Jane Hillston
2008	J	`jnl`	Relating continuous and discrete PEPA models of signalling pathways. Theor. Comput. Sci. Nil Geisweiller, Jane Hillston, Marco Stenico
2008	—	`conf`	Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. FBTC@ICALP Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
2008	—	`conf`	The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock. CMSB Laurence Loewe, Jane Hillston
2007	—	`conf`	A Structural Approach for Modelling Performance of Systems Using Skeletons. QAPL Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston
2007	—	`conf`	Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. FBTC@CONCUR Federica Ciocchetta, Jane Hillston
2007	Misc	`conf`	Evaluation of the QoS of crash-recovery failure detection. SAC Tiejun Ma, Jane Hillston, Stuart Anderson
2007	—	`ed.`	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 SFM Marco Bernardo, Jane Hillston
2007	J	`jnl`	Formal techniques for performance analysis: blending SAN and PEPA. Formal Aspects Comput. Jane Hillston, Leïla Kloul
2007	—	`conf`	Modelling Yeast Pre-rRNA Processing. CMSB Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
2007	A	`conf`	On the Quality of Service of Crash-Recovery Failure Detectors. DSN Tiejun Ma, Jane Hillston, Stuart Anderson
2007	B	`conf`	PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS Hao Wang, David I. Laurenson, Jane Hillston
2007	—	`conf`	Quantitative analysis of biochemical signalling pathways. VALUETOOLS Jane Hillston
2007	—	`conf`	Stochastic Process Algebras. SFM Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
2006	—	`conf`	06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. Simulation and Verification of Dynamic Systems 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
2006	—	`conf`	A Function-Equivalent Components Based Simplification Technique for PEPA Models. EPEW Jane Hillston, Leïla Kloul
2006	A	`conf`	A design environment for mobile applications. IPDPS Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer
2006	J	`jnl`	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology Muffy Calder, Stephen Gilmore, Jane Hillston
2006	—	`conf`	Population models from PEPA descriptions. Simulation and Verification of Dynamic Systems Jane Hillston
2006	—	`conf`	Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston
2005	B	`conf`	Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2005	J	`jnl`	Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. Scalable Comput. Pract. Exp. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2005	—	`conf`	Flexible Skeletal Programming with eSkel. Euro-Par Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2005	—	`conf`	Fluid Flow Approximation of PEPA models. QEST Jane Hillston
2005	A*	`conf`	Process Algebras for Quantitative Analysis. LICS Jane Hillston
2005	J	`jnl`	Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2005	J	`jnl`	Tuning Systems: From Composition to Performance (The Needham Lecture). Comput. J. Jane Hillston
2005	—	`conf`	Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2004	—	`conf`	Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens
2004	Misc	`conf`	Evaluating the Performance of Skeleton-Based High Level Parallel Programs. International Conference on Computational Science Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
2004	—	`conf`	Modelling Mobility with PEPA Nets. ISCIS Jane Hillston, Marina Ribaudo
2004	—	`conf`	PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
2004	—	`conf`	Securing Statically-verified Communications Protocols Against Timing Attacks. PASM Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
2004	—	`conf`	Software performance modelling using PEPA nets. WOSP Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2004	J	`jnl`	Towards a Feasible Active Networking Scenario. Telecommun. Syst. Jane Hillston, Leïla Kloul, Amdjed Mokhtari
2003	—	`conf`	PEPA Nets. MASCOTS Tutorials Stephen Gilmore, Jane Hillston, Leïla Kloul
2003	J	`jnl`	PEPA nets: a structured performance modelling formalism. Perform. Evaluation Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2003	—	`conf`	Performance Evaluation for Global Computation. Global Computing Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
2002	—	`conf`	PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS Stephen Gilmore, Jane Hillston, Marina Ribaudo
2002	J	`jnl`	Product form solution for an insensitive stochastic process algebra structure. Perform. Evaluation Graham Clark, Jane Hillston
2002	J	`jnl`	Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation Roberto Gorrieri, Ulrich Herzog, Jane Hillston
2001	—	`conf`	A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
2001	J	`jnl`	An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. Stephen Gilmore, Jane Hillston, Marina Ribaudo
2001	—	`conf`	An Efficient Kronecker Representation for PEPA Models. PAPM-PROBMIV Jane Hillston, Leïla Kloul
2001	J	`jnl`	Performance investigation of an on-line auction system. Concurr. Comput. Pract. Exp. Jane Hillston, Leïla Kloul
2000	—	`conf`	Amalgamation of Transition Sequences in the PEPA Formalism. ICALP Satellite Workshops Jane Hillston, J. Tomasik
2000	—	`conf`	Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000	—	`conf`	Exploiting Structure in Solution: Decomposing Compositional Models. European Educational Forum: School on Formal Methods and Performance Analysis Jane Hillston
2000	—	`conf`	The PEPA Feature Construct. FIREworks Stephen Gilmore, Jane Hillston
1999	J	`jnl`	Experiences with the PEPA performance modelling. IEE Proc. Softw. Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas
1999	J	`jnl`	Product Form Solution for a Class of PEPA Models. Perform. Evaluation Jane Hillston, Nigel Thomas
1999	—	`conf`	Specifying Performance Measures for PEPA. ARTS Graham Clark, Stephen Gilmore, Jane Hillston
1995	J	`jnl`	A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. Comput. J. Jane Hillston, Vassilis Mertsiotakis
1995	J	`jnl`	A Tool to Enhance Model Exploitation. Perform. Evaluation Jane Hillston
1995	—	`conf`	A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM Susanna Donatelli, Marina Ribaudo, Jane Hillston
1995	J	`jnl`	Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. Comput. J. Peter G. Harrison, Jane Hillston
1995	J	`jnl`	Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. Comput. J. Stephen Gilmore, Jane Hillston
1994	—	`—`	A compositional approach to performance modelling. Jane Hillston
1994	—	`ed.`	Computer Performance Evaluation '92: Modelling Techniques and Tools: Proceedings of the Sixth International Conference on Modelling Techniques and Tools, Edinburg, UK, 1992 Computer Performance Evaluation Rob Pooley, Jane Hillston
1994	C	`conf`	Stochastic process algebras: integrating qualitative and quantitative modelling. FORTE Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach
1994	—	`conf`	The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. Computer Performance Evaluation Stephen Gilmore, Jane Hillston
1992	—	`ed.`	7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991 Computer and Telecommunications Performance Engineering Jane Hillston, Peter J. B. King, Rob Pooley
1991	A	`conf`	A Case Study Using the IMSE Experimentation Tool. CAiSE Jane Hillston, Andreas L. Opdahl, Rob Pooley
1991	—	`conf`	The Performance Analysis Process. Computer and Telecommunications Performance Engineering Rob Pooley, Jane Hillston