Michael J. Ocean

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean
Safe compositional network sketches: formal framework. HSCC (2010)
Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. MOMPES (2009)
Michael J. Ocean, Azer Bestavros
Wireless and physical security via embedded sensor networks. WISEC (2008)
Michael J. Ocean, Azer Bestavros, Assaf J. Kfoury
snBench: programming and virtualization framework for distributed multitasking sensor networks. VEE (2006)