Oxford logo
[BK09c] D. Bucur and M. Kwiatkowska. Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. In Proc. 3rd European Conference on Ambient Intelligence (AmI 2009), pages 101-105, Springer. November 2009.
Notes: The original publication is available at www.springerlink.com.
Abstract. We provide the first tool for verifying the logic of context-aware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.

QAV:

Home

People

Projects

Publications