Vashti Galpin
According to our database^{1},
Vashti Galpin
authored at least 44 papers
between 1994 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2018
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 SneakPeek: 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
2016
Automatic MomentClosure 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
2015
CARMA: Collective Adaptive Resourcesharing 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
2014
Hybrid semantics for BioPEPA.
Inf. Comput., 2014
Stochastic HYPE: Flowbased modelling of stochastic hybrid systems.
CoRR, 2014
Modelling Residential Smart Energy Schemes.
Proceedings of the Eighth IEEE International Conference on SelfAdaptive and SelfOrganizing Systems Workshops, 2014
2013
HYPE: Hybrid modelling by composition of flows.
Formal Asp. Comput., 2013
Rosen's (M, R) system in process algebra.
BMC Systems Biology, 2013
2012
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 BioPEPA.
Proceedings of the Computational Methods in Systems Biology, 2012
2011
A semantic equivalence for BioPEPA based on discretisation of continuous values.
Theor. Comput. Sci., 2011
Equivalences for a biological process algebra.
Theor. Comput. Sci., 2011
A semiquantitative 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
2010
Continuous approximation of PEPA models and Petri nets.
IJCAET, 2010
Hybrid Semantics for PEPA.
Proceedings of the QEST 2010, 2010
2009
Bounds on seriesparallel 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 BioPEPA.
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
2008
Women in Computing.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
HYPE Applied to the Modelling of Hybrid Biological Systems.
Electr. Notes Theor. Comput. Sci., 2008
2007
Perceptions of Computer Science at a South African university.
Computers & Education, 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
2006
Mental models of recursion revisited.
Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006
2003
A format for semantic equivalence comparison.
Theor. Comput. Sci., 2003
Computer selfefficacy, 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
2002
Women in computing around the world.
SIGCSE Bulletin, 2002
2000
Algebraic results for structured operational semantics.
South African Computer Journal, 2000
A comparison of bisimulationbased semantic equivalences for noninterleaving behaviour over CCS processes.
South African Computer Journal, 2000
1999
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
1998
Equivalence semantics for concurrency : comparison and application.
PhD thesis, 1998
1995
A Lift Simulation Prototype.
Softw., Pract. Exper., 1995
1994
A Survey of Attitudes to Computing at the University of the Witwatersrand.
Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries, 1994