Login / Signup
Callum McColl
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Application Development
Development Tools
Timing Constraints
Probabilistic Model
Top Venues
RoboCup
MODELSWARD
MODELSWARD (Revised Selected Papers)
ATVA
</>
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)