Edinburgh Research Explorer

Dr Vashti Galpin

Senior Researcher

  1. 2018
  2. Statistical analysis of CARMA models: an advanced tutorial

    Galpin, V., Georgoulas, A., Loreti, M. & Vandin, A., Dec 2018, 2018 Winter Simulation Conference (WSC). Institute of Electrical and Electronics Engineers (IEEE), p. 395-409 15 p.

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

  3. Formal modelling of software defined networking

    Galpin, V., 9 Aug 2018, 14th International Conference on integrated Formal Methods (IFM 2018). Springer, Cham, p. 172-193 20 p.

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

  4. Mesoscopic modelling of pedestrian movement using Carma and its tools

    Galpin, V., Zon, N., Wilsdorf, P. & Gilmore, S., 3 Apr 2018, In : ACM Transactions on Modeling and Computer Simulation. 28, 2, 25 p., 3155338.

    Research output: Contribution to journalArticle

  5. Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations

    Chen, W., Lin, Y., Galpin, V., Nigam, V., Lee, M. & Aspinall, D., 2018, 33rd International Conference on Information Security and Privacy Protection (IFIP SEC 2018). Poznan, Poland: Springer, Cham, p. 307-322 16 p.

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

  6. 2016
  7. Modelling movement for collective adaptive systems with CARMA

    Zon, N., Galpin, V. & Gilmore, S., 7 Jul 2016, Formal methods for the quantitative Evaluation of Collective Adaptive Systems Satellite Workshop of STAF 2016. p. 43-52 10 p.

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

  8. Spatial representations and analysis techniques

    Galpin, V., 11 Jun 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. Springer International Publishing, 34 p. (Lecture Notes in Computer Science; vol. 9700).

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

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

  10. Quantitative modelling of residential smart grids

    Galpin, V., 12 Jan 2016, Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Springer Berlin Heidelberg, p. 161-175 15 p. (Lecture Notes in Computer Science; vol. 9509).

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

  11. Modelling ambulance deployment with CARMA

    Galpin, V., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proenca, J. (eds.). Springer International Publishing, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 9686).

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

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

Previous 1 2 3 4 Next