Theo dõi
Jane Hillston
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Email được xác minh tại ed.ac.uk - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
A compositional approach to performance modelling
J Hillston
Cambridge Univ Pr, 2005
2058*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
4461994
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
4332009
Fluid flow approximation of PEPA models
J Hillston
Second International Conference on the Quantitative Evaluation of Systems …, 2005
3732005
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
2222006
Continuous approximation of collective system behaviour: A tutorial
L Bortolussi, J Hillston, D Latella, M Massink
Performance Evaluation 70 (5), 317-349, 2013
2092013
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
1402005
Process algebras for quantitative analysis
J Hillston
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 239-248, 2005
1342005
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
1322008
The nature of synchronisation
J Hillston
Proc. of 2nd Process Algebra and Performance Modelling Workshop, 143, 1994
1321994
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2002
1282002
Compositional Markovian modelling using a process algebra
J Hillston
Numerical solution of Markov chains. Kluwer, 1995
1191995
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1092003
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
1012005
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
1002007
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
861999
Performance modelling with the unified modelling language and stochastic process algebras
C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens
Iee proceedings-computers and digital techniques 150 (2), 107-120, 2003
762003
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20