Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

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

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

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

  10. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

    Loreti, M. & Hillston, J. 2016 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Bernardo, M., De Nicola, R. & Hillston, J. (eds.). Springer Berlin Heidelberg, p. 83-119 37 p. (Lecture Notes in Computer Science; vol. 9700)

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

  11. Stochastic and Spatial Equivalences for PALOMA

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

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

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