Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

  7. Formal methods for checking the consistency of biological models

    Clark, A., Galpin, V., Gilmore, S., Guerriero, M. L. & Hillston, J. 2012 Advances in Systems Biology. Goryanin, I. I. & Goryachev, A. B. (eds.). Springer New York, Vol. 736, p. 461-475 15 p. (Advances in Experimental Medicine and Biology)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Hybrid performance modelling of opportunistic networks

    Bortolussi, L., Galpin, V. & Hillston, J. 2012 Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, Tallinn, Estonia, 31 March and 1 April 2012. Wiklicky, H. & Massink, M. (eds.). Open Publishing Association, p. 106-121 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 85)

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

  9. Reconciling Population and Agent Models for Crowd Dynamics

    Bracciali, A., Hillston, J., Latella, D. & Massink, M. 2012 LAM'10: EasyChair Proceedings in Computing (EPiC) series. Müller, B. (ed.). EasyChair, Vol. 7, p. 3-18 16 p. (EPiC Series)

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

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

  11. Scalable context-dependent analysis of emergency egress models

    Massink, M., Latella, D., Bracciali, A., Harrison, M. D. & Hillston, J. 2012 In : Formal Aspects of Computing. 24, 2, p. 267-302 36 p.

    Research output: Contribution to journalArticle

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