Kevin Chalmers

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 15

Top Venues

EuroVis (Short Papers)

ECMS

PAAMS

FormaliSE@ICSE

Edinburgh Napier University, UK (PHD)

Education History

Edinburgh Napier University, UK

PHD

Publications

Jan Bækgaard Pedersen, Kevin Chalmers
Toward Verifying Cooperatively Scheduled Runtimes Using CSP. Formal Aspects Comput. 35 (4) (2023)
Benjamin Hoffmann, Neil Urquhart, Kevin Chalmers, Michael Guckert
An empirical evaluation of a novel domain-specific language - modelling vehicle routing problems with Athos. Empir. Softw. Eng. 27 (7) (2022)
Benjamin Hoffmann, Neil Urquhart, Kevin Chalmers, Michael Guckert
Athos: An Extensible DSL for Model Driven Traffic and Transport Simulation. Modellierung (2020)
Benjamin Hoffmann, Michael Guckert, Kevin Chalmers, Neil Urquhart
Simulating Dynamic Vehicle Routing Problems With Athos. ECMS (2019)
Benjamin Hoffmann, Kevin Chalmers, Neil Urquhart, Michael Guckert
Athos - A Model Driven Approach to Describe and Solve Optimisation Problems: An Application to the Vehicle Routing Problem with Time Windows. RWDSL@CGO (2019)
Jan Bækgaard Pedersen, Kevin Chalmers
Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP. FormaliSE@ICSE (2019)
Natalie Kerracher, Jessie B. Kennedy, Kevin Chalmers
Using a Task Classification in the Visualisation Design Process for Task Understanding and Abstraction: an Empirical Study. EuroVis (Short Papers) (2018)
Benjamin Hoffmann, Kevin Chalmers, Neil Urquhart, Thomas Farrenkopf, Michael Guckert
ATHOS - A Domain-Specific Language for Multi-agent Simulations. PAAMS (2018)
Benjamin Hoffmann, Michael Guckert, Thomas Farrenkopf, Kevin Chalmers, Neil Urquhart
A Domain-Specific Language For Routing Problems. ECMS (2018)
Benjamin Hoffmann, Kevin Chalmers, Neil Urquhart, Thomas Farrenkopf, Michael Guckert
Towards Reducing Complexity of Multi-agent Simulations by Applying Model-Driven Techniques. PAAMS (2018)
Richard Greenwell, Xiaodong Liu, Kevin Chalmers
Pricing Ontology for Task-Oriented Cloud Sourcing. FiCloud (2016)
Richard Greenwell, Xiaodong Liu, Kevin Chalmers, Claus Pahl
A Task Orientated Requirements Ontology for Cloud Computing Services. CLOSER (1) (2016)
Natalie Kerracher, Jessie Kennedy, Kevin Chalmers
A Task Taxonomy for Temporal Graph Visualisation. IEEE Trans. Vis. Comput. Graph. 21 (10) (2015)
Natalie Kerracher, Jessie Kennedy, Kevin Chalmers, Martin Graham
Visual Techniques to Support Exploratory Analysis of Temporal Graph Data. EuroVis (Short Papers) (2015)
Craig McMillan, Emma Hart, Kevin Chalmers
Collaborative Diffusion on the GPU for Path-Finding in Games. EvoApplications (2015)
Mark Miller, Andrew Cumming, Kevin Chalmers, Benjamin Kenwright, Kenny Mitchell
Poxels: polygonal voxel environment rendering. VRST (2014)
Natalie Kerracher, Jessie Kennedy, Kevin Chalmers
The Design Space of Temporal Graph Visualisation. EuroVis (Short Papers) (2014)
Natalie Kerracher, Jessie Kennedy, Kevin Chalmers
Tasks for Temporal Graph Visualisation. CoRR (2014)
Christopher Reilly, Kevin Chalmers
Game physics analysis and development - a quality-driven approach using the Entity Component Pattern. Comput. Games J. 2 (2) (2013)
Richard Greenwell, Xiaodong Liu, Kevin Chalmers
Pricing Intelligence as a Service for Cloud Computing. CloudCom (2) (2013)
Kevin Chalmers, Jon M. Kerridge
Verifying the CPA Networking Stack using SPIN/Promela. CPA (2013)
Zhe Wang, Kevin Chalmers
Evolution Feature Oriented Model Driven Product Line Engineering Approach for Synergistic and Dynamic Service Evolution in Clouds: Four Kinds of Schema. ANT/SEIT (2013)
Zhe Wang, Xiaodong Liu, Kevin Chalmers, Guojian Cheng
Evolution pattern for Service Evolution in Clouds. ICITST (2012)
Kevin Chalmers
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. CPA (2012)
Kevin Chalmers
Performance of the Distributed CPA Protocol and Architecture on Traditional Networks. CPA (2011)
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
Alting barriers: synchronisation with choice in Java using JCSP. Concurr. Comput. Pract. Exp. 22 (8) (2010)
Kevin Chalmers, Jon M. Kerridge
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. CPA (2009)
Kevin Chalmers, Jon M. Kerridge, Imed Romdhani
A Critique of JCSP Networking. CPA (2008)
Jon M. Kerridge, Jens-Oliver Haschke, Kevin Chalmers
Mobile Agents and Processes using Communicating Process Architectures. CPA (2008)
Kevin Chalmers
Introducing JCSP Networking 2.0. CPA (2008)
Kevin Chalmers, Jon M. Kerridge, Imed Romdhani
Mobility in JCSP: New Mobile Channel and Mobile Process Models. CPA (2007)
Peter H. Welch, Neil Brown, James Moores, Kevin Chalmers, Bernhard H. C. Sputh
Integrating and Extending JCSP. CPA (2007)
Kevin Chalmers, Jon M. Kerridge, Imed Romdhani
Performance Evaluation of JCSP Micro Edition: JCSPme. CPA (2006)
Jon M. Kerridge, Kevin Chalmers
Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View. CPA (2006)
Kevin Chalmers, Sarah Clayton
CSP for .NET Based on JCSP. CPA (2006)
Kevin Chalmers, Jon M. Kerridge
jcsp.mobile: A Package Enabling Mobile Processes and Channels. CPA (2005)

Kevin Chalmers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kevin Chalmers