The following pages link to Jane Hillston (Q470010):
Displaying 50 items.
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358) (← links)
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Active and sparse methods in smoothed model checking (Q832071) (← links)
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (Q941454) (← links)
- Relating continuous and discrete PEPA models of signalling pathways (Q953546) (← links)
- Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA (Q959787) (← links)
- Unbiased Bayesian inference for population Markov jump processes via random truncations (Q1703815) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Fluid approximation of broadcasting systems (Q2306023) (← links)
- Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting (Q2326588) (← links)
- Model checking single agent behaviours by fluid approximation (Q2346412) (← links)
- Abstract Interpretation of PEPA Models (Q2796221) (← links)
- A Structural Approach for Modelling Performance of Systems Using Skeletons (Q2870292) (← links)
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300) (← links)
- Fluid Model Checking (Q2912688) (← links)
- Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
- Stochastic Process Algebras (Q3084589) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- The Benefits of Sometimes Not Being Discrete (Q3190105) (← links)
- (Q3384915) (← links)
- Formal Methods for Biochemical Signalling Pathways (Q3557672) (← links)
- A Function-Equivalent Components Based Simplification Technique for PEPA Models (Q3613665) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Specifications in stochastic process algebra for a robot control problem (Q4230124) (← links)
- (Q4518928) (← links)
- (Q4547770) (← links)
- (Q4738769) (← links)
- Product form solution for a class of PEPA models (Q4779393) (← links)
- Product form solution for an insensitive stochastic process algebra structure (Q4788444) (← links)
- Unified specification and performance evaluation using stochastic process algebras (Q4788447) (← links)
- Performance investigation of an on‐line auction system (Q4790970) (← links)
- (Q4798038) (← links)
- (Q4817054) (← links)
- (Q4965816) (← links)
- Persistent Stochastic Non-Interference (Q5158656) (← links)
- Geometric fluid approximation for general continuous-time Markov chains (Q5160758) (← links)
- Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems (Q5194934) (← links)
- Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems (Q5270685) (← links)
- Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language” (Q5270910) (← links)
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (Q5300886) (← links)
- Improved Continuous Approximation of PEPA Models through Epidemiological Examples (Q5404074) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- A Compositional Approach to Performance Modelling (Q5462953) (← links)
- (Q5687213) (← links)
- (Q5858728) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897116) (← links)
- Fluid approximation-based analysis for mode-switching population dynamics (Q6584555) (← links)
