Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

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

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

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

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

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

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

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

  10. Conservation of Mass Analysis for Bio-PEPA

    Clark, A., Gilmore, S., Guerriero, M. L. & Hillston, J. Aug 2013 In : Electronic Notes in Theoretical Computer Science. 296, p. 107-126 20 p.

    Research output: Contribution to journalArticle

  11. HYPE: Hybrid modelling by composition of flows

    Galpin, V., Bortolussi, L. & Hillston, J. Jul 2013 In : Formal Aspects of Computing. 25, 4, p. 503-541 39 p.

    Research output: Contribution to journalArticle

  12. A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks

    Wang, H., Laurenson, D. & Hillston, J. 1 May 2013 In : IEEE Transactions on Mobile Computing. 12, 5, p. 868-884 17 p.

    Research output: Contribution to journalArticle

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