Michael J. Ocean, Ph.D.
Affiliations: | 2009 | Boston University, Boston, MA, United States |
Area:
Computer ScienceGoogle:
"Michael Ocean"Parents
Sign in to add mentorAzer Bestavros | grad student | 2009 | Boston University | |
(The Sensor Network Workbench: Towards functional specification, verification and deployment of constrained distributed systems.) |
BETA: Related publications
See more...
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 |