Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2019
  2. Geometric fluid approximation for general continuous-time Markov chains

    Michaelides, M., Hillston, J. & Sanguinetti, G., 21 Aug 2019, (Accepted/In press) In : Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

    Research output: Contribution to journalArticle

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

  4. Analysis of spatio-temporal properties of stochastic systems using TSTL

    Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G., 5 Apr 2019, (Accepted/In press) In : ACM Transactions on Modeling and Computer Simulation. 25 p.

    Research output: Contribution to journalArticle

  5. Experiential AI

    Hemment, D., Aylett, R., Belle, V., Murray-Rust, D., Luger, E., Hillston, J., Rovatsos, M. & Broz, F., 1 Apr 2019, AI Matters, 5, 1, p. 25-31 7 p.

    Research output: Contribution to specialist publicationArticle

  6. Delimited Persistent Stochastic Non-Interference

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools. Palma de Mallorca, Spain: ACM, p. 135-142 8 p.

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

  7. 2018
  8. Information Flow Security for Stochastic Processes

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 3 Oct 2018, 15th European Performance Engineering Workshop. Paris, France: Springer, Cham, 15 p.

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

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

    Luisa Vissat, L., Hillston, J. & Williams, A., 18 Sep 2018, (Accepted/In press) Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, (Computational Biology; vol. 30).

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

  10. Persistent Stochastic Non-Interference

    Hillston, J., Piazza, C. & Rossi, S., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics . Beijing, China, Vol. 276. p. 53-68 16 p.

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

  11. Policy synthesis for collective dynamics

    Piho, P. & Hillston, J., 19 Jun 2018, (Accepted/In press) 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). Beijing, China: Springer, 16 p.

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

  12. Goals and resource constraints in CARMA

    Hillston, J., Georgoulas, A. & Piho, P., 9 May 2018, In : Electronic Notes in Theoretical Computer Science. 337, p. 155-172 18 p.

    Research output: Contribution to journalArticle

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