Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2015
  2. Patch-based modelling of city-centre bus movement with phase-type distributions

    Reijsbergen, D., Gilmore, S. & Hillston, J. 5 Jan 2015 Seventh International Workshop on Practical Applications of Stochastic Modelling. p. 157-177 21 p. (Electronic Notes in Theoretical Computer Science; vol. 310)

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

  3. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

    Hillston, J., Pitt, J., Wirsing, M. & Zambonelli, F. 2015 In : Dagstuhl Reports. 4, 12, p. 68-113 46 p.

    Research output: Contribution to journalArticle

  4. Efficient Checking of Individual Rewards Properties in Markov Population Models

    Bortolussi, L. & Hillston, J. 2015 Proceedings for the 13th Workshop on Quantitative Aspects of Programming Languages. 16 p.

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

  5. 2014
  6. Automated Capacity Planning for PEPA Models

    Williams, C. D. & Hillston, J. 11 Sep 2014 Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings. Springer International Publishing, Vol. 8721, p. 209-223 15 p. (Lecture Notes in Computer Science)

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

  7. PALOMA: A process algebra for located Markovian agents

    Feng, C. & Hillston, J. 8 Sep 2014 Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 265-280 16 p. (Lecture Notes in Computer Science)

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

  8. Probabilistic Programming Process Algebra

    Georgoulas, A., Hillston, J., Milios, D. & Sanguinetti, G. 8 Sep 2014 Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 249-264 16 p. (Lecture Notes in Computer Science; vol. 8657)

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

  9. The Benefits of Sometimes Not Being Discrete

    Hillston, J. 2 Sep 2014 CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Springer Berlin Heidelberg, Vol. 8704, p. 7-22 16 p. (Lecture Notes in Computer Science; vol. 8704)

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

  10. A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities

    Beek, M. H. T., Bortolussi, L., Ciancia, V., Gnesi, S., Hillston, J., Latella, D. & Massink, M. 2014 ERCIM News, 2014, p. 32-32 1 p.

    Research output: Contribution to specialist publicationSpecial issue

  11. Challenges for Quantitative Analysis of Collective Adaptive Systems

    Hillston, J. 2014 Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Abadi, M. & Lluch Lafuente, A. (eds.). Springer International Publishing, p. 14-21 8 p. (Lecture Notes in Computer Science)

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

  12. 2013
  13. An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations

    Pourranjbar, A. & Hillston, J. 9 Dec 2013 Proceedings of ValueTools 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools. 7 ed. ICST, 10 p.

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

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