Vashti Galpin - Publications

• N. Zon, V. Galpin, S. Gilmore.
  Modelling movement for collective adaptive systems with CARMA.
  In Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST@STAF 2016), EPTCS 217, 43-52, 2016.
  

• V. Galpin.
  Spatial representations and analysis techniques.
  In Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016), LNCS 9700, 120-155, 2016.
  

• V. Galpin.
  Modelling ambulance deployment in CARMA.
  In Proceedings of COORDINATION 2016, LNCS 9686, 121-137, 2016.
  

• C. Feng, J. Hillston, and V. Galpin.
  Automatic moment-closure approximation of spatially distributed collective adaptive systems.
  ACM Transactions on Modeling and Computing Simulation, 26:1-22, 2016.

• V. Galpin.
  Quantitative modelling of residential smart grids.
  In SEFM 2015 Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers, LNCS 9509, 2015, 161-175.

• L. Bortolussi, R. De Nicola, V. Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, and M. Massink.
  CARMA: Collective Adaptive Resource-Sharing Markovian Agents.
  In Proceedings of 13th Workshop on Quantitative Aspects of Programming Languages (QAPL 2015), EPTCS 194, 2015, 16-31.

• V. Galpin.
  Modelling residential smart energy schemes.
  In Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2014), 2014, 49-54.

• L. Bortolussi, V. Galpin, and J. Hillston.
  Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.
  CoRR/arXiv.org:1411.4433, 2014.

• V. Galpin.
  Hybrid semantics for Bio-PEPA.
  Information and Computation, 25:503-541, 2013.

• D. Gatherer and V. Galpin.
  Rosen's (M,R) system in process algebra.
  BMC Systems Biology, 7:128, 2013.

• V. Galpin, L. Bortolussi, and J. Hillston.
  HYPE: Hybrid modelling by composition of flows.
  Formal Aspects of Computing, 25:503-541, 2013.

• V. Galpin.
  Modelling trafficking of proteins within the mammalian cell using Bio-PEPA [extended abstract and poster].
  In Proceedings of the Tenth Conference on Computational Methods in Systems Biology (CMSB 2012), volume 7605 of Lecture Notes in Computer Science. Springer, 2012, 374-377.

• L. Bortolussi, V. Galpin, and J. Hillston.
  Hybrid performance modelling of opportunistic networks.
  In Proceedings of the Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), EPTCS 85, Tallinn, 2012. 106-121.

• A. Clark, V. Galpin, S. Gilmore, M.L. Guerriero, and J. Hillston.
  Formal methods for checking the consistency of biological models.
  In Advances in Systems Biology, Advances in Experimental Medicine and Biology, Vol 736. Springer, 2012.

• V. Galpin.
  Applying bisimulation and invariants to alternate pathways in a signalling cascade.
  In Proceedings of the 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011), Ragusa, 18-19 September 2011. 101-102.

• V. Galpin.
  Equivalences for a biological process algebra.
  Theoretical Computer Science, 412:6058-6082, 2011.

• V. Galpin, J. Hillston, and F. Ciocchetta.
  A semi-quantitative equivalence for abstracting from fast reactions.
  In Proceedings of the Third International Workshop on Computational Models for Cell Processes (CompMod 2011), EPTCS 67, Aachen, 2011. 34-49.

• L. Bortolussi and V. Galpin.
  Bisimulation for stochastic hybrid models.
  In QEST 2011: Fast Abstracts, CTIT Workshop Proceedings Series WP11-03. CTIT, University of Twente, 2011, 3-4.

• V. Galpin, L. Bortolussi, J. Hillston, and M. Tribastone.
  A hybrid view of PEPA [poster].
  In Models and Logics for Quantitative Analysis (MLQA 2011), Aachen, 5 September, 2011.

• L. Bortolussi, V. Galpin, and J. Hillston.
  HYPE with stochastic events.
  In Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), EPTCS 57, Saarbrücken, 2011. 120-133.

