activity
20192025
most citedParallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic

14 citations · 26 across the 7 of their papers we have counts for

collaborators
Showing cs.OSShow all

1 paper · 1 filter

cs.OS2022★ 3 cited

Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers

Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan +2

Low-power operating system runtimes used on IoT microcontrollers typically provide rudimentary APIs, basic connectivity and, sometimes, a (secure) firmware update mechanism. In con…