Morgan McColl

According to our database, Morgan McColl authored at least 5 papers between 2018 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

2018

High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.

Vladimir Estivill-Castro, René Hexel, Morgan McColl

Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018