Jane Hillston

According to our database1, Jane Hillston authored at least 163 papers between 1991 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems.
ACM Trans. Model. Comput. Simul., 2018

Stochastic process algebras and their markovian semantics.
SIGLOG News, 2018

Accelerating simulation of Population Continuous Time Markov Chains via automatic model reduction.
Perform. Eval., 2018

Persistent Stochastic Non-Interference.
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, 2018

Policy Synthesis for Collective Dynamics.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Information Flow Security for Stochastic Processes.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017
Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

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

Unbiased Bayesian inference for population Markov jump processes via random truncations.
Statistics and Computing, 2017

Moment-based availability prediction for bike-sharing systems.
Perform. Eval., 2017

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Statistical Abstraction for Multi-scale Spatio-Temporal Systems.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul., 2016

MELA: Modelling in Ecology with Location Attributes.
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Stochastic and Spatial Equivalences for PALOMA.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Property-driven State-Space Coarsening for Continuous Time Markov Chains.
CoRR, 2016

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Property-Driven State-Space Coarsening for Continuous Time Markov Chains.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Abstract Interpretation of PEPA Models.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Mission reliability of semi-Markov systems under generalized operational time requirements.
Rel. Eng. & Sys. Safety, 2015

Model checking single agent behaviours by fluid approximation.
Inf. Comput., 2015

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.
Electr. Notes Theor. Comput. Sci., 2015

Fluid Performability Analysis of Nested Automata Models.
Electr. Notes Theor. Comput. Sci., 2015

Performance Analysis of Collective Adaptive Behaviour in Time and Space.
Electr. Notes Theor. Comput. Sci., 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Efficient Checking of Individual Rewards Properties in Markov Population Models.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Quantitative Analysis of Collective Adaptive Systems.
Proceedings of the Perspectives of System Informatics, 2015

Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Service Composition for Collective Adaptive Systems.
Proceedings of the Software, 2015

2014
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512).
Dagstuhl Reports, 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.
CoRR, 2014

Probabilistic Programming Process Algebra.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

PALOMA: A Process Algebra for Located Markovian Agents.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Automated Capacity Planning for PEPA Models.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Specification and Analysis of Open-Ended Systems with CARMA.
Proceedings of the Agent Environments for Multi-Agent Systems IV, 2014

The Benefits of Sometimes Not Being Discrete.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks.
IEEE Trans. Mob. Comput., 2013

Continuous approximation of collective system behaviour: A tutorial.
Perform. Eval., 2013

HYPE: Hybrid modelling by composition of flows.
Formal Asp. Comput., 2013

Conservation of Mass Analysis for Bio-PEPA.
Electr. Notes Theor. Comput. Sci., 2013

Stochastic Modelling of the Kai-based Circadian Clock.
Electr. Notes Theor. Comput. Sci., 2013

An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations.
CoRR, 2013

An aggregation technique for large-scale PEPA models with non-uniform populations.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Contextual lumpability.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Challenges for Quantitative Analysis of Collective Adaptive Systems.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation.
Proceedings of the Formal Methods for Dynamical Systems, 2013

ABC-Fun: A Probabilistic Programming Language for Biology.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Scalable Differential Analysis of Process Algebra Models.
IEEE Trans. Software Eng., 2012

Fluid Rewards for a Stochastic Process Algebra.
IEEE Trans. Software Eng., 2012

Bio-PEPAd: A non-Markovian extension of Bio-PEPA.
Theor. Comput. Sci., 2012

Scalable context-dependent analysis of emergency egress models.
Formal Asp. Comput., 2012

Hybrid performance modelling of opportunistic networks
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Fluid Model Checking
CoRR, 2012

Stochastic Process Algebras: From Individuals to Populations.
Comput. J., 2012

Numerically Representing Stochastic Process Algebra Models.
Comput. J., 2012

Fluid Approximation of CTMC with Deterministic Delays.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Fluid Model Checking.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway.
Trans. Computational Systems Biology, 2011

A semantic equivalence for Bio-PEPA based on discretisation of continuous values.
Theor. Comput. Sci., 2011

A semi-quantitative equivalence for abstracting from fast reactions
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Modelling Non-linear Crowd Dynamics in Bio-PEPA.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments.
Wireless Personal Communications, 2010

On the Quality of Service of Crash-Recovery Failure Detectors.
IEEE Trans. Dependable Sec. Comput., 2010

Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA.
Trans. Computational Systems Biology, 2010

Bio-PEPA for Epidemiological Models.
Electr. Notes Theor. Comput. Sci., 2010

Numerically Representing A Stochastic Process Algebra
CoRR, 2010

Modeling biological systems with delays in Bio-PEPA
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models
CoRR, 2010

Investigating modularity in the analysis of process algebra models of biochemical systems
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

VERIFICATION AND TESTING OF BIOLOGICAL MODELS.
Proceedings of the 2010 Winter Simulation Conference, 2010

Hybrid Semantics for PEPA.
Proceedings of the QEST 2010, 2010

Process Algebras for Collective Dynamics.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Reconciling Population and Agent Models for Crowd Dynamics.
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra.
Proceedings of IEEE International Conference on Communications, 2010

Structural Analysis for Stochastic Process Algebra Models.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
Performance Modelling of Content Adaptation for a Personal Distributed Environment.
Wireless Personal Communications, 2009

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.
IEEE Trans. Software Eng., 2009

