conftrace_

protocol implementation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

refinement checking (1) safety bug (1) iot network (1) low power design (1) simulation-based checking (1) duty cycling (1) fpga resource (1) iot endpoint (1) ble beacons (1) duty cycled (1)

Papers

Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 TinySDR: Low-Power SDR Platform for Over-the-Air Programmable IoT Testbeds NSDI 2020