Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  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