Process Algebra Modelling Styles for Biomolecular Processes.
Trans. Computational Systems Biology, 2009

Bio-PEPA: A framework for the modelling and analysis of biological systems.
Theor. Comput. Sci., 2009

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.
Electr. Notes Theor. Comput. Sci., 2009

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.
Electr. Notes Theor. Comput. Sci., 2009

Improved Continuous Approximation of PEPA Models through Epidemiological Examples.
Electr. Notes Theor. Comput. Sci., 2009

Cost-based admission control for Internet Commerce QoS enhancement.
Electronic Commerce Research and Applications, 2009

Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Design and Development of Software Tools for Bio-PEPA.
Proceedings of the 2009 Winter Simulation Conference, 2009

The Bio-PEPA Tool Suite.
Proceedings of the QEST 2009, 2009

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Equivalence and Discretisation in Bio-PEPA.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
Relating continuous and discrete PEPA models of signalling pathways.
Theor. Comput. Sci., 2008

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.
Theor. Comput. Sci., 2008

Performance evaluation comes to life: quantitative methods applied to biological systems.
SIGMETRICS Performance Evaluation Review, 2008

Foreword.
SIGMETRICS Performance Evaluation Review, 2008

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.
J. Comput. Syst. Sci., 2008

HYPE Applied to the Modelling of Hybrid Biological Systems.
Electr. Notes Theor. Comput. Sci., 2008

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.
Electr. Notes Theor. Comput. Sci., 2008

Process Algebras in Systems Biology.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning.
Proceedings of the IEEE 19th International Symposium on Personal, 2008

Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.
Proceedings of IEEE International Conference on Communications, 2008

The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Formal techniques for performance analysis: blending SAN and PEPA.
Formal Asp. Comput., 2007

A Structural Approach for Modelling Performance of Systems Using Skeletons.
Electr. Notes Theor. Comput. Sci., 2007

Quantitative analysis of biochemical signalling pathways.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Stochastic Process Algebras.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Evaluation of the QoS of crash-recovery failure detection.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6.
Proceedings of the 15th International Symposium on Modeling, 2007

On the Quality of Service of Crash-Recovery Failure Detectors.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Modelling Yeast Pre-rRNA Processing.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.
, 2006

A design environment for mobile applications.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Function-Equivalent Components Based Simplification Technique for PEPA Models.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Population models from PEPA descriptions.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra.
Scalable Computing: Practice and Experience, 2005

Securing Statically-verified Communications Protocols Against Timing Attacks.
Electr. Notes Theor. Comput. Sci., 2005

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

Scheduling Skeleton-Based Grid Applications Using PEPA and NWS.
Comput. J., 2005

Fluid Flow Approximation of PEPA models.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Using eSkel to Implement the Multiple Baseline Stereo Application.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Process Algebras for Quantitative Analysis.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Flexible Skeletal Programming with eSkel.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004
Towards a Feasible Active Networking Scenario.
Telecommunication Systems, 2004

Software performance modelling using PEPA nets.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Analysing UML 2.0 activity diagrams in the software performance engineering process.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Mobility with PEPA Nets.
Proceedings of the Computer and Information Sciences, 2004

Evaluating the Performance of Skeleton-Based High Level Parallel Programs.
Proceedings of the Computational Science, 2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003
PEPA nets: a structured performance modelling formalism.
Perform. Eval., 2003

PEPA Nets.
Proceedings of the Performance Tools and Applications to Networked Systems, 2003

Performance Evaluation for Global Computation.
Proceedings of the Global Computing. Programming Environments, 2003

2002
Unified specification and performance evaluation using stochastic process algebras.
Perform. Eval., 2002

Product form solution for an insensitive stochastic process algebra structure.
Perform. Eval., 2002

PEPA Nets: A Structured Performance Modelling Formalism.
Proceedings of the Computer Performance Evaluation, 2002

2001
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng., 2001

Performance investigation of an on-line auction system.
Concurrency and Computation: Practice and Experience, 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

An Efficient Kronecker Representation for PEPA Models.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000
Amalgamation of Transition Sequences in the PEPA Formalism.
ICALP Satellite Workshops, 2000

Exploiting Structure in Solution: Decomposing Compositional Models.
Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Exploiting Modal Logic to Express Performance Measures.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Product Form Solution for a Class of PEPA Models.
Perform. Eval., 1999

Experiences with the PEPA performance modelling.
IEE Proceedings - Software, 1999

Specifying Performance Measures for PEPA.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1995
A Tool to Enhance Model Exploitation.
Perform. Eval., 1995

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.
Comput. J., 1995

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.
Comput. J., 1995

Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland.
Comput. J., 1995

A comparison of performance evaluation process algebra and generalized stochastic Petri nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

1994
A compositional approach to performance modelling.
PhD thesis, 1994

Stochastic process algebras: integrating qualitative and quantitative modelling.
Proceedings of the Formal Description Techniques VII, 1994

The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.
Proceedings of the Computer Performance Evaluation, 1994

1991
The Performance Analysis Process.
Proceedings of the 7th UK Computer and Telecommunications Performance Engineering Workshop, 1991

A Case Study Using the IMSE Experimentation Tool.
CAiSE, 1991


  Loading...