• V. Galpin and J. Hillston.
  A semantic equivalence for Bio-PEPA based on discretisation of continuous values.
  Theoretical Computer Science, 412:2142-2161, 2011.

• V. Galpin, F. Ciocchetta, and J. Hillston.
  Using semantic equivalences to model biological behaviour [poster].
  In International Conference on Systems Biology (ICSB 2010), Edinburgh, 6-10 October, 2010.

• L. Bortolussi, V. Galpin, and J. Hillston.
  Modeling Hybrid Systems with Stochastic Events in HYPE.
  In Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), Imperial College London, 6-7 September 2010. 24-28.

• V. Galpin.
  Modelling a circadian clock with HYPE.
  In Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010), Imperial College London, 6-7 September 2010. 92-98.

• L. Bortolussi, V.Galpin, J. Hillston, and M. Tribastone.
  Hybrid semantics for PEPA.
  In Proceedings of QEST 2010. IEEE Computer Society, 2010, 181-190.

• A.Z. Salamon and V. Galpin.
  Performance loss between concept and keyboard.
  In Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2010), Edinburgh, 20-21 July, 2010.

• V. Galpin, J. Hillston, and L. Bortolussi.
  A stochastic hybrid process algebra [poster].
  In Models and Logics for Quantitative Analysis (MLQA 2010), Edinburgh, 9 July, 2010.

• V. Galpin.
  Continuous approximation of PEPA models and Petri nets.
  International Journal of Computer Aided Engineering and Technology, 2:324-339, 2010.

• V. Galpin, L. Bortolussi, and J. Hillston.
  HYPE: a process algebra for compositional flows and emergent behaviour.
  In M. Bravetti and G. Zavattaro, (eds), Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009), volume 5710 of Lecture Notes in Computer Science. Springer, 2009, 305-320.

• V. Galpin and J. Hillston.
  Equivalence and discretisation in Bio-PEPA.
  In P. Degano and R.Gorriero, (eds), Proceedings of the 7th International Conference on Computational Methods in Systems Biology (CMSB 2009), volume 5688 of Lecture Notes in Bioinformatics. Springer, 2009, 189-204.

• V. Galpin.
  How restrictive is the current action decomposition property for compression bisimulation?.
  In Proceedings of the 8th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2009), University of Edinburgh, 26-27 August 2009.

• V. Galpin.
  Modelling network performance with a spatial stochastic process algebra.
  In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009), University of Bradford, United Kingdom, 26-19 May 2009. 41-49.

• I. Sanders and V. Galpin.
  Commentary on "Mental Models of Recursion Revisited".
  Annals of Research on Engineering Education, 4(3), 2009.

• D. Gürer, J. Light, C. Björkman, R. Davies, M. Hancock, A. Condon, A. Craig, V. Galpin, U. Martin, M. Pohl, S. Wiltner, M. Suriya, E. Spertus, J. McGrath Cohoon, G. Childress Townsend, and P. Gabbert.
  Women in Computing.
  In B. Wah, (ed), Encyclopedia of Computer Science and Engineering, volume 5, 3099-3122. Wiley Interscience, 2008.
  (V. Galpin's contribution is titled "Women and Computer Science in South Africa" and appears on pages 3108-3110).

• V. Galpin.
  Continuous approximation of PEPA models and Petri nets.
  In Proceedings of the European Simulation and Modelling Conference (ESM 2008), Le Havre, France, 27-29 October 2008. 492-499.

• V. Galpin.
  Towards a spatial stochastic process algebra.
  In Proceedings of the 7th Workshop on Process Algebra and Stochastically Timed Activities (PASTA, 2008), University of Edinburgh, 30-31 July 2008.

• V. Galpin, J. Hillston, and L. Bortolussi.
  HYPE applied to the modelling of hybrid biological systems.
  Electronic Notes in Theoretical Computer Science (Proceedings of MFPS 24), 218:33-51, 2008.

• V. Galpin, L. Bortolussi, and J. Hillston.
  HYPE: hybrid systems modelled with flows.
  Report EDI-INF-RR-1251, School of Informatics, University of Edinburgh, 2008.

• V. Galpin.
  A comparison of the ODE semantics of PEPA with timed continuous Petri nets.
  In Proceedings of the 6th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2007), Imperial College London, 26-27 July 2007. 5-11.

