| Versatile but precise semantics for logic-labelled finite state machines C McColl, V Estivill-Castro, R Hexel Int. J. Adv. Softw 11 (3), 227-238, 2018 | 5 | 2018 |
| An oo and functional framework for versatile semantics of logic-labelled finite state machines C McColl, V Estivill-Castro, R Hexel ICSEA 2017, 249, 2017 | 5 | 2017 |
| Verifiable Executable Models for Decomposable Real-time Systems. C McColl, V Estivill-Castro, M McColl, R Hexel MODELSWARD, 182-193, 2022 | 3 | 2022 |
| Highly Flexible and Scalable Software Architectures for Robotic Applications R Hexel, C McColl, M McColl, G Tuxworth Automation, Robotics & Communications for Industry 4.0/5.0, 151, 2024 | | 2024 |
| Automatic Verification of High-Level Executable Models Running on FPGAs M McColl, C McColl, R Hexel International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
| Leveraging Decomposition for the Modelling, Implementation and Verification of Complex Dependable Real-Time Systems C McColl Griffith University, 2022 | | 2022 |
| Enabling Modern Application Development with Swift on the Nao/Pepper Robots C McColl, V Estivill-Castro, E Gilmore, M McColl, R Hexel Robot World Cup, 15-27, 2021 | | 2021 |
| Decomposable and Executable Models for Verification of Real-Time Systems C McColl, V Estivill-Castro, M McColl, R Hexel International Conference on Model-Driven Engineering and Software …, 2021 | | 2021 |
