Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

  4. MELA: Modelling in Ecology with Location Attributes

    Vissat, L. L., Hillston, J., Marion, G. & Smith, M. J. 31 Aug 2016 Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems. 16 p.

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

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

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

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

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

  9. Stochastic and Spatial Equivalences for PALOMA

    Piho, P. & Hillston, J. 25 May 2016 FORECAST 2016: Formal methods for the quantitative Evaluation of Collective Adaptive Systems. 12 p.

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

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

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

    Hillston, J. & Loreti, M. 10 May 2016 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). 4 p.

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

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