Kevin Chalmers

43 papers B 2C 2Misc 2Journal 10Unranked 24

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