Vashti Galpin

View Scopus Profile

Vashti Galpin

DR

 https://orcid.org/0000-0001-8914-1122
Filter
Conference contribution

Search results

  • 2022

    Language-Integrated Query for Temporal Data

    Fowler, S., Galpin, V. & Cheney, J., 1 Dec 2022, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . Scholz, B. & Kameyama, Y. (eds.). ACM Association for Computing Machinery, p. 5-19 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Supporting provenance of digital calibration certificates with temporal databases

    Galpin, V., Smith, I. & Hippolyte, J.-L., 1 Nov 2022, Proceedings of IMEKO TC6: First International Conference on Metrology and Digital Transformation (M4Dconf 2022). IMEKO-International Measurement Federation Secretariat, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2021

    Curating Covid-19 Data in Links

    Galpin, V. & Cheney, J., 9 Jul 2021, Provenance and Annotation of Data and Processes. Springer, p. 237-243 7 p. (Lecture Notes in Computer Science; vol. 12839).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    Statistical analysis of CARMA models: an advanced tutorial

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Formal modelling of software defined networking

    Galpin, V., 9 Aug 2018, (E-pub ahead of print) 14th International Conference on integrated Formal Methods (IFM 2018). Springer, p. 172-193 20 p. (Lecture Notes in Computer Science (LNCS); vol. 11023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, p. 307-322 16 p. (IFIP Advances in Information and Communication Technology (IFIPAICT); vol. 529).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Modelling movement for collective adaptive systems with CARMA

    Zon, N., Galpin, V. & Gilmore, S., 7 Jul 2016, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, p. 43-52 10 p. (Electronic Proceedings in Theoretical Computer Science; vol. 217).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, 34 p. (Lecture Notes in Computer Science; vol. 9700).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, p. 161-175 15 p. (Lecture Notes in Computer Science; vol. 9509).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 9686).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    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 proceeding › Conference contribution

    Open Access
    File
  • 2014

    Modelling Residential Smart Energy Schemes

    Galpin, V., 2014, Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014. Institute of Electrical and Electronics Engineers, p. 49-54 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2012

    Hybrid performance modelling of opportunistic networks

    Bortolussi, L., Galpin, V. & Hillston, J., 2012, Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, Tallinn, Estonia, 31 March and 1 April 2012. Wiklicky, H. & Massink, M. (eds.). Open Publishing Association, p. 106-121 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 85).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Modelling trafficking of proteins within the mammalian cell using Bio-PEPA

    Galpin, V., 2012, Computational Methods in Systems Biology: 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Gilbert, D. & Heiner, M. (eds.). Springer, p. 374-377 4 p. (Lecture Notes in Computer Science; vol. 7605).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    A semi-quantitative equivalence for abstracting from fast reactions

    Galpin, V., Hillston, J. & Ciocchetta, F., 2011, Proceedings Third International Workshop on Computational Models for Cell Processes. Petre, I. & Vink, E. P. D. (eds.). Vol. 67. p. 34-49 16 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • HYPE with stochastic events

    Bortolussi, L., Galpin, V. & Hillston, J., 2011, Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. Massink, M. & Norman, G. (eds.). Vol. 57. p. 120-133 14 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    Hybrid Semantics for PEPA

    Bortolussi, L., Galpin, V., Hillston, J. & Tribastone, M., 2010, Quantitative Evaluation of Systems (QEST), 2010 Seventh International Conference on the . Institute of Electrical and Electronics Engineers, p. 181-190 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modeling Hybrid Systems with Stochastic Events in HYPE

    Bortolussi, L., Galpin, V. & Hillston, J., 2010, Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010). p. 24-28 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Modelling a Circadian Clock with HYPE

    Galpin, V., 2010, Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010). p. 92-98 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2009

    Equivalence and discretisation in Bio-PEPA

    Galpin, V. & Hillston, J., 2009, Computational Methods in Systems Biology: 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Degano, P. & Gorriero, R. (eds.). Springer, p. 189-204 16 p. (Lecture Notes in Computer Science; vol. 5688).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • HYPE: a process algebra for compositional flows and emergent behaviour

    Galpin, V., Bortolussi, L. & Hillston, J., 2009, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Bravetti, M. & Zavattaro, G. (eds.). Springer, p. 305-320 16 p. (Lecture Notes in Computer Science; vol. 5710).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Modelling network performance with a spatial stochastic process algebra

    Galpin, V., 2009, International Conference on Advanced Information Networking and Applications, 2009. AINA '09. Institute of Electrical and Electronics Engineers, p. 41-49 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2007

    Learning styles and personality types of computer science students at a South African university

    Galpin, V. C., Sanders, I. D. & Chen, P.-Y., 2007, Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007. ACM, p. 201-205 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution