Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling

  1. 2016
  2. Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

    Loreti, M. & Hillston, J. 2016 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Bernardo, M., De Nicola, R. & Hillston, J. (eds.). Springer Berlin Heidelberg, p. 83-119 37 p. (Lecture Notes in Computer Science; vol. 9700)

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

  3. Stochastic and Spatial Equivalences for PALOMA

    Piho, P. & Hillston, J. 2016 FORECAST 2016: Formal methods for the quantitative Evaluation of Collective Adaptive Systems. p. 69-80 12 p.

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

  4. 2015
  5. 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)

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

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

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

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

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

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

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

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