Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2015
  2. Speed-up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction

    Feng, C. & Hillston, J. 22 Aug 2015 Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings. Springer Berlin Heidelberg, p. 291-305 15 p. (Lecture Notes in Computer Science; vol. 9272)

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

  3. Mission Reliability of Semi-Markov Systems under Generalized Operational Time Requirements

    Wu, X. & Hillston, J. Aug 2015 In : Reliability Engineering & System Safety. 140, p. 122-129 8 p.

    Research output: Contribution to journalArticle

  4. Model Checking Single Agent Behaviours by Fluid Approximation

    Bortolussi, L. & Hillston, J. Jun 2015 In : Information and Computation. 242, p. 183-226 44 p.

    Research output: Contribution to journalArticle

  5. CARMA: Collective Adaptive Resource-sharing Markovian Agents

    Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M. & Massink, M. 14 May 2015 Workshop on Quantitative Analysis of Programming Languages 2015. 16 p.

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

  6. Service Composition for Collective Adaptive Systems

    Gilmore, S., Hillston, J. & Tribastone, M. 5 Mar 2015 Software, Services and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & R. H. (eds.). Springer Berlin Heidelberg, Vol. 8950, p. 490-505 16 p. (Lecture Notes in Computer Science; vol. 8950)

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

  7. Fluid Performability Analysis of Nested Automata Models

    Bortolussi, L., Hillston, J. & Tribastone, M. 5 Jan 2015 Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM). Elsevier, Vol. 310, p. 27-47 21 p.

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

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

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

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

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

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