Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2013
  2. 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 journalArticle

  3. A model of flux regulation in the cholesterol biosynthesis pathway: Immune mediated graduated flux reduction versus statin-like led stepped flux reduction

    Watterson, S., Guerriero, M. L., Blanc, M., Mazein, A., Loewe, L., Robertson, K. A., Gibbs, H., Shui, G., Wenk, M. R., Hillston, J. & Ghazal, P. 1 Mar 2013 In : Biochemistry and Cell Biology. 95, 3, p. 613-621 9 p.

    Research output: Contribution to journalArticle

  4. ABC-Fun: A Probabilistic Programming Language for Biology

    Georgoulas, A., Hillston, J. & Sanguinetti, G. 2013 Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Gupta, A. & Henzinger, T. A. (eds.). Springer-Verlag GmbH, p. 150-163 14 p. (Lecture Notes in Computer Science; vol. 8130)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

    Bortolussi, L. & Hillston, J. 2013 Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Bernardo, M., Vink, E., Pierro, A. & Wiklicky, H. (eds.). Springer-Verlag GmbH, p. 113-149 37 p. (Lecture Notes in Computer Science; vol. 7938)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation

    Pourranjbar, A., Hillston, J. & Bortolussi, L. 2013 Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Tribastone, M. & Gilmore, S. (eds.). Springer-Verlag GmbH, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 7587)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2012
  8. Numerically Representing Stochastic Process Algebra Models

    Ding, J. & Hillston, J. Nov 2012 In : The Computer Journal. 55, 11, p. 1383-1397 15 p.

    Research output: Contribution to journalArticle

  9. Fluid approximation of CTMC with deterministic delays

    Bortolussi, L. & Hillston, J. 18 Sep 2012 Proceedings of the Quantitative Evaluations of Systems (QEST) Conference. IEEE Computer Society, p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Stochastic Modelling of the Kai-based Circadian Clock

    Banks, C., Clark, A., Georgoulas, A-A., Gilmore, S., Hillston, J., Milios, D. & Stark, I. 17 Sep 2012 Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Elsevier, Vol. 296, p. 43-60 18 p. (Electronic Notes in Theoretical Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Fluid Model Checking

    Bortolussi, L. & Hillston, J. 3 Sep 2012 CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Springer-Verlag GmbH, p. 333-347 15 p. (Lecture Notes in Computer Science; vol. 7454)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. 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 journalArticle

Previous 1 2 3 4 5 6 7 8 ...19 Next