Edinburgh Research Explorer

Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2020
  2. A case study of policy synthesis for swarm robotics

    Piho, P. & Hillston, J., 16 Jul 2020, (Accepted/In press) Proceedings to the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. 15 p.

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

  3. Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

    Kreikemeyer, J. N., Hillston, J. & Uhrmacher, A., 15 Jun 2020, Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York, NY, USA: ACM Association for Computing Machinery, p. 141–152 12 p.

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

  4. Fluid approximation of broadcasting systems

    Bortolussi, L., Hillston, J. & Loreti, M., 6 May 2020, In : Theoretical Computer Science. 816, p. 221-248 28 p.

    Research output: Contribution to journalArticle

  5. An Attribute-based Availability Model for Large Scale IaaS Clouds with CARMA

    Lv, H., Hillston, J., Piho, P. & Wang, H., 1 Mar 2020, In : IEEE Transactions on Parallel and Distributed Systems. 31, 3, p. 733 - 748 16 p.

    Research output: Contribution to journalArticle

  6. 2019
  7. Analysis of spatio-temporal properties of stochastic systems using TSTL

    Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G., 13 Dec 2019, In : ACM Transactions on Modeling and Computer Simulation. 29, 4, p. 20:1-20:24 25 p., 20.

    Research output: Contribution to journalArticle

  8. Statistical abstraction for multi-scale spatio-temporal systems

    Michaelides, M., Hillston, J. & Sanguinetti, G., 10 Dec 2019, In : ACM Transactions on Modeling and Computer Simulation. 29, 4, p. 22:1-22:29 29 p., 22.

    Research output: Contribution to journalArticle

  9. Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting

    Piho, P., Margetiny, F., Bartocci, E., Ribchester, R. & Hillston, J., 17 Sep 2019, Computational Methods in Systems Biology: CMSB 2019. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, Cham, p. 120-139 20 p. (Lecture Notes in Computer Science; vol. 11773).

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

  10. Geometric fluid approximation for general continuous-time Markov chains

    Michaelides, M., Hillston, J. & Sanguinetti, G., Sep 2019, In : Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 475, 2229, 25 p.

    Research output: Contribution to journalArticle

  11. Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions

    Luisa Vissat, L., Hillston, J. & Williams, A., 12 Jun 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, p. 299-326 28 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  12. Round-based Super-Individuals – Balancing Speed and Accuracy

    Wilsdorf, P., Pierce, M. E., Hillston, J. & Uhrmacher, A. M., 29 May 2019, Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation: SIGSIM-PADS'19. ACM, p. 95-98 4 p.

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

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