Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

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

  3. 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

  4. 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

  5. 2012
  6. 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

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

  8. 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

  9. 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

  10. 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

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

  12. Bio-PEPAd: A non-Markovian extension of Bio-PEPA

    Caravagna, G. & Hillston, J. 2012 In : Theoretical Computer Science. 419, p. 26-49 24 p.

    Research output: Contribution to journalArticle

Previous 12 3 4 5 6 7 8 9 ...20 Next