Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

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

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

  4. Stochastic Process Algebras and their Markovian Semantics

    Hillston, J. 1 Apr 2018 In : SIGLOG News. 5, 2, p. 20-35 15 p.

    Research output: Contribution to journalArticle

  5. Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction

    Feng, C. & Hillston, J. 11 Jan 2018 In : Performance Evaluation. 39 p.

    Research output: Contribution to journalArticle

  6. ProPPA: Probabilistic Programming for Stochastic Dynamical Systems

    Georgoulas, A., Hillston, J. & Sanguinetti, G. Jan 2018 In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 24 p.

    Research output: Contribution to journalArticle

  7. 2017
  8. Moment-based Availability Prediction for Bike-Sharing Systems

    Feng, C., Hillston, J. & Reijsbergen, D. 28 Sep 2017 In : Performance Evaluation. 38 p.

    Research output: Contribution to journalArticle

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

    Michaelides, M., Hillston, J. & Sanguinetti, G. 11 Aug 2017 International Conference on Quantitative Evaluation of Systems QEST 2017: Quantitative Evaluation of Systems . Springer, Cham, p. 243-258 16 p. (Lecture Notes in Computer Science; vol. 10503)

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

  10. Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

    Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G. 11 Aug 2017 Quantitative Evaluation of Systems. QEST 2017.. Springer, Cham, p. 317-332 16 p. (Lecture Notes in Computer Scienc; vol. 10503)

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

  11. Unbiased Bayesian Inference for Population Markov Jump Processes via Random Truncations

    Georgoulas, A., Hillston, J. & Sanguinetti, G. 1 Jul 2017 In : Statistics and Computing. 27, 4, p. 991–1002 12 p.

    Research output: Contribution to journalArticle

  12. Replicated Computations Results (RCR) Report for “Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language”

    Hillston, J. May 2017 In : ACM Transactions on Modeling and Computer Simulation. 4 p., 9

    Research output: Contribution to journalArticle

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