Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2016
  2. Quantitative Analysis of Collective Adaptive Systems

    Hillston, J. Jun 2016 Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer International Publishing, p. 1-5 5 p. (Lecture Notes in Computer Science; vol. 9609)

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

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

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

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

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

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

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

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

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

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

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