Jane Hillston

Available identifiers

zbMath Open hillston.janeWikidataQ11630 ScholiaQ11630MaRDI QIDQ470010

List of research outcomes

Publication	Date of Publication	Type
Policy Synthesis for Collective Dynamics	2023-06-28	Paper
Active and sparse methods in smoothed model checking	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q3384915	2021-12-17	Paper
Geometric fluid approximation for general continuous-time Markov chains	2021-10-29	Paper
Persistent Stochastic Non-Interference	2021-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q5858728	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q4965816	2021-03-10	Paper
Fluid approximation of broadcasting systems	2020-03-20	Paper
Extending a Hodgkin-Huxley model for larval \textit{Drosophila} muscle excitability via particle swarm fitting	2019-10-10	Paper
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems	2019-09-17	Paper
Unbiased Bayesian inference for population Markov jump processes via random truncations	2018-03-07	Paper
Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language”	2017-07-03	Paper
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems	2017-06-30	Paper
Abstract Interpretation of PEPA Models	2016-03-23	Paper
Model checking single agent behaviours by fluid approximation	2015-06-01	Paper
HYPE: hybrid modelling by composition of flows	2014-11-11	Paper
The Benefits of Sometimes Not Being Discrete	2014-09-15	Paper
HYPE Applied to the Modelling of Hybrid Biological Systems	2014-05-13	Paper
Improved Continuous Approximation of PEPA Models through Epidemiological Examples	2014-03-21	Paper
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA	2014-03-21	Paper
A Structural Approach for Modelling Performance of Systems Using Skeletons	2014-01-17	Paper
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks	2014-01-17	Paper
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation	2013-06-28	Paper
Fluid Model Checking	2012-09-25	Paper
Bio-PEPAd: a non-Markovian extension of Bio-PEPA	2012-03-13	Paper
A semantic equivalence for Bio-PEPA based on discretisation of continuous values	2011-05-03	Paper
Stochastic Process Algebras	2011-03-25	Paper
Structural Analysis for Stochastic Process Algebra Models	2011-01-21	Paper
Formal Methods for Biochemical Signalling Pathways	2010-04-23	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Process Algebra Modelling Styles for Biomolecular Processes	2009-11-10	Paper
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour	2009-10-22	Paper
Bio-PEPA: A framework for the modelling and analysis of biological systems	2009-08-07	Paper
A Function-Equivalent Components Based Simplification Technique for PEPA Models	2009-03-12	Paper
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA	2008-12-12	Paper
Relating continuous and discrete PEPA models of signalling pathways	2008-11-06	Paper
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models	2008-09-01	Paper
Formal techniques for performance analysis: blending SAN and PEPA	2007-04-19	Paper
A Compositional Approach to Performance Modelling	2005-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4817054	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4738769	2004-08-11	Paper
Product form solution for a class of PEPA models	2003-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4798038	2003-03-18	Paper
Performance investigation of an on‐line auction system	2003-02-04	Paper
Product form solution for an insensitive stochastic process algebra structure	2003-01-21	Paper
Unified specification and performance evaluation using stochastic process algebras	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4547770	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4518928	2001-06-13	Paper
Specifications in stochastic process algebra for a robot control problem	1999-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q5687213	1996-12-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jane Hillston