Morgan McColl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2023
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ATVA | Automatic Verification of High-Level Executable Models Running on FPGAs. | Morgan McColl, Callum McColl, Ren Hexel |
| 2022 | MODELSWARD | Verifiable Executable Models for Decomposable Real-time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2022 | MODELSWARD | Decomposable and Executable Models for Verification of Real-Time Systems. | Callum McColl, Vladimir Estivill-Castro, Morgan McColl, Ren Hexel |
| 2021 | RoboCup | Enabling Modern Application Development with Swift on the Nao/Pepper Robots. | Callum McColl, Vladimir Estivill-Castro, Eugene Gilmore, Morgan McColl, Ren Hexel |