Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2016
  2. Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems With Minimum Operational Time Requirement

    Wu, X. & Hillston, J. 15 May 2016 (Accepted/In press) Proceedings for the 2016 6th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering : July 25-28 2016 Jiuzhaigou, Sichuan, China. 6 p.

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

  3. Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems

    Feng, C., Hillston, J. & Galpin, V. 1 Mar 2016 In : ACM Transactions on Modeling and Computer Simulation. 26, 4, 22 p., 26

    Research output: Contribution to journalArticle

  4. MELA: Modelling in Ecology with Location Attributes

    Luisa Vissat, L., Hillston, J., Marion, G. & Smith, M. J. 2016 Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems. p. 82-97 16 p.

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

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

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

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

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

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

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

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

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