Callum McColl

According to our database, Callum McColl authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Automatic Verification of High-Level Executable Models Running on FPGAs.

Morgan McColl, Callum McColl, René Hexel

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Decomposable and Executable Models for Verification of Real-Time Systems.

Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel

Proceedings of the Model-Driven Engineering and Software Development, 2022

Verifiable Executable Models for Decomposable Real-time Systems.

Callum McColl, Vladimir Estivill-Castro, Morgan McColl, René Hexel

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Enabling Modern Application Development with Swift on the Nao/Pepper Robots.

Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, René Hexel

Proceedings of the RoboCup 2021: Robot World Cup XXIV, 2021