Kevin Chalmers

Orcid: 0000-0002-3409-432X

Affiliations:
  • Edinburgh Napier University, Institute for Informatics and Digital Innovation


According to our database1, Kevin Chalmers authored at least 37 papers between 2005 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Toward Verifying Cooperatively Scheduled Runtimes Using CSP.
Formal Aspects Comput., December, 2023

2022
An empirical evaluation of a novel domain-specific language - modelling vehicle routing problems with Athos.
Empir. Softw. Eng., 2022

2020
Athos: An Extensible DSL for Model Driven Traffic and Transport Simulation.
Proceedings of the Modellierung 2020, 19.-21. Februar 2020, Wien, Österreich., 2020

2019
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Simulating Dynamic Vehicle Routing Problems With Athos.
Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, 2019

Athos - A Model Driven Approach to Describe and Solve Optimisation Problems: An Application to the Vehicle Routing Problem with Time Windows.
Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, 2019

2018
Using a Task Classification in the Visualisation Design Process for Task Understanding and Abstraction: an Empirical Study.
Proceedings of the 20th Eurographics Conference on Visualization, 2018

ATHOS - A Domain-Specific Language for Multi-agent Simulations.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Towards Reducing Complexity of Multi-agent Simulations by Applying Model-Driven Techniques.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

A Domain-Specific Language For Routing Problems.
Proceedings of the European Conference on Modelling and Simulation, 2018

2016
Pricing Ontology for Task-Oriented Cloud Sourcing.
Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

A Task Orientated Requirements Ontology for Cloud Computing Services.
Proceedings of the CLOSER 2016, 2016

2015
A Task Taxonomy for Temporal Graph Visualisation.
IEEE Trans. Vis. Comput. Graph., 2015

Visual Techniques to Support Exploratory Analysis of Temporal Graph Data.
Proceedings of the 17th Eurographics Conference on Visualization, 2015

Collaborative Diffusion on the GPU for Path-Finding in Games.
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015

2014
Tasks for Temporal Graph Visualisation.
CoRR, 2014

Poxels: polygonal voxel environment rendering.
Proceedings of the 20th ACM Symposium on Virtual Reality Software and Technology, 2014

The Design Space of Temporal Graph Visualisation.
Proceedings of the 16th Eurographics Conference on Visualization, 2014

2013
Game physics analysis and development - a quality-driven approach using the Entity Component Pattern.
Comput. Games J., 2013

Verifying the CPA Networking Stack using SPIN/Promela.
Proceedings of the 35th Communicating Process Architectures, 2013

Pricing Intelligence as a Service for Cloud Computing.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds: Four Kinds of Schema.
Proceedings of the 4th International Conference on Ambient Systems, 2013

2012
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance.
Proceedings of the 34th Communicating Process Architectures, 2012

Evolution pattern for Service Evolution in Clouds.
Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

2011
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks.
Proceedings of the 33th Communicating Process Architectures Conference, 2011

2010
Alting barriers: synchronisation with choice in Java using JCSP.
Concurr. Comput. Pract. Exp., 2010

2009
Investigating communicating sequential processes for Java to support ubiquitous computing.
PhD thesis, 2009

An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures.
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008
Mobile Agents and Processes using Communicating Process Architectures.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

A Critique of JCSP Networking.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Introducing JCSP Networking 2.0.
Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

2007
Integrating and Extending JCSP.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

Mobility in JCSP: New Mobile Channel and Mobile Process Models.
Proceedings of the 30th Communicating Process Architectures Conference, 2007

2006
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

Performance Evaluation of JCSP Micro Edition: JCSPme.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

CSP for .NET Based on JCSP.
Proceedings of the 29th Communicating Process Architectures Conference, 2006

2005
jcsp.mobile: A Package Enabling Mobile Processes and Channels.
Proceedings of the 28th Communicating Process Architectures Conference, 2005


  Loading...