Vashti Galpin

According to our database1, Vashti Galpin authored at least 45 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Guest editors' foreword.
J. Log. Algebraic Methods Program., 2019

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.
ACM Trans. Model. Comput. Simul., 2018

Statistical Analysis of CARMA Models: an Advanced Tutorial.
Proceedings of the 2018 Winter Simulation Conference, 2018

Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.
Proceedings of the ICT Systems Security and Privacy Protection, 2018

Formal Modelling of Software Defined Networking.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul., 2016

Modelling movement for collective adaptive systems with CARMA.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Spatial Representations and Analysis Techniques.
Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Modelling Ambulance Deployment with CarmaCARMA.
Proceedings of the Coordination Models and Languages, 2016

CARMA: Collective Adaptive Resource-sharing Markovian Agents.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Quantitative Modelling of Residential Smart Grids.
Proceedings of the Software Engineering and Formal Methods, 2015

Hybrid semantics for Bio-PEPA.
Inf. Comput., 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.
CoRR, 2014

Modelling Residential Smart Energy Schemes.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

HYPE: Hybrid modelling by composition of flows.
Formal Aspects Comput., 2013

Rosen's (M, R) system in process algebra.
BMC Syst. Biol., 2013

Hybrid performance modelling of opportunistic networks
Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Modelling Trafficking of Proteins within the Mammalian Cell Using Bio-PEPA.
Proceedings of the Computational Methods in Systems Biology, 2012

A semantic equivalence for Bio-PEPA based on discretisation of continuous values.
Theor. Comput. Sci., 2011

Equivalences for a biological process algebra.
Theor. Comput. Sci., 2011

A semi-quantitative equivalence for abstracting from fast reactions
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Continuous approximation of PEPA models and Petri nets.
Int. J. Comput. Aided Eng. Technol., 2010

Hybrid Semantics for PEPA.
Proceedings of the QEST 2010, 2010

Bounds on series-parallel slowdown
CoRR, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Equivalence and Discretisation in Bio-PEPA.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Modelling Network Performance with a Spatial Stochastic Process Algebra.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009


HYPE Applied to the Modelling of Hybrid Biological Systems.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Perceptions of Computer Science at a South African university.
Comput. Educ., 2007

Students' mental models of recursion at wits.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Learning styles and personality types of computer science students at a South African university.
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Mental models of recursion revisited.
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

A format for semantic equivalence comparison.
Theor. Comput. Sci., 2003

Computer self-efficacy, gender, and educational background in South Africa.
IEEE Technol. Soc. Mag., 2003

Mental models of recursion.
Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003

Women in computing around the world.
ACM SIGCSE Bull., 2002

Algebraic results for structured operational semantics.
South Afr. Comput. J., 2000

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes.
South Afr. Comput. J., 2000

Comparison of Process Algebra Equivalences Using Formats.
Proceedings of the Automata, 1999

Development of a Decentralized Virtual Service Redirector for Internet Applications.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

Equivalence semantics for concurrency : comparison and application.
PhD thesis, 1998

A Lift Simulation Prototype.
Softw. Pract. Exp., 1995

A Survey of Attitudes to Computing at the University of the Witwatersrand.
Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries, 1994