Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2017
  2. Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction

    Feng, C. & Hillston, J. 2 Nov 2017 In : Performance Evaluation. 39 p.

    Research output: Contribution to journalArticle

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

  4. ProPPA: Probabilistic Programming for Stochastic Dynamical Systems

    Georgoulas, A., Hillston, J. & Sanguinetti, G. 14 Sep 2017 In : ACM Transactions on Modeling and Computer Simulation. 24 p.

    Research output: Contribution to journalArticle

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

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

  7. Goals and resource constraints in CARMA

    Hillston, J., Georgoulas, A. & Piho, P. 31 Jul 2017 In : Electronic Notes in Theoretical Computer Science. 17 p.

    Research output: Contribution to journalArticle

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

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

  10. 2016
  11. Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

    Zon, N., Gilmore, S. & Hillston, J. Oct 2016 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer International Publishing, p. 674-688 15 p.

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

  12. Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems with Minimum Operational Time Requirement

    Wu, X. & Hillston, J. 20 Sep 2016 In : Journal of Shanghai Jiaotong University (Science). 6 p.

    Research output: Contribution to journalArticle

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