Jane Hillston
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
A compositional approach to performance modelling
J Hillston
Cambridge Univ Pr, 2005
17742005
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
S Gilmore, J Hillston
Computer Performance Evaluation Modelling Techniques and Tools, 353-368, 1994
3701994
Bio-PEPA: a framework for the modelling and analysis of biological systems
F Ciocchetta, J Hillston
Theoretical Computer Science 410 (33-34), 3065-3084, 2009
3552009
Fluid flow approximation of PEPA models
J Hillston
Second International Conference on the Quantitative Evaluation of Systems†…, 2005
3322005
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
M Calder, S Gilmore, J Hillston
Transactions on computational systems biology VII, 1-23, 2006
1952006
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
M Calder, S Gilmore, J Hillston
Transactions on Computational Systems Biology, 2004
1952004
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
1372013
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1212001
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
Software Engineering, IEEE Transactions on, 1-1, 2010
1202010
The nature of synchronisation
J Hillston
Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994
1151994
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1142005
Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
F Ciocchetta, J Hillston
Electronic Notes in Theoretical Computer Science 194 (3), 103-117, 2008
1062008
Process algebras for quantitative analysis
J Hillston
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005
1062005
Compositional Markovian modelling using a process algebra
J Hillston
Numerical solution of Markov chains. Kluwer, 1995
1051995
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
922003
An efficient Kronecker representation for PEPA models
J Hillston, L Kloul
Process Algebra and Probabilistic Methods. Performance Modelling and†…, 2001
922001
Automatically deriving ODEs from process algebra models of signalling pathways
M Calder, S Gilmore, J Hillston
Proceedings of Computational Methods in Systems Biology (CMSB 2005) 204215, 2005
912005
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
S Donatelli, M Ribaudo, J Hillston
Proceedings 6th International Workshop on Petri Nets and Performance Models†…, 1995
871995
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
752007
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
721999
The system can't perform the operation now. Try again later.
Articles 1–20