Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

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

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

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

  11. 2013
  12. 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

  13. Contextual Lumpability

    Hillston, J., Piazza, C., Marin, A. & Rossi, S. 9 Dec 2013 Proceedings of ValueTools 2013. 7th ed. ICST, 10 p.

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

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