Vashti Galpin

According to our database1, Vashti Galpin authored at least 43 papers between 1994 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.
ACM Trans. Model. Comput. Simul., 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

2016
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

2015
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

2014
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

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 Bio-PEPA.
Proceedings of the Computational Methods in Systems Biology, 2012

2011
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

2010
Continuous approximation of PEPA models and Petri nets.
IJCAET, 2010

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

2009
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

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 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

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 bisimulation-based 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


  Loading...