Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2015
  2. Abstract Interpretation of PEPA Models

    Gilmore, S., Hillston, J. & Zon, N. 25 Dec 2015 Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer International Publishing, p. 140-158 18 p. (Lecture Notes in Computer Science; vol. 9560)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. Specification and Analysis of Open-Ended Systems with CARMA

    Hillston, J. & Loreti, M. 27 Nov 2015 Agent Environments for Multi-Agent Systems IV: 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers. Springer International Publishing, p. 95-116 22 p. (Lecture Notes in Computer Science; vol. 9068)

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

  4. Performance Analysis of Collective Adaptive Behaviour in Time and Space

    Feng, C., Gribaudo, M. & Hillston, J. 18 Nov 2015 In : Electronic Notes in Theoretical Computer Science. 318, p. 53-68 16 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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