Edinburgh Research Explorer

Prof Jane Hillston

Personal Chair in Quantitative Modelling and Head of School

  1. 2018
  2. Information Flow Security for Stochastic Processes

    Hillston, J., Marin, A., Piazza, C. & Rossi, S. 3 Oct 2018 15th European Performance Engineering Workshop. Paris, France: Springer, Cham, 15 p.

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

  3. Persistent Stochastic Non-Interference

    Hillston, J., Piazza, C. & Rossi, S. 24 Aug 2018 Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics . Beijing, China, Vol. 276, p. 53-68 16 p.

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

  4. Policy synthesis for collective dynamics

    Piho, P. & Hillston, J. 19 Jun 2018 (Accepted/In press) 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). Beijing, China: Springer, 16 p.

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

  5. Goals and resource constraints in CARMA

    Hillston, J., Georgoulas, A. & Piho, P. 9 May 2018 In : Electronic Notes in Theoretical Computer Science. 337, p. 155-172 18 p.

    Research output: Contribution to journalArticle

  6. Stochastic Process Algebras and their Markovian Semantics

    Hillston, J. 1 Apr 2018 In : SIGLOG News. 5, 2, p. 20-35 15 p.

    Research output: Contribution to journalArticle

  7. Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction

    Feng, C. & Hillston, J. 11 Jan 2018 In : Performance Evaluation. 39 p.

    Research output: Contribution to journalArticle

  8. ProPPA: Probabilistic Programming for Stochastic Dynamical Systems

    Georgoulas, A., Hillston, J. & Sanguinetti, G. Jan 2018 In : ACM Transactions on Modeling and Computer Simulation. 28, 1, 24 p.

    Research output: Contribution to journalArticle

  9. 2017
  10. Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

    Luisa Vissat, L., Hillston, J., Loreti, M. & Nenzi, L. 5 Dec 2017 Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools. Venice, Italy: ACM, p. 225-226 2 p.

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

  11. Moment-based Availability Prediction for Bike-Sharing Systems

    Feng, C., Hillston, J. & Reijsbergen, D. 28 Sep 2017 In : Performance Evaluation. 38 p.

    Research output: Contribution to journalArticle

  12. Statistical abstraction for multi-scale spatio-temporal systems

    Michaelides, M., Hillston, J. & Sanguinetti, G. 11 Aug 2017 International Conference on Quantitative Evaluation of Systems QEST 2017: Quantitative Evaluation of Systems . Springer, Cham, p. 243-258 16 p. (Lecture Notes in Computer Science; vol. 10503)

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

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