Login / Signup
Morgan McColl
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Application Development
Database Interface
Timing Constraints
Finite State Automata
Top Venues
RoboCup
ReConFig
MODELSWARD
MODELSWARD (Revised Selected Papers)
</>
Publications
</>
Morgan McColl
,
Callum McColl
,
René Hexel
Automatic Verification of High-Level Executable Models Running on FPGAs.
ATVA
(2023)
Callum McColl
,
Vladimir Estivill-Castro
,
Morgan McColl
,
René Hexel
Decomposable and Executable Models for Verification of Real-Time Systems.
MODELSWARD (Revised Selected Papers)
(2022)
Callum McColl
,
Vladimir Estivill-Castro
,
Morgan McColl
,
René Hexel
Verifiable Executable Models for Decomposable Real-time Systems.
MODELSWARD
(2022)
Callum McColl
,
Vladimir Estivill-Castro
,
Eugene Gilmore
,
Morgan McColl
,
René Hexel
Enabling Modern Application Development with Swift on the Nao/Pepper Robots.
RoboCup
(2021)
Vladimir Estivill-Castro
,
René Hexel
,
Morgan McColl
High-Level Executable Models of Reactive Real-Time Systems with Logic-Labelled Finite-State Machines and FPGAs.
ReConFig
(2018)