Research output per year
Research output per year
- 12 results
Search results
-
2013
Continuous approximation of collective system behaviour: A tutorial
Bortolussi, L., Hillston, J., Latella, D. & Massink, M., 1 May 2013, In: Performance Evaluation. 70, 5, p. 317-349 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2012
Fluid Rewards for a Stochastic Process Algebra
Tribastone, M., Ding, J., Gilmore, S. & Hillston, J., Aug 2012, In: IEEE Transactions on Software Engineering. 38, 4, p. 861-874 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Stochastic Process Algebras: From Individuals to Populations
Hillston, J., Tribastone, M. & Gilmore, S., Jul 2012, In: The Computer Journal. 55, 7, p. 866-881 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Scalable Differential Analysis of Process Algebra Models
Tribastone, M., Gilmore, S. & Hillston, J., 2012, In: IEEE Transactions on Software Engineering. 38, 1, p. 205-219 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2010
Bio-PEPA for Epidemiological Models
Ciocchetta, F. & Hillston, J., 2010, In: Electronic Notes in Theoretical Computer Science. 261, p. 43-69 27 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2009
Improved Continuous Approximation of PEPA Models Through Epidemiological Examples
Benkirane, S., Hillston, J., McCaig, C., Norman, R. & Shankland, C., 1 Feb 2009, In: Electronic Notes in Theoretical Computer Science. 229, 1, p. 59-74 16 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Bio-PEPA: A framework for the modelling and analysis of biological systems
Ciocchetta, F. & Hillston, J., 2009, In: Theoretical Computer Science. 410, 33-34, p. 3065-3084 20 p.Research output: Contribution to journal › Article › peer-review
-
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Ciocchetta, F., Gilmore, S., Guerriero, M. L. & Hillston, J., 2009, In: Electronic Notes in Theoretical Computer Science. 232, p. 17-38 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Ciocchetta, F., Degasperi, A., Hillston, J. & Calder, M., 2009, In: Electronic Notes in Theoretical Computer Science. 229, 1, p. 145-163 19 p.Research output: Contribution to journal › Article › peer-review
-
2008
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Bradley, J. T., Gilmore, S. & Hillston, J., 1 Sept 2008, In: Journal of Computer and System Sciences. 74, 6, p. 1013-1032 20 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Relating continuous and discrete PEPA models of signalling pathways
Geisweiller, N., Hillston, J. & Stenico, M., Sept 2008, In: Theoretical Computer Science. 404, 1-2, p. 97-111 15 p.Research output: Contribution to journal › Article › peer-review
-
HYPE applied to the modelling of hybrid biological systems
Galpin, V., Hillston, J. & Bortolussi, L., 2008, In: Electronic Notes in Theoretical Computer Science. 218, p. 33-51 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile