Chen-Kai Lin

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 2

Top Topics

Cerebral Cortex

Reactive Systems

Top Venues

Publications

Chen-Kai Lin, Bow-Yaw Wang
Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. CoRR (2022)
Chen-Kai Lin, Ching-Chun Huang, Bow-Yaw Wang
A Spin-based model checking for the simple concurrent program on a preemptive RTOS. CoRR (2018)