Michael J. Ocean, Ph.D.

Affiliations: 
2009 Boston University, Boston, MA, United States 
Area:
Computer Science
Google:
"Michael Ocean"

Parents

Sign in to add mentor
Azer Bestavros grad student 2009 Boston University
 (The Sensor Network Workbench: Towards functional specification, verification and deployment of constrained distributed systems.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Bestavros A, Kfoury A, Lapets A, et al. (2010) Safe compositional network sketches: Formal framework Hscc'10 - Proceedings of the 13th Acm International Conference On Hybrid Systems: Computation and Control. 231-241
Ocean MJ, Bestavros A. (2008) Wireless and physical security via embedded sensor networks Wisec'08: Proceedings of the 1st Acm Conference On Wireless Network Security. 131-139
Ocean MJ, Bestavros A, Kfoury AJ. (2006) SNBENCH: Programming and virtualization framework for distributed multitasking sensor networks Vee 2006 - Proceedings of the Second International Conference On Virtual Execution Environments. 2006: 89-99
Bestavros A, Bradley AD, Kfoury AJ, et al. (2005) SNBENCH: A development and run-time platform for rapid deployment of sensor network applications 2nd International Conference On Broadband Networks, Broadnets 2005. 2005: 34-43
See more...