Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2016
  2. Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

    Zon, N., Gilmore, S. & Hillston, J. 5 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 (Accepted/In press) In : Journal of Shanghai Jiaotong University (Science). 6 p.

    Research output: Contribution to journalArticle

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

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

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

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

    Feng, C., Hillston, J. & Reijsbergen, D. 3 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

  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). Quebec City, Canada: 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. 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. 47, 12, p. 3177-3188 12 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. Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems With Minimum Operational Time Requirement

    Wu, X. & Hillston, J. 15 May 2016 (Accepted/In press) 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

  10. Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

    Feng, C., Hillston, J. & Galpin, V. 1 Mar 2016 In : ACM Transactions on Modeling and Computer Simulation. 26, 4, 22 p., 26

    Research output: Contribution to journalArticle

  11. MELA: Modelling in Ecology with Location Attributes

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

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

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