| Versatile but precise semantics for logic-labelled finite state machines C McColl, V Estivill-Castro, R Hexel International Journal on Advances in Software 11 (3), 227-238, 2018 | 7 | 2018 |
| Verifiable Executable Models for Decomposable Real-time Systems. C McColl, V Estivill-Castro, M McColl, R Hexel MODELSWARD, 182-193, 2022 | 4 | 2022 |
| 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 | 4 | 2017 |
| 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 | 2 | 2023 |
| Leveraging Decomposition for the Modelling, Implementation and Verification of Complex Dependable Real-Time Systems C McColl Griffith University, 2022 | 2 | 2022 |
| 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 | 2 | 2021 |
| Continuous Formal Verification for Aerospace Applications M McColl, C McColl, A Pereira, P de Souza, G Tuxworth, R Hexel 2024 IEEE Aerospace Conference, 1-19, 2024 | 1 | 2024 |
| 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 2024, 2024 | 1 | 2024 |
| A Framework for Building Verifiable Scalable Embedded Systems Interfacing through Sensors and Actuators M MCCOLL, C MCCOLL, G TUXWORTH, A PEREIRA, R HEXEL Sensors & Transducers 265 (2), 27-39, 2024 | | 2024 |
| 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 |
