Research output per year
Research output per year
Personal profile
Links
Please email me via [email protected].
Education/Academic qualification
PhD Computing, Edinburgh Napier University
Award Date: 30 Jun 2009
BEng (Hons) Software Engineering, Edinburgh Napier University
Award Date: 30 Jun 2005
External positions
External Examiner, University of Malta
1 Jun 2019 → …
Chartered Engineer Assessor, British Computer Society, The Chartered Institute for IT
2018 → …
Academic Accreditor, British Computer Society, The Chartered Institute for IT
2017 → …
External Examiner, University of Abertay, Dundee
1 Jan 2016 → 31 Aug 2020
External Examiner, University of Sunderland
1 Jan 2016 → 31 Aug 2031
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Towards Verifying Cooperatively-Scheduled Runtimes using CSP
Pedersen, J. B. & Chalmers, K., 12 Jul 2023, In: Formal Aspects of Computing.Research output: Contribution to journal › Article › peer-review
Open Access -
An empirical evaluation of a novel domain-specific language – modelling vehicle routing problems with Athos
Hoffmann, B., Urquhart, N., Chalmers, K. & Guckert, M., 23 Sept 2022, (E-pub ahead of print) In: Empirical Software Engineering. 27, 7, p. 180Research output: Contribution to journal › Article › peer-review
Open Access -
Athos - A Model Driven Approach to Describe and Solve Optimisation Problems An Application to the Vehicle Routing Problem with Time Windows
Hoffmann, B., Chalmers, K., Urquhart, N. & Guckert, M., 2019, Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages. ACM Digital LibraryResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Simulating Dynamic Vehicle Routing Problems with Athos
Hoffmann, B., Guckert, M., Chalmers, K. & Urquhart, N., 2019, PROCEEDINGS OF THE 33RD INTERNATIONAL ECMS CONFERENCE ON MODELLING AND SIMULATION (ECMS 2019). Vol. 33. p. 296-302 (Communications of the ECMS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Investigating Communicating Sequential Processes for Java to Support Ubiquitous Computing
Chalmers, K., 31 Jan 2009, 206 p.Research output: Thesis › Doctoral Thesis
Activities
-
British Computer Society, The Chartered Institute for IT (External organisation)
Chalmers, K. (Chair)
1 Jun 2021 → 31 Aug 2021Activity: Membership › Membership of committee
-
IEEE Computer Society COPA (Concurrent Processes Architectures)
Chalmers, K. (Organiser)
2021Activity: Participating in or organising an academic event › Participation in academic conference
-
British Computer Society, The Chartered Institute for IT (External organisation)
Chalmers, K. (Member)
1 Jan 2021 → 31 Dec 2021Activity: Membership › Membership of committee
-
British Computer Society, The Chartered Institute for IT (External organisation)
Chalmers, K. (Member)
2020Activity: Membership › Membership of committee
-
International Conference on Applications and Systems of Visual Paradigms
Chalmers, K. (Organiser)
2018Activity: Participating in or organising an academic event › Participation in academic conference