Jane Hillston
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
E-mail megerősítve itt: ed.ac.uk - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
A compositional approach to performance modelling
J Hillston
Cambridge Univ Pr, 2005
18322005
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
3821994
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
3742009
Fluid flow approximation of PEPA models
J Hillston
Second International Conference on the Quantitative Evaluation of Systems …, 2005
3382005
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
2012006
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
1552013
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
Software Engineering, IEEE Transactions on, 1-1, 2010
1242010
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1212001
The nature of synchronisation
J Hillston
Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994
1211994
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1182005
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
1132008
Process algebras for quantitative analysis
J Hillston
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005
1112005
Compositional Markovian modelling using a process algebra
J Hillston
Numerical solution of Markov chains. Kluwer, 1995
1071995
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
992003
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
932005
An efficient Kronecker representation for PEPA models
J Hillston, L Kloul
Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001
932001
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
792007
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
731999
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
JT Bradley, ST Gilmore, J Hillston
Journal of Computer and System Sciences 74 (6), 1013-1032, 2008
722008
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20