Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

    Research output: Contribution to journalArticle

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

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

  6. Property-driven State-Space Coarsening for Continuous Time Markov Chains

    Michaelides, M., Milios, D., Hillston, J. & Sanguinetti, G. 3 Aug 2016 Quantitative Evaluation of Systems: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Springer International Publishing, p. 3-18 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826)

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

  7. CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

    Hillston, J. & Loreti, M. Aug 2016 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Springer, Cham, p. 167-171 5 p. (Lecture Notes in Computer Science; vol. 9826)

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

  8. Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

    Feng, C., Hillston, J. & Reijsbergen, D. Aug 2016 Proceedings for the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) : Québec City, Québec, Canada August 23-25 2016. Springer, Cham, p. 139-155 16 p. (Lecture Notes In Computer Science; vol. 9826)

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

  9. Availability Modeling of Generalized k-out-of-n: G Warm Standby Systems with PEPA

    Wu, X., Hillston, J. & Feng, C. 7 Jun 2016 In : IEEE Transactions on Systems, Man and Cybernetics: Systems. p. 1-12 12 p.

    Research output: Contribution to journalArticle

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

    Georgoulas, A., Hillston, J. & Sanguinetti, G. 2 Jun 2016 In : Statistics and Computing. 13 p.

    Research output: Contribution to journalArticle

  11. Quantitative Analysis of Collective Adaptive Systems

    Hillston, J. Jun 2016 Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer International Publishing, p. 1-5 5 p. (Lecture Notes in Computer Science; vol. 9609)

    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. 15 May 2016 Proceedings for the 2016 6th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering : July 25-28 2016 Jiuzhaigou, Sichuan, China. 6 p.

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

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