Segui
Jane Hillston
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Email verificata su ed.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
A compositional approach to performance modelling
J Hillston
Cambridge Univ Pr, 2005
2016*2005
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
4341994
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
4112009
Fluid flow approximation of PEPA models
J Hillston
Second International Conference on the Quantitative Evaluation of Systems …, 2005
3682005
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
2152006
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
2032013
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
Software Engineering, IEEE Transactions on, 1-1, 2010
1442010
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1382005
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
1312008
Process algebras for quantitative analysis
J Hillston
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005
1302005
The nature of synchronisation
J Hillston
Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994
1291994
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1252001
Compositional Markovian modelling using a process algebra
J Hillston
Numerical solution of Markov chains. Kluwer, 1995
1181995
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1072003
An efficient Kronecker representation for PEPA models
J Hillston, L Kloul
Process Algebra and Probabilistic Methods. Performance Modelling and …, 2001
1032001
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
972005
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
962007
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
961995
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
871999
PEPA: Performance enhanced process algebra
J Hillston
University of Edinburgh, Department of Computer Science, 1993
771993
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20