snBench: programming and virtualization framework for distributed multitasking sensor networks. - Michael J. Ocean; Azer Bestavros; Assaf J. Kfoury (VEE, 2006)

Programming and Virtualization of Distributed Multitasking Sensor Networks. - Azer Bestavros; Michael J. Ocean (Handbook of Real-Time and Embedded Systems, 2007)

Wireless and physical security via embedded sensor networks. - Michael J. Ocean; Azer Bestavros (WISEC, 2008)

A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. - Michael J. Ocean; Assaf J. Kfoury; Azer Bestavros (MOMPES, 2009)

Safe compositional network sketches: formal framework. - Azer Bestavros; Assaf J. Kfoury; Andrei Lapets; Michael J. Ocean (HSCC, 2010)