Vashti Galpin

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 13

Top Topics

Hurricane Katrina

Adaptive Systems

Process Algebra

Top Venues

ACM Trans. Model. Comput. Simul.

J. Log. Algebraic Methods Program.

Publications

Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data (Extended version). CoRR (2022)
Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data. GPCE (2022)
Vashti Galpin, James Cheney
Curating Covid-19 Data in Links. IPAW (2021)
Vashti Galpin, James Cheney
Curating Covid-19 data in Links. CoRR (2021)
Vashti Galpin, Paolo Milazzo, Anna Monreale
Guest editors' foreword. J. Log. Algebraic Methods Program. 109 (2019)
Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC (2018)
Vashti Galpin
Formal Modelling of Software Defined Networking. IFM (2018)
Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall
Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. SEC (2018)
Vashti Galpin
Modelling Ambulance Deployment with CarmaCARMA. COORDINATION (2016)
Vashti Galpin
Spatial Representations and Analysis Techniques. SFM (2016)
Natalia Zon, Vashti Galpin, Stephen Gilmore
Modelling movement for collective adaptive systems with CARMA. FORECAST@STAF (2016)
Cheng Feng, Jane Hillston, Vashti Galpin
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 26 (4) (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Vashti Galpin
Quantitative Modelling of Residential Smart Grids. SEFM Workshops (2015)
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems. CoRR (2014)
Vashti Galpin
Hybrid semantics for Bio-PEPA. Inf. Comput. 236 (2014)
Vashti Galpin
Modelling Residential Smart Energy Schemes. SASO Workshops (2014)
Derek Gatherer, Vashti Galpin
Rosen's (M, R) system in process algebra. BMC Syst. Biol. 7 (2013)
Vashti Galpin, Luca Bortolussi, Jane Hillston
HYPE: Hybrid modelling by composition of flows. Formal Aspects Comput. 25 (4) (2013)
Luca Bortolussi, Vashti Galpin, Jane Hillston
Hybrid performance modelling of opportunistic networks QAPL (2012)
Vashti Galpin
Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA. CMSB (2012)
Vashti Galpin, Jane Hillston, Federica Ciocchetta
A semi-quantitative equivalence for abstracting from fast reactions CompMod (2011)
Vashti Galpin, Jane Hillston
A semantic equivalence for Bio-PEPA based on discretisation of continuous values. Theor. Comput. Sci. 412 (21) (2011)
Vashti Galpin
Equivalences for a biological process algebra. Theor. Comput. Sci. 412 (43) (2011)
Luca Bortolussi, Vashti Galpin, Jane Hillston
HYPE with stochastic events QAPL (2011)
Vashti Galpin
Continuous approximation of PEPA models and Petri nets. Int. J. Comput. Aided Eng. Technol. 2 (4) (2010)
Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone
Hybrid Semantics for PEPA. QEST (2010)
Vashti Galpin, Jane Hillston
Equivalence and Discretisation in Bio-PEPA. CMSB (2009)
Vashti Galpin
Modelling Network Performance with a Spatial Stochastic Process Algebra. AINA (2009)
András Z. Salamon, Vashti Galpin
Bounds on series-parallel slowdown CoRR (2009)
Vashti Galpin, Luca Bortolussi, Jane Hillston
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR (2009)
Vashti Galpin, Jane Hillston, Luca Bortolussi
HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS (2008)
Ian D. Sanders, Vashti Galpin, Tina Götschi
Mental models of recursion revisited. ITiCSE (2006)
Vashti Galpin, Ian Douglas Sanders, Heather Turner, Bernadine Venter
Computer self-efficacy, gender, and educational background in South Africa. IEEE Technol. Soc. Mag. 22 (3) (2003)
Tina Götschi, Ian D. Sanders, Vashti Galpin
Mental models of recursion. SIGCSE (2003)
Vashti Galpin
A format for semantic equivalence comparison. Theor. Comput. Sci. 309 (1-3) (2003)
Vashti Galpin
Women in computing around the world. ACM SIGCSE Bull. 34 (2) (2002)
Vashti Galpin
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes. South Afr. Comput. J. 26 (2000)
Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller
Development of a Decentralized Virtual Service Redirector for Internet Applications. FTDCS (1999)
Vashti Galpin
Comparison of Process Algebra Equivalences Using Formats. ICALP (1999)
Ian D. Sanders, Vashti Galpin
A Survey of Attitudes to Computing at the University of the Witwatersrand. Woman, Work and Computerization (1994)
Vashti Galpin, Ian D. Sanders
Gender imbalances in computer science at the University of the Witwatersrand. ACM SIGCSE Bull. 25 (4) (1993)