Some Recent Papers

Systems Biology

• Federica Ciocchetta and Jane Hillston. Bio-PEPA: a framework for modelling and analysis of biological systems. Theoretical Computer Science 2009 (PDF).
• Vashti Galpin and Jane Hillston. Equivalence and Discretisation in Bio-PEPA, in Proceedings of CMSB 2009 (PDF)
• Muffy Calder and Jane Hillston. Process algebra modelling styles for biomolecular processes. In Transactions on Computational Systems Biology XI, LNCS 5750/2009, 1-25 (PDF)
• Muffy Calder, Stephen Gilmore, Jane Hillston, and Vladislav Vyshemirsky. Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions, 2010. Springer-Verlag (PDF, 253986 bytes)
• Vashti Galpin and Jane Hillston. A semantic equivalence for Bio-PEPA based on discretisation of continuous values. In Theoretical Computer Science 412(21), pages 2142-2161, 2011 (PDF).
• Maria Luisa Guerriero, Alexandra Pokhilko, Aurora Pinas Fernandez, Karen J. Halliday Andrew J. Millar and Jane Hillston. Stochastic properties of the plant circadian clock. To appear in Journal of the Royal Society Interface, (PDF and supplementary material)
• Allan Clark, Vashti Galpin, Stephen Gilmore, Maria-Luisa Guerriero and Jane Hillston. Formal Methods for Checking the Consistency of Biological Models. To appear in Proceedings of ICSB 2010: Advances in Systems Biology. (PDF)

Fluid Approximations

• J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, pages 33-43, Torino, Italy, September 2005. IEEE Computer Society Press. (PDF)
• N. Geisweiller, J. Hillston and M. Stenico. Relating continuous and discrete PEPA models of signalling pathways. In Theoretical Computer Science 404, pages 97--111, 2008 (PDF).
• J. Bradley, S. Gilmore and J. Hillston. Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. In Journal of Computer and System Sciences, 74, pages 1013--1032, 2008 (PDF).
• M. Tribastone, S. Gilmore and J. Hillston. Scalable Differential Analysis of Process Algebra Models. To appear in IEEE Transactions on Software Engineering 2011 (PDF)
• L. Bortolussi, V. Galpin, J. Hillston and M. Tribastone. Hybrid semantics for PEPA. In Proceedings of Quantitative Evaluation of Systems (QEST 2010) (PDF).

• M. Tribastone, J. Ding, S. Gilmore and J. Hillston. Fluid Rewards for a Stochastic Process Algebra. To appear in IEEE Transactions on Software Engineering 2012 (PDF)
• J. Hillston, M. Tribastone and S. Gilmore. Stochastic Process Algebras: From individuals to populations, To appear in The Computer Journal 2011 (PDF)

HYPE

• Vashti Galpin, Jane Hillston and Luca Bortolussi. HYPE Applied to the Modelling of Hybrid Biological Systems, in Electronic Notes in Theoretical Computer Science, pp. 33--55, 2008 (PDF).
• Vashti Galpin, Luca Bortolussi and Jane Hillston. HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour, in Proceedings of CONCUR 2009, LNCS Vol 5710, 2009 (PDF).
• Luca Bortolussi, Vashti Galpin and Jane Hillston. HYPE with stochastic events. In Proceedings of Quantitative Aspects of Programming Languages (QAPL 2011). (PDF).
• Vashti Galpin, Jane Hillston and Luca Bortolussi. HYPE: Hybrid modelling by composition of flows. To appear in Formal Aspects of Computing 2011. (PDF).

Crowd Dynamics

• M. Massink, D. Latella, A. Bracciali and J. Hillston. Modelling Non-Linear Crowd Dynamics in Bio-PEPA, in proceedings of Fundamental Aspects of Software Engineering 2011, Springer-Verlag, (PDF)

Epidemiology modelling

• Federica Ciocchetta and Jane Hillston. Bio-PEPA for epidemiological models, in Proceedings of Practical Aspects of Stochastic Modelling (PASM) 2009 (PDF)

Tutorials

• J. Hillston. Exploiting Structure in Solution: Decomposing Composed Models. in Lectures on Formal Methods and Performance Analysis, E. Brinksma, H. Hermanns and J-P. Katoen (editors), LNCS 2090, Springer-Verlag, 2001. (Gzipped PostScript, 37 pages, 304435 bytes)
• Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone. Stochastic Process Algebras in Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, volume 4486, pages 132-179. Springer-Verlag, Bertinoro, Italy, May-June 2007. (PDF, 1058930 bytes)
• Federica Ciocchetta and Jane Hillston, Process Algebras in Systems Biology. In Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, volume 5016, pages 265--312. Springer-Verlag, Bertinoro, Italy, June 2008. (PDF, 1058930 bytes)

Return to my homepage.