• I. Sanders and V. Galpin.
  Students' mental models of recursion at Wits [poster].
  In Proceedings of the 12th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Dundee, Scotland, 25-27 June 2007. 317.

• V. Galpin, I. Sanders, and P. Chen.
  Learning styles and personality types of Computer Science students at a South African university.
  In Proceedings of the 12th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Dundee, Scotland, 25-27 June 2007. 201-205.

• V.C. Galpin and I.D. Sanders.
  Perceptions of Computer Science at a South African university.
  Computers & Education, 49(4):1330-1356, December 2007.

• I. Sanders, V. Galpin, and T. Götschi.
  Mental models of recursion revisited.
  In Proceedings of the 11th annual SIGCSE conference on Innovation and Technology in Computer Science Education, Bologna, Italy, 26-28 June 2006. 138-142.

• V. Galpin.
  ICT usage in sub-Saharan Africa.
  In E.M. Trauth, (ed), Encyclopedia of Gender and Information Technology, 786-792. Idea Group Publishing, 2006.

• V. Galpin.
  Women in technology in sub-Saharan Africa.
  In E.M. Trauth, (ed), Encyclopedia of Gender and Information Technology, 1279-1285. Idea Group Publishing, 2006.

• V.C. Galpin.
  A comparison of legislation about winemaking additives and processes.
  Cape Wine Master Seminar, 2006.

• V. Galpin and I. Sanders.
  Perceptions of Computer Science among first year students at the University of the Witwatersrand.
  Technical Report TR-Wits-CS-2005-0, School of Computer Science, University of the Witwatersrand, 2005.

• V. Galpin.
  A South African perspective on women in computing professions.
  In Women in Computing Professions: Will the Internet Make a Difference? Position Papers for an OII Policy Forum, 13-15. Oxford Internet Institute, Oxford University, 2004.

• V.C. Galpin.
  A format for semantic equivalence comparison.
  Theoretical Computer Science, 309(1-3):65-109, 2003.

• V.C. Galpin, I. Sanders, H. Turner, and B. Venter.
  Computer self-efficacy, gender, and educational background in South Africa.
  IEEE Technology and Society, 22(3):43-48, Fall 2003.

• V.C. Galpin, I. Sanders, H. Turner, and B. Venter.
  Gender and educational background and their effect on computer self-efficacy and perceptions.
  Technical Report TR-Wits-CS-2003-0, School of Computer Science, University of the Witwatersrand, 2003.

• T. Götschi, I. Sanders, and V. Galpin.
  Mental models of recursion.
  In Proceedings of SIGCSE 2003 Technical Symposium on Computer Science Education, Reno, Nevada, USA, 19-23 February 2003. ACM Press, 346-350.

• V.C. Galpin.
  Women in Computing around the World.
  ACM SIGCSE Bulletin, 34(2):94-100, 2002.

• V.C. Galpin.
  Women in Computing around the World: an Initial Comparison of International Statistics.
  Technical Report TR-Wits-CS-2002-0, School of Computer Science, University of the Witwatersrand, 2002.

• V.C. Galpin.
  A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
  South African Computer Journal, 26:4-12, November 2000.
  (A research paper presented at SAICSIT 2000, Cape Town, South Africa, 1-3 November 2000).

• V.C. Galpin.
  Algebraic results for structured operational semantics.
  South African Computer Journal, 26:13-21, November 2000.
  (A research paper presented at SAICSIT 2000, Cape Town, South Africa, 1-3 November 2000).

• Y. Chen, V.C. Galpin, S. Hazelhurst, R. Mateer, and C. Mueller.
  Development of a decentralised virtual service redirector for Internet applications.
  In Proceedings of the 7th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS '99), Cape Town, South Africa, 20-22 December 1999. IEEE Computer Society, 235-241.

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  Introducing research methods to computer science Honours students.
  South African Computer Journal, 24:258-263, November 1999.
  (An experience paper from the Proceedings of SAICSIT '99, Hartebeespoort, South Africa, 17-19 November 1999).

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  A survey of the effects of a fourth year Introduction to Research Methods course.
  Technical Report TR-Wits-CS-1999-14, Department of Computer Science, University of the Witwatersrand, 1999.

• Y. Chen, S. Hazelhurst, V.C. Galpin, R. Mateer, and C. Mueller.
  Development of a decentralised virtual service redirector for Internet applications.
  Technical Report TR-Wits-CS-1999-10, Department of Computer Science, University of the Witwatersrand, 1999.

• V.C. Galpin.
  Comparison of process algebra equivalences using formats.
  In J. Wiedermann, P. van Emde Boas, and M. Nielsen, (eds), ICALP '99, (International Colloquium on Automata, Languages and Programming), 26th Annual Colloquium of the EATCS (European Association of Theoretical Computer Science), Lecture Notes in Computer Science 1644, Prague, Czech Republic, 11-15 July 1999. Springer-Verlag, 341-350.

• V.C. Galpin, S. Hazelhurst, C. Mueller, and I. Sanders.
  Experiences of introducing research methods to Honours students.
  In T. Mc Donald and P.J. Blignaut, (eds), Proceedings of the 29th Conference of the Southern African Computer Lecturers' Association (SACLA '99), Golden Gate, South Africa, 27-29 June 1999. 51-56.

• V.C. Galpin.
  Equivalence semantics for concurrency: comparison and application.
  Technical Report ECS-LFCS-98-397, PhD Thesis, Department of Computer Science, University of Edinburgh, 1998.

• V.C. Galpin and S.T. Rock.
  A lift simulation prototype.
  Software Practice and Experience, 25(3):251-270, March 1995.

• V.C. Galpin.
  True concurrency equivalence semantics: an overview.
  In Proceedings of the Ninth Annual Masters and PhD Students on Computer Science Conference, Stellenbosch University Seminar Centre, Stellenbosch, South Africa, 14-15 December 1994. 46-60.

• I.D. Sanders and V.C. Galpin.
  A survey of attitudes to computing at the University of the Witwatersrand.
  In A. Adam, J. Emms, E. Green, and J. Owens, (eds), IFIP Transactions A-57, Women, Work, and Computerization, Breaking Old Boundaries--Building New Forms, 209-223. Elsevier Science, 1994.
  (also published in the Proceedings of the Fifth International Conference on Women, Work and Computerization, UMIST, Manchester, UK, 2-5 July 1994. 108-122.).

• V. Galpin and I. Sanders.
  Gender imbalances in computer science at the University of the Witwatersrand.
  ACM SIGCSE Bulletin, 25(4):2-4, December 1993.

• V.C. Galpin.
  Measuring concurrency in CCS.
  In Proceedings of the Eighth National Conference for Masters and PhD Students in Computer Science, UNISA, South Africa, 29-30 June 1993. 80-89.

• V.C. Galpin.
  Measuring concurrency in CCS.
  MSc Research Report, Department of Computer Science, University of the Witwatersrand, 1993.

• V. Galpin.
  Gender and computer science education.
  Technical Report 1992-05, Department of Computer Science, University of the Witwatersrand, 1992.

• V. Galpin.
  A review of distributed bisimulation.
  Technical Report 1992-04, Department of Computer Science, University of the Witwatersrand, 1992.

• V. Galpin.
  Essays on computer science education.
  Technical Report 1992-03, Department of Computer Science, University of the Witwatersrand, 